DDC.Type.Exp.Generic

Abstract Syntax

Type Families

type family GTAnnot l

type family GTBindVar l

type family GTBoundVar l

type family GTBindCon l

type family GTBoundCon l

type family GTPrim l

Core Syntax

data GType l

data GTyCon l

Syntactic Sugar

Compounds

Type Applications

makeTApps

takeTApps

Function Types

makeTFun

makeTFuns

takeTFun

takeTFuns

takeTFuns'

Forall Types

makeTForall

takeTForall

Exists Types

makeTExists

takeTExists

Type Classes

class Binding l

class Anon l

type ShowGType l