| Maintainer | bastiaan.heeren@ou.nl |
|---|---|
| Stability | provisional |
| Portability | portable (depends on ghc) |
| Safe Haskell | None |
| Language | Haskell98 |
Domain.Logic.Parser
Description
Synopsis
- parseLogic :: String -> Either String SLogic
- parseLogicPars :: String -> Either String SLogic
- parseLogicUnicodePars :: String -> Either String SLogic
- parseLogicProof :: Bool -> String -> Either String (SLogic, SLogic)
- parseLogicProofs :: String -> Either String [(SLogic, SLogic)]
- parseConsequence :: Bool -> String -> Either String ([SLogic], SLogic)
- parseStatement :: Bool -> String -> Either String ([SLogic], SLogic)
- ppLogicPars :: SLogic -> String
- ppLogicUnicodePars :: SLogic -> String
- associateToRight :: Logic a -> Logic a
Documentation
ppLogicPars :: SLogic -> String Source #
Pretty printer that produces extra parentheses: also see parseLogicPars
ppLogicUnicodePars :: SLogic -> String Source #
Pretty printer with unicode characters
associateToRight :: Logic a -> Logic a Source #