logic-TPTP-0.4.7.0: Import, export etc. for TPTP, a syntax for first-order logic

Safe HaskellNone
LanguageHaskell98

Codec.TPTP.Pretty

Contents

Description

Mainly just Pretty instances

Synopsis

Documentation

data WithEnclosing a Source #

Carries information about the enclosing operation (for the purpose of printing stuff without parentheses if possible).

Constructors

WithEnclosing Enclosing a 
Instances
Pretty (WithEnclosing (T DiffResult)) Source # 
Instance details

Defined in Codec.TPTP.Diff

Pretty (WithEnclosing (F DiffResult)) Source # 
Instance details

Defined in Codec.TPTP.Diff

Pretty (WithEnclosing t) => Pretty (WithEnclosing (Term0 t)) Source # 
Instance details

Defined in Codec.TPTP.Pretty

(Pretty (WithEnclosing t), Pretty (WithEnclosing f)) => Pretty (WithEnclosing (Formula0 t f)) Source # 
Instance details

Defined in Codec.TPTP.Pretty

Pretty (WithEnclosing Term) Source # 
Instance details

Defined in Codec.TPTP.Pretty

Pretty (WithEnclosing Formula) Source # 
Instance details

Defined in Codec.TPTP.Pretty

Pretty (WithEnclosing F0Diff) Source # 
Instance details

Defined in Codec.TPTP.Diff

Pretty (WithEnclosing T0Diff) Source # 
Instance details

Defined in Codec.TPTP.Diff

data Enclosing Source #

Instances
Eq Enclosing Source # 
Instance details

Defined in Codec.TPTP.Pretty

Data Enclosing Source # 
Instance details

Defined in Codec.TPTP.Pretty

Methods

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

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

toConstr :: Enclosing -> Constr #

dataTypeOf :: Enclosing -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Enclosing) #

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

gmapT :: (forall b. Data b => b -> b) -> Enclosing -> Enclosing #

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

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

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

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

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

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

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

Ord Enclosing Source # 
Instance details

Defined in Codec.TPTP.Pretty

Read Enclosing Source # 
Instance details

Defined in Codec.TPTP.Pretty

Show Enclosing Source # 
Instance details

Defined in Codec.TPTP.Pretty

Orphan instances

Pretty V Source # 
Instance details

Methods

pretty :: V -> Doc #

prettyList :: [V] -> Doc #

Pretty AtomicWord Source # 
Instance details

Pretty GTerm Source # 
Instance details

Methods

pretty :: GTerm -> Doc #

prettyList :: [GTerm] -> Doc #

Pretty GData Source # 
Instance details

Methods

pretty :: GData -> Doc #

prettyList :: [GData] -> Doc #

Pretty UsefulInfo Source # 
Instance details

Pretty Annotations Source # 
Instance details

Pretty TPTP_Input Source # 
Instance details

Pretty Quant Source # 
Instance details

Methods

pretty :: Quant -> Doc #

prettyList :: [Quant] -> Doc #

Pretty InfixPred Source # 
Instance details

Pretty BinOp Source # 
Instance details

Methods

pretty :: BinOp -> Doc #

prettyList :: [BinOp] -> Doc #

Pretty a => Pretty (Identity a) Source # 
Instance details

Methods

pretty :: Identity a -> Doc #

prettyList :: [Identity a] -> Doc #

Pretty (T Identity) Source # 
Instance details

Methods

pretty :: T Identity -> Doc #

prettyList :: [T Identity] -> Doc #

Pretty (F Identity) Source # 
Instance details

Methods

pretty :: F Identity -> Doc #

prettyList :: [F Identity] -> Doc #

Pretty (Term0 Term) Source # 
Instance details

Methods

pretty :: Term0 Term -> Doc #

prettyList :: [Term0 Term] -> Doc #

Pretty (Formula0 Term Formula) Source # 
Instance details