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

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

Show HKind Source # 
Instance details

Defined in Djinn.HTypes

Methods

showsPrec :: Int -> HKind -> ShowS

show :: HKind -> String

showList :: [HKind] -> ShowS

data HType Source #

Instances
Eq HType Source # 
Instance details

Defined in Djinn.HTypes

Methods

(==) :: HType -> HType -> Bool

(/=) :: HType -> HType -> Bool

Read HType Source # 
Instance details

Defined in Djinn.HTypes

Methods

readsPrec :: Int -> ReadS HType

readList :: ReadS [HType]

readPrec :: ReadPrec HType

readListPrec :: ReadPrec [HType]

Show HType Source # 
Instance details

Defined in Djinn.HTypes

Methods

showsPrec :: Int -> HType -> ShowS

show :: HType -> String

showList :: [HType] -> ShowS

type HSymbol = String Source #

pHSymbol :: Bool -> ReadP HSymbol Source #

pHType :: ReadP HType Source #

pHKind :: ReadP HKind Source #

isHTUnion :: HType -> Bool Source #

data HClause Source #

Constructors

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

Defined in Djinn.HTypes

Methods

(==) :: HClause -> HClause -> Bool

(/=) :: HClause -> HClause -> Bool

Show HClause Source # 
Instance details

Defined in Djinn.HTypes

Methods

showsPrec :: Int -> HClause -> ShowS

show :: HClause -> String

showList :: [HClause] -> ShowS

data HPat Source #

Instances
Eq HPat Source # 
Instance details

Defined in Djinn.HTypes

Methods

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

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

Show HPat Source # 
Instance details

Defined in Djinn.HTypes

Methods

showsPrec :: Int -> HPat -> ShowS

show :: HPat -> String

showList :: [HPat] -> ShowS

data HExpr Source #

Instances
Eq HExpr Source # 
Instance details

Defined in Djinn.HTypes

Methods

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

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

Show HExpr Source # 
Instance details

Defined in Djinn.HTypes

Methods

showsPrec :: Int -> HExpr -> ShowS

show :: HExpr -> String

showList :: [HExpr] -> ShowS

hPrClause :: HClause -> String Source #

hPrExpr :: HExpr -> String Source #