Feldspar.Core.Interpretation
targetSpecialization
class Sharable dom
class SizeProp feature
sizePropDefault
resultType
type SourceInfo
data Info a
mkInfo
mkInfoTy
infoRange
class LatticeSize1 m
viewLiteral
literalDecor
constFold
data SomeInfo
data SomeType
data Env
localVar
localSource
type Opt
class Optimize feature dom
class OptimizeSuper dom
constructFeat
optimizeM
optimize
constructFeatUnOptDefaultTyp
constructFeatUnOptDefault
optimizeFeatDefault
prjF
c'