cryptol-2.5.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.