Hets - the Heterogeneous Tool Set

Copyright(c) C.Maeder DFKI Lab Bremen 2008
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilityportable
Safe HaskellNone

SoftFOL.ParseTPTP

Description

A parser for the TPTP Input Syntax v3.4.0.1 taken from http://www.cs.miami.edu/~tptp/TPTP/SyntaxBNF.html

Documentation

tptp :: Parser [TPTP] Source #

singleQuoted :: Parser String Source #

form :: Parser SPTerm Source #

genList :: Parser [GenTerm] Source #

data GenTerm Source #

Constructors

GenTerm GenData (Maybe GenTerm) 
GenTermList [GenTerm] 

Instances

Data GenTerm Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> GenTerm -> c GenTerm

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c GenTerm

toConstr :: GenTerm -> Constr

dataTypeOf :: GenTerm -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c GenTerm)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c GenTerm)

gmapT :: (forall b. Data b => b -> b) -> GenTerm -> GenTerm

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> GenTerm -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> GenTerm -> r

gmapQ :: (forall d. Data d => d -> u) -> GenTerm -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> GenTerm -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> GenTerm -> m GenTerm

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> GenTerm -> m GenTerm

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> GenTerm -> m GenTerm

Show GenTerm Source # 

Methods

showsPrec :: Int -> GenTerm -> ShowS

show :: GenTerm -> String

showList :: [GenTerm] -> ShowS

data GenData Source #

Instances

Data GenData Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> GenData -> c GenData

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c GenData

toConstr :: GenData -> Constr

dataTypeOf :: GenData -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c GenData)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c GenData)

gmapT :: (forall b. Data b => b -> b) -> GenData -> GenData

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> GenData -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> GenData -> r

gmapQ :: (forall d. Data d => d -> u) -> GenData -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> GenData -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> GenData -> m GenData

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> GenData -> m GenData

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> GenData -> m GenData

Show GenData Source # 

Methods

showsPrec :: Int -> GenData -> ShowS

show :: GenData -> String

showList :: [GenData] -> ShowS

data AWord Source #

Constructors

AWord String 

Instances

Data AWord Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> AWord -> c AWord

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c AWord

toConstr :: AWord -> Constr

dataTypeOf :: AWord -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c AWord)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c AWord)

gmapT :: (forall b. Data b => b -> b) -> AWord -> AWord

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> AWord -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> AWord -> r

gmapQ :: (forall d. Data d => d -> u) -> AWord -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> AWord -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> AWord -> m AWord

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> AWord -> m AWord

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> AWord -> m AWord

Show AWord Source # 

Methods

showsPrec :: Int -> AWord -> ShowS

show :: AWord -> String

showList :: [AWord] -> ShowS

tptpModel :: Parser [(String, SPTerm)] Source #