Compiler.ANF

Definitions

data AVar : Type

Totality: total
Visibility: public export
Constructors:

ALocal : Int -> AVar

ANull : AVar

Hints:

Eq AVar

Ord AVar

Show AVar

data ANF : Type

Totality: total
Visibility: public export
Constructors:

AV : FC -> AVar -> ANF

AAppName : FC -> Maybe LazyReason -> Name -> List AVar -> ANF

AUnderApp : FC -> Name -> Nat -> List AVar -> ANF

AApp : FC -> Maybe LazyReason -> AVar -> AVar -> ANF

ALet : FC -> Int -> ANF -> ANF -> ANF

ACon : FC -> Name -> ConInfo -> Maybe Int -> List AVar -> ANF

AOp : FC -> Maybe LazyReason -> PrimFn arity -> Vect arity AVar -> ANF

AExtPrim : FC -> Maybe LazyReason -> Name -> List AVar -> ANF

AConCase : FC -> AVar -> List AConAlt -> Maybe ANF -> ANF

AConstCase : FC -> AVar -> List AConstAlt -> Maybe ANF -> ANF

APrimVal : FC -> Constant -> ANF

AErased : FC -> ANF

ACrash : FC -> String -> ANF

Hint: 

Show ANF

data AConAlt : Type

Totality: total
Visibility: public export
Constructor: 

MkAConAlt : Name -> ConInfo -> Maybe Int -> List Int -> ANF -> AConAlt

Hint: 

Show AConAlt

data AConstAlt : Type

Totality: total
Visibility: public export
Constructor: 

MkAConstAlt : Constant -> ANF -> AConstAlt

Hint: 

Show AConstAlt

data ANFDef : Type

Totality: total
Visibility: public export
Constructors:

MkAFun : List Int -> ANF -> ANFDef

MkACon : Maybe Int -> Nat -> Maybe Nat -> ANFDef

MkAForeign : List String -> List CFType -> CFType -> ANFDef

MkAError : ANF -> ANFDef

Hint: 

Show ANFDef

toANF : LiftedDef -> Core ANFDef

Visibility: export

freeVariables : ANF -> SortedSet AVar

Visibility: export

usedConstructors : ANF -> SortedSet Name

Visibility: export