open-typerep-0.5: Open type representations and dynamic types

Safe HaskellNone
LanguageHaskell2010

Data.TypeRep.Types.Basic

Description

Representations for specific types

The reason for using symbol names ending with _t is that deriveRender uses everything that comes before _ when rendering the constructor.

Documentation

data BoolType a where Source

Constructors

Bool_t :: BoolType (Full Bool) 

Instances

data CharType a where Source

Constructors

Char_t :: CharType (Full Char) 

Instances

data IntType a where Source

Constructors

Int_t :: IntType (Full Int) 

Instances

data FloatType a where Source

Constructors

Float_t :: FloatType (Full Float) 

Instances

data DoubleType a where Source

Constructors

Double_t :: DoubleType (Full Double) 

Instances

data ListType a where Source

Constructors

List_t :: ListType (a :-> Full [a]) 

Instances

data FunType a where Source

Constructors

Fun_t :: FunType (a :-> (b :-> Full (a -> b))) 

Instances

boolType :: (Syntactic a, BoolType :<: Domain a, Internal a ~ Bool) => a Source

charType :: (Syntactic a, CharType :<: Domain a, Internal a ~ Char) => a Source

intType :: (Syntactic a, IntType :<: Domain a, Internal a ~ Int) => a Source

floatType :: (Syntactic a, FloatType :<: Domain a, Internal a ~ Float) => a Source

doubleType :: (Syntactic a, DoubleType :<: Domain a, Internal a ~ Double) => a Source

listType :: (Syntactic list, Syntactic elem, Domain list ~ Domain elem, ListType :<: Domain list, Internal list ~ [Internal elem], elem ~ c e, list ~ c l) => elem -> list Source

funType :: (Syntactic fun, Syntactic a, Syntactic b, Domain fun ~ Domain a, Domain fun ~ Domain b, FunType :<: Domain fun, Internal fun ~ (Internal a -> Internal b), a ~ c x, b ~ c y, fun ~ c z) => a -> b -> fun Source