Safe Haskell	None
Language	Haskell98

DDC.Core.Exp.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

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