haskell-reflect-0.9: Reflect Haskell types.

Safe Haskell	None

Language.Haskell.Reflect.Types

Documentation

data HName Source

Constructors

TyVar String
QName String

Instances

Eq HName
Data HName
Ord HName
Read HName
Show HName
Typeable HName
IsString HName

data HModule Source

Constructors

HModule
Fields moduleName :: String moduleFunctions :: Map String HFunction moduleTypeclasses :: Map String HTypeclass moduleDatatypes :: Map String HDatatype

Instances

Eq HModule
Data HModule
Read HModule
Show HModule
Typeable HModule

data HType Source

Constructors

HType
Fields typeName :: HName typeArgs :: [HType]

Instances

Eq HType
Data HType
Read HType
Show HType
Typeable HType

data HFunction Source

Constructors

HFunction
Fields functionName :: String functionType :: [HType] functionSignature :: String functionContext :: [HType]

Instances

Eq HFunction
Data HFunction
Read HFunction
Show HFunction
Typeable HFunction

data HTypeclass Source

Constructors

HTypeclass
Fields typeclassName :: String typeclassMembers :: [HFunction] typeclassInstances :: [HInstance]

Instances

Eq HTypeclass
Data HTypeclass
Read HTypeclass
Show HTypeclass
Typeable HTypeclass

data HInstance Source

Constructors

HInstance

Instances

Eq HInstance
Data HInstance
Read HInstance
Show HInstance
Typeable HInstance

data HDatatype Source

Constructors

HDatatype
Fields datatypeName :: String datatypeKind :: String datatypeConstructors :: Map String HFunction

Instances

Eq HDatatype
Data HDatatype
Read HDatatype
Show HDatatype
Typeable HDatatype