ddc-core-0.4.3.1: Disciplined Disciple Compiler core language and type checker.

Safe HaskellSafe
LanguageHaskell98

DDC.Type.Exp.Flat.Exp

Documentation

module DDC.Type.Exp.Generic.Exp

data Flat Source #

Constructors

Flat 

Instances

Show Flat Source # 

Methods

showsPrec :: Int -> Flat -> ShowS #

show :: Flat -> String #

showList :: [Flat] -> ShowS #

type GTPrim Flat Source # 
type GTPrim Flat = Text
type GTBoundCon Flat Source # 
type GTBoundCon Flat = Text
type GTBindCon Flat Source # 
type GTBindCon Flat = Text
type GTBoundVar Flat Source # 
type GTBoundVar Flat = Text
type GTBindVar Flat Source # 
type GTBindVar Flat = Text
type GTAnnot Flat Source # 
type GTAnnot Flat = ()

type Type = GType Flat Source #

type TyCon = GTyCon Flat Source #