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

Safe HaskellSafe
LanguageHaskell98

Djinn.HCheck

Documentation

htCheckEnv :: [(HSymbol, ([HSymbol], HType, a))] -> Either String [(HSymbol, ([HSymbol], HType, HKind))] Source #

htCheckType :: [(HSymbol, ([HSymbol], HType, HKind))] -> HType -> Either String () Source #