cryptol-2.4.0: Cryptol: The Language of Cryptography

Copyright | (c) 2014-2016 Galois Inc.
License | BSD3
Maintainer | cryptol@galois.com
Stability | provisional
Portability | portable
Safe Haskell | Safe
Language | Haskell98

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 #