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

Safe HaskellNone

DDC.Core.Annot.AnT

Synopsis

Documentation

data AnT a n Source

The type checker for witnesses adds this annotation to every node in the, giving the type of each component of the witness.

Constructors

AnT 

Fields

annotType :: Type n
 
annotTail :: a
 

Instances

Typeable2 AnT 
(Show a, Show n) => Show (AnT a n) 
Pretty (AnT a n) 
(NFData a, NFData n) => NFData (AnT a n)