DDC.Core.Exp.Annot.AnTEC

Documentation

data AnTEC a n

The type checker adds this annotation to every node in the AST, giving its type, effect and closure.

Constructors

AnTEC

Fields

annotType :: Type n

annotEffect :: Effect n

annotClosure :: Closure n

annotTail :: a

Instances

(Show a, Show n) => Show (AnTEC a n)

Pretty (AnTEC a n)

(NFData a, NFData n) => NFData (AnTEC a n)

fromAnT :: AnT a n -> AnTEC a n

Promote an AnT to an AnTEC by filling in the effect and closure portions with bottoms.