ddc-core-0.4.3.1: Disciplined Disciple Compiler core language and type checker.
DDC.Type.Exp.Flat.Exp
module DDC.Type.Exp.Generic.Exp
data Flat Source #
Constructors
Instances
Methods
showsPrec :: Int -> Flat -> ShowS #
show :: Flat -> String #
showList :: [Flat] -> ShowS #
type Type = GType Flat Source #
type TyCon = GTyCon Flat Source #