DDC.Core.Exp.Annot.AnT

Documentation

data AnT a n

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)

Methods

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

show :: AnT a n -> String

showList :: [AnT a n] -> ShowS

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

Methods

rnf :: AnT a n -> ()

Pretty (AnT a n)

Associated Types

data PrettyMode (AnT a n) :: *

Methods

pprDefaultMode :: PrettyMode (AnT a n)

ppr :: AnT a n -> Doc

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

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