Copyright | (c) 2014-2016 Galois, Inc. |
---|---|
License | BSD3 |
Maintainer | cryptol@galois.com |
Stability | provisional |
Portability | portable |
Safe Haskell | Safe |
Language | Haskell98 |
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