Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
data ParseState Source #
type Parser = Parsec ParsecState Source #
type ParsecState = UserState ParseState TokenStream Source #
data IncludeStatement Source #
Instances
Show IncludeStatement Source # | |
Defined in Jukebox.TPTP.Parse.Core showsPrec :: Int -> IncludeStatement -> ShowS # show :: IncludeStatement -> String # showList :: [IncludeStatement] -> ShowS # |
initialState :: Maybe String -> ParseState Source #
initialStateFrom :: Maybe String -> [Name] -> Map Symbol Type -> Map Symbol [Function] -> ParseState Source #
data ParseResult a Source #
ParseFailed Location [String] | |
ParseSucceeded a | |
ParseStalled Location FilePath (String -> ParseResult a) |
Instances
Monad ParseResult Source # | |
Defined in Jukebox.TPTP.Parse.Core (>>=) :: ParseResult a -> (a -> ParseResult b) -> ParseResult b # (>>) :: ParseResult a -> ParseResult b -> ParseResult b # return :: a -> ParseResult a # fail :: String -> ParseResult a # | |
Functor ParseResult Source # | |
Defined in Jukebox.TPTP.Parse.Core fmap :: (a -> b) -> ParseResult a -> ParseResult b # (<$) :: a -> ParseResult b -> ParseResult a # | |
Applicative ParseResult Source # | |
Defined in Jukebox.TPTP.Parse.Core pure :: a -> ParseResult a # (<*>) :: ParseResult (a -> b) -> ParseResult a -> ParseResult b # liftA2 :: (a -> b -> c) -> ParseResult a -> ParseResult b -> ParseResult c # (*>) :: ParseResult a -> ParseResult b -> ParseResult b # (<*) :: ParseResult a -> ParseResult b -> ParseResult a # |
parseProblem :: FilePath -> String -> ParseResult [Input Form] Source #
parseProblemFrom :: ParseState -> FilePath -> String -> ParseResult [Input Form] Source #
class TermLike a where Source #
fromThing :: Thing -> Parser a Source #
var :: Mode -> Map Symbol Variable -> Parser a Source #
typeDeclaration :: Parser () Source #
Orphan instances
Stream TokenStream Token Source # | |
type Position TokenStream :: Type Source # primToken :: TokenStream -> (TokenStream -> Token -> c) -> c -> (String -> c) -> c Source # |