cryptol-2.4.0: Cryptol: The Language of Cryptography

Copyright(c) 2014-2016 Galois, Inc.
LicenseBSD3
Maintainercryptol@galois.com
Stabilityprovisional
Portabilityportable
Safe HaskellSafe
LanguageHaskell98

Cryptol.TypeCheck.Solver.Numeric.ImportExport

Description

 

Documentation

type ExportM = ExceptionT () Id Source #

exportProp :: Prop -> Maybe Prop Source #

exportType :: Prop -> Maybe Expr Source #

runExportM :: ExportM a -> Maybe a Source #

exportPropM :: Prop -> ExportM Prop Source #

exportTypeM :: Type -> ExportM Expr Source #

importProp :: Prop -> Maybe [Prop] Source #

importType :: Expr -> Maybe Type Source #