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 # 

Methods

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

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

Show HKind Source # 

Methods

showsPrec :: Int -> HKind -> ShowS #

show :: HKind -> String #

showList :: [HKind] -> ShowS #

data HPat Source #

Instances

Eq HPat Source # 

Methods

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

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

Show HPat Source # 

Methods

showsPrec :: Int -> HPat -> ShowS #

show :: HPat -> String #

showList :: [HPat] -> ShowS #