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'