djinn-lib-0.0.1.3: Generate Haskell code from a type. Library extracted from djinn package.

Safe HaskellSafe
LanguageHaskell98

Djinn.HTypes

Documentation

data HKind Source #

Constructors

KStar 
KArrow HKind HKind 
KVar Int 
Instances
Eq HKind Source # 
Instance details

Defined in Djinn.HTypes

Methods

(==) :: HKind -> HKind -> Bool Source #

(/=) :: HKind -> HKind -> Bool Source #

Show HKind Source # 
Instance details

Defined in Djinn.HTypes

data HClause Source #

Constructors

HClause HSymbol [HPat] HExpr 
Instances
Eq HClause Source # 
Instance details

Defined in Djinn.HTypes

Show HClause Source # 
Instance details

Defined in Djinn.HTypes

data HPat Source #

Instances
Eq HPat Source # 
Instance details

Defined in Djinn.HTypes

Methods

(==) :: HPat -> HPat -> Bool Source #

(/=) :: HPat -> HPat -> Bool Source #

Show HPat Source # 
Instance details

Defined in Djinn.HTypes

data HExpr Source #

Instances
Eq HExpr Source # 
Instance details

Defined in Djinn.HTypes

Methods

(==) :: HExpr -> HExpr -> Bool Source #

(/=) :: HExpr -> HExpr -> Bool Source #

Show HExpr Source # 
Instance details

Defined in Djinn.HTypes