jukebox-0.4.2: A first-order reasoning toolbox

Safe HaskellNone
LanguageHaskell98

Jukebox.TPTP.Parse.Core

Contents

Documentation

data ParseResult a Source #

Instances
Monad ParseResult Source # 
Instance details

Defined in Jukebox.TPTP.Parse.Core

Functor ParseResult Source # 
Instance details

Defined in Jukebox.TPTP.Parse.Core

Methods

fmap :: (a -> b) -> ParseResult a -> ParseResult b #

(<$) :: a -> ParseResult b -> ParseResult a #

Applicative ParseResult Source # 
Instance details

Defined in Jukebox.TPTP.Parse.Core

Methods

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 #

data Location Source #

Instances
Show Location Source # 
Instance details

Defined in Jukebox.TPTP.Parse.Core

binExpr :: Parser a -> Parser (a -> a -> Parser a) -> Parser a Source #

input :: (Tag -> Bool) -> Parser () Source #

typeError :: Stream a c => [Name ::: FunType] -> [Term] -> Parsec a b Source #

data Thing Source #

Constructors

Apply !String ![Term] 
Term !Term 
Formula !Form 

class TermLike a => FormulaLike a where Source #

Minimal complete definition

fromFormula

Methods

fromFormula :: Form -> a Source #

Instances
FormulaLike Form Source # 
Instance details

Defined in Jukebox.TPTP.Parse.Core

FormulaLike Thing Source # 
Instance details

Defined in Jukebox.TPTP.Parse.Core

data Type_ Source #

Constructors

TType 
Fun [Type] Type 
Prod [Type] 

Orphan instances

Stream TokenStream Token Source # 
Instance details

Associated Types

type Position TokenStream :: * Source #