cryptol-2.3.0: Cryptol: The Language of Cryptography
Cryptol.TypeCheck.Kind
Description
Synopsis
checkType :: Type Name -> Maybe Kind -> InferM Type Source
checkSchema :: Schema Name -> InferM (Schema, [Goal]) Source
Check a type signature.
checkNewtype :: Newtype Name -> InferM Newtype Source
Check a newtype declaration. XXX: Do something with constraints.
checkTySyn :: TySyn Name -> InferM TySyn Source
Check a type-synonym declaration.