Copyright	(c) C.Maeder DFKI Lab Bremen 2008
License	GPLv2 or higher, see LICENSE.txt
Maintainer	Christian.Maeder@dfki.de
Stability	provisional
Portability	portable
Safe Haskell	None

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 #

genTerm :: Parser GenTerm Source #

data GenTerm Source #

Constructors

GenTerm GenData (Maybe GenTerm)
GenTermList [GenTerm]

Instances

Instances details

Data GenTerm Source #
Instance details Defined in SoftFOL.Sign 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 :: forall r r'. (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 #
Instance details Defined in SoftFOL.Sign Methods showsPrec :: Int -> GenTerm -> ShowS show :: GenTerm -> String showList :: [GenTerm] -> ShowS
Generic GenTerm
Instance details Defined in SoftFOL.ATC_SoftFOL Associated Types type Rep GenTerm :: Type -> Type Methods from :: GenTerm -> Rep GenTerm x to :: Rep GenTerm x -> GenTerm
FromJSON GenTerm
Instance details Defined in SoftFOL.ATC_SoftFOL Methods parseJSON :: Value -> Parser GenTerm parseJSONList :: Value -> Parser [GenTerm]
ToJSON GenTerm
Instance details Defined in SoftFOL.ATC_SoftFOL Methods toJSON :: GenTerm -> Value toEncoding :: GenTerm -> Encoding toJSONList :: [GenTerm] -> Value toEncodingList :: [GenTerm] -> Encoding
ShATermConvertible GenTerm
Instance details Defined in SoftFOL.ATC_SoftFOL Methods toShATermAux :: ATermTable -> GenTerm -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [GenTerm] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, GenTerm) fromShATermList' :: Int -> ATermTable -> (ATermTable, [GenTerm])
type Rep GenTerm
Instance details Defined in SoftFOL.ATC_SoftFOL type Rep GenTerm = D1 ('MetaData "GenTerm" "SoftFOL.Sign" "main" 'False) (C1 ('MetaCons "GenTerm" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 GenData) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe GenTerm))) :+: C1 ('MetaCons "GenTermList" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [GenTerm])))

data GenData Source #

Constructors

GenData AWord [GenTerm]
OtherGenData String
GenFormData FormData

Instances

Instances details

Data GenData Source #
Instance details Defined in SoftFOL.Sign 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 :: forall r r'. (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 #
Instance details Defined in SoftFOL.Sign Methods showsPrec :: Int -> GenData -> ShowS show :: GenData -> String showList :: [GenData] -> ShowS
Generic GenData
Instance details Defined in SoftFOL.ATC_SoftFOL Associated Types type Rep GenData :: Type -> Type Methods from :: GenData -> Rep GenData x to :: Rep GenData x -> GenData
FromJSON GenData
Instance details Defined in SoftFOL.ATC_SoftFOL Methods parseJSON :: Value -> Parser GenData parseJSONList :: Value -> Parser [GenData]
ToJSON GenData
Instance details Defined in SoftFOL.ATC_SoftFOL Methods toJSON :: GenData -> Value toEncoding :: GenData -> Encoding toJSONList :: [GenData] -> Value toEncodingList :: [GenData] -> Encoding
ShATermConvertible GenData
Instance details Defined in SoftFOL.ATC_SoftFOL Methods toShATermAux :: ATermTable -> GenData -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [GenData] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, GenData) fromShATermList' :: Int -> ATermTable -> (ATermTable, [GenData])
type Rep GenData
Instance details Defined in SoftFOL.ATC_SoftFOL type Rep GenData = D1 ('MetaData "GenData" "SoftFOL.Sign" "main" 'False) (C1 ('MetaCons "GenData" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AWord) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [GenTerm])) :+: (C1 ('MetaCons "OtherGenData" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :+: C1 ('MetaCons "GenFormData" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FormData))))

data AWord Source #

Constructors

AWord String

Instances

Instances details

Data AWord Source #
Instance details Defined in SoftFOL.Sign 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 :: forall r r'. (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 #
Instance details Defined in SoftFOL.Sign Methods showsPrec :: Int -> AWord -> ShowS show :: AWord -> String showList :: [AWord] -> ShowS
Generic AWord
Instance details Defined in SoftFOL.ATC_SoftFOL Associated Types type Rep AWord :: Type -> Type Methods from :: AWord -> Rep AWord x to :: Rep AWord x -> AWord
FromJSON AWord
Instance details Defined in SoftFOL.ATC_SoftFOL Methods parseJSON :: Value -> Parser AWord parseJSONList :: Value -> Parser [AWord]
ToJSON AWord
Instance details Defined in SoftFOL.ATC_SoftFOL Methods toJSON :: AWord -> Value toEncoding :: AWord -> Encoding toJSONList :: [AWord] -> Value toEncodingList :: [AWord] -> Encoding
ShATermConvertible AWord
Instance details Defined in SoftFOL.ATC_SoftFOL Methods toShATermAux :: ATermTable -> AWord -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [AWord] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, AWord) fromShATermList' :: Int -> ATermTable -> (ATermTable, [AWord])
type Rep AWord
Instance details Defined in SoftFOL.ATC_SoftFOL type Rep AWord = D1 ('MetaData "AWord" "SoftFOL.Sign" "main" 'False) (C1 ('MetaCons "AWord" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))

prTPTPs :: [TPTP] -> Doc Source #

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

ppGenTerm :: GenTerm -> Doc Source #