cryptol-2.11.0: Cryptol: The Language of Cryptography
Copyright(c) 2013-2016 Galois Inc.
LicenseBSD3
Maintainercryptol@galois.com
Stabilityprovisional
Portabilityportable
Safe HaskellSafe
LanguageHaskell2010

Cryptol.TypeCheck.Kind

Description

 
Synopsis

Documentation

checkSchema :: AllowWildCards -> Schema Name -> InferM (Schema, [Goal]) Source #

Check a type signature. Returns validated schema, and any implicit constraints that we inferred.

checkNewtype :: Newtype Name -> Maybe Text -> InferM Newtype Source #

Check a newtype declaration. XXX: Do something with constraints.

checkTySyn :: TySyn Name -> Maybe Text -> InferM TySyn Source #

Check a type-synonym declaration.

checkPropSyn :: PropSyn Name -> Maybe Text -> InferM TySyn Source #

Check a constraint-synonym declaration.

checkParameterType :: ParameterType Name -> Maybe Text -> InferM ModTParam Source #

Check a module parameter declarations. Nothing much to check, we just translate from one syntax to another.