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)

Methods

showsPrec :: Int -> AnTEC a n -> ShowS

show :: AnTEC a n -> String

showList :: [AnTEC a n] -> ShowS

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

Methods

rnf :: AnTEC a n -> ()

Pretty (AnTEC a n)

Associated Types

data PrettyMode (AnTEC a n) :: *

Methods

pprDefaultMode :: PrettyMode (AnTEC a n)

ppr :: AnTEC a n -> Doc

pprPrec :: Int -> AnTEC a n -> Doc

pprModePrec :: PrettyMode (AnTEC a n) -> Int -> AnTEC a n -> Doc

fromAnT :: AnT a n -> AnTEC a n

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