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