SSTG.Core.Syntax.Language

type Program

type Lit

type Atom

type PrimFun

type Expr

type Alt

type AltCon

type Binding

type BindRhs

type ConTag

type DataCon

type Type

type TyBinder

type Coercion

type TyCon

type AlgTyRhs

data GenProgram bnd var

data NameSpace

data Name

data Var

data GenLit bnd var

data GenAtom bnd var

data GenPrimFun bnd var

data GenExpr bnd var

data GenAlt bnd var

data GenAltCon bnd var

data GenBinding bnd var

data RecForm

data GenBindRhs bnd var

data GenConTag bnd

data GenDataCon bnd

data GenType bnd

data GenTyBinder bnd

data TyLit

data GenCoercion bnd

data GenTyCon bnd

data GenAlgTyRhs bnd