DDC.Source.Tetra.Exp.Annot

Documentation

module DDC.Source.Tetra.Exp.Generic

data Annot a

Type index for annotated expression type.

Instances

HasAnonBind (Annot a)

type GPrim (Annot a) = PrimVal

type GBound (Annot a) = Bound Name

type GBind (Annot a) = Bind Name

type GAnnot (Annot a) = a

type GName (Annot a) = Name

class HasAnonBind l where

Methods

isAnon :: l -> GBind l -> Bool

Instances

HasAnonBind (Annot a)

Expressions

data Name

Names of things used in Disciple Source Tetra.

Instances

Eq Name

Ord Name

Show Name

type Bound = Bound Name

type Bind = Bind Name

type Exp a = GExp (Annot a)

type Lets a = GLets (Annot a)

type Alt a = GAlt (Annot a)

type Pat a = GPat (Annot a)

type Clause a = GClause (Annot a)

type GuardedExp a = GGuardedExp (Annot a)

type Guard a = GGuard (Annot a)

type Cast a = GCast (Annot a)

data DaCon n :: * -> *

Data constructors.

Constructors

DaConUnit

Baked in unit data constructor.

DaConPrim

Primitive data constructor used for literals and baked-in constructors.

The type of the constructor needs to be attached to handle the case where there are too many constructors in the data type to list, like for Int literals. In this case we determine what data type it belongs to from the attached type of the data constructor.

Fields

daConName :: !n

Name of the data constructor.

daConType :: !(Type n)

Type of the data constructor.

DaConBound

Data constructor that has a data type declaration.

Fields

daConName :: !n

Name of the data constructor.

Instances

Eq n => Eq (DaCon n)

Show n => Show (DaCon n)

NFData n => NFData (DaCon n)

Witnesses

type Witness a = GWitness (Annot a)

type WiCon a = GWiCon (Annot a)