Copyright  (c) Evgenii Kotelnikov 20192021 

License  GPL3 
Maintainer  evgeny.kotelnikov@gmail.com 
Stability  experimental 
Safe Haskell  None 
Language  Haskell2010 
Monads and monad transformers for computations with errors.
Synopsis
 data Error
 type Partial = PartialT Identity
 newtype PartialT m a = PartialT {
 runPartialT :: ExceptT Error m a
 liftPartial :: Partial a > Either Error a
 isSuccess :: Partial a > Bool
 isFailure :: Partial a > Bool
 exitCodeError :: Monad m => Int > Text > PartialT m a
 timeLimitError :: Monad m => PartialT m a
 memoryLimitError :: Monad m => PartialT m a
 parsingError :: Monad m => String > PartialT m a
 proofError :: Monad m => String > PartialT m a
 otherError :: Monad m => String > PartialT m a
Documentation
The error that might occur while reconstructing the proof.
ExitCodeError Int Text  The theorem prover terminated with a nonzero exit code. 
TimeLimitError  The theorem prover reached the time limit without producing a solution. 
MemoryLimitError  The theorem prover reached the memory limit without producing a solution. 
ParsingError Text  The output of the theorem prover is not a wellformed TSTP. 
ProofError Text  The proof returned by the theorem prover is not wellformed. 
OtherError Text  An uncategorized error. 
A monad transformer that adds failing with an
to other monads.Error
PartialT  

Instances
MonadTrans PartialT Source #  
Monad m => MonadError Error (PartialT m) Source #  
Monad m => Monad (PartialT m) Source #  
Functor m => Functor (PartialT m) Source #  
Monad m => Applicative (PartialT m) Source #  
Pretty a => Pretty (Partial a) Source #  
Defined in ATP.Pretty.FOL  
(Eq1 m, Eq a) => Eq (PartialT m a) Source #  
(Ord1 m, Ord a) => Ord (PartialT m a) Source #  
Defined in ATP.Error  
(Show1 m, Show a) => Show (PartialT m a) Source #  
exitCodeError :: Monad m => Int > Text > PartialT m a Source #
A smart constructor for a computation failed with an
.ExitCodeError
timeLimitError :: Monad m => PartialT m a Source #
A smart constructor for a computation failed with a
.TimeLimitError
memoryLimitError :: Monad m => PartialT m a Source #
A smart constructor for a computation failed with a
.MemoryLimitError
parsingError :: Monad m => String > PartialT m a Source #
A smart constructor for a computation failed with a
.ParsingError
proofError :: Monad m => String > PartialT m a Source #
A smart constructor for a computation failed with a
.ProofError
otherError :: Monad m => String > PartialT m a Source #
A smart constructor for a computation failed with a
.OtherError