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

Safe HaskellSafe-Inferred

Djinn.HCheck

Documentation

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

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