ddc-core-0.4.1.3: Disciplined Disciple Compiler core language and type checker.

Safe HaskellNone

DDC.Core.Annot.AnTEC

Synopsis

Documentation

data AnTEC a n Source

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

Typeable2 AnTEC 
(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 nSource

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