Safe Haskell	Safe-Inferred
Language	Haskell2010

TPDB.Data.Term.Plain

Synopsis

type TermC v s = ()
data Term v s
- = Var v
- | Node s [Term v s]
tfold :: TermC v c => (v -> r) -> (c -> [r] -> r) -> Term v c -> r
size :: TermC v c => Term v c -> Int
depth :: TermC v c => Term v c -> Int
vars :: Ord v => Term v c -> Set v
syms :: Ord c => Term v c -> Set c

Documentation

type TermC v s = () Source #

data Term v s Source #

we do derive Ord but it should probably not be used much

Constructors

Var v
Node s [Term v s]

Instances

Instances details

Functor (Term v) Source #

Instance details

Defined in TPDB.Data.Term.Plain

Methods

fmap :: (a -> b) -> Term v a -> Term v b #

(<$) :: a -> Term v b -> Term v a #

(TermC v c, XmlContent (Term v c)) => XmlContent (Rule (Term v c)) Source #

Instance details

Defined in TPDB.Data.Xml

Methods

toContents :: Rule (Term v c) -> [Node] Source #

parseContents :: Cursor -> [Rule (Term v c)] Source #

Generic (Term v s) Source #

Instance details

Defined in TPDB.Data.Term.Plain

Associated Types

type Rep (Term v s)

Instance details

Defined in TPDB.Data.Term.Plain

type Rep (Term v s) = D1 ('MetaData "Term" "TPDB.Data.Term.Plain" "tpdb-2.8.5-F77m8KEg8AWBFUggPFX4YD" 'False) (C1 ('MetaCons "Var" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 v)) :+: C1 ('MetaCons "Node" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 s) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Term v s])))

Methods

from :: Term v s -> Rep (Term v s) x #

to :: Rep (Term v s) x -> Term v s #

(Eq v, Eq s) => Eq (Term v s) Source #

Instance details

Defined in TPDB.Data.Term.Plain

Methods

(==) :: Term v s -> Term v s -> Bool #

(/=) :: Term v s -> Term v s -> Bool #

(Ord v, Ord s) => Ord (Term v s) Source #

Instance details

Defined in TPDB.Data.Term.Plain

Methods

compare :: Term v s -> Term v s -> Ordering #

(<) :: Term v s -> Term v s -> Bool #

(<=) :: Term v s -> Term v s -> Bool #

(>) :: Term v s -> Term v s -> Bool #

(>=) :: Term v s -> Term v s -> Bool #

max :: Term v s -> Term v s -> Term v s #

min :: Term v s -> Term v s -> Term v s #

(Hashable v, Hashable s) => Hashable (Term v s) Source #

Instance details

Defined in TPDB.Data.Term.Plain

Methods

hashWithSalt :: Int -> Term v s -> Int #

hash :: Term v s -> Int #

(TermC v s, Pretty v, Pretty s) => Pretty (Term v s) Source #

Instance details

Defined in TPDB.Plain.Write

Methods

pretty :: Term v s -> Doc ann #

prettyList :: [Term v s] -> Doc ann #

(Ord v, TermC v s) => Variables (TRS v s) Source #

Instance details

Defined in TPDB.Data

Associated Types

type Var (TRS v s)
Instance details Defined in TPDB.Data type Var (TRS v s) = v

Methods

variables :: TRS v s -> Set (Var (TRS v s)) Source #

(Ord v, TermC v c) => Variables (Term v c) Source #

Instance details

Defined in TPDB.Data

Associated Types

type Var (Term v c)
Instance details Defined in TPDB.Data type Var (Term v c) = v

Methods

variables :: Term v c -> Set (Var (Term v c)) Source #

Reader (TRS Identifier Identifier) Source #

Instance details

Defined in TPDB.Plain.Read

Methods

reader :: Parser (TRS Identifier Identifier) Source #

(TermC v Identifier, Reader v) => Reader (Term v Identifier) Source #

Instance details

Defined in TPDB.Plain.Read

Methods

reader :: Parser (Term v Identifier) Source #

(TermC v s, Pretty v, Pretty s) => PrettyTerm (Term v s) Source #

Instance details

Defined in TPDB.Plain.Write

Methods

prettyTerm :: Term v s -> Doc ann Source #

XmlContent (TRS Identifier Symbol) Source #

Instance details

Defined in TPDB.CPF.Proof.Write

Methods

toContents :: TRS Identifier Symbol -> [Node] Source #

parseContents :: Cursor -> [TRS Identifier Symbol] Source #

(TermC v c, Show v, XmlContent v, XmlContent c) => XmlContent (Term v c) Source #

Instance details

Defined in TPDB.Data.Xml

Methods

toContents :: Term v c -> [Node] Source #

parseContents :: Cursor -> [Term v c] Source #

type Rep (Term v s) Source #

Instance details

Defined in TPDB.Data.Term.Plain

type Rep (Term v s) = D1 ('MetaData "Term" "TPDB.Data.Term.Plain" "tpdb-2.8.5-F77m8KEg8AWBFUggPFX4YD" 'False) (C1 ('MetaCons "Var" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 v)) :+: C1 ('MetaCons "Node" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 s) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Term v s])))

type Var (TRS v s) Source #

Instance details

Defined in TPDB.Data

type Var (TRS v s) = v

type Var (Term v c) Source #

Instance details

Defined in TPDB.Data

type Var (Term v c) = v

tfold :: TermC v c => (v -> r) -> (c -> [r] -> r) -> Term v c -> r Source #

size :: TermC v c => Term v c -> Int Source #

depth :: TermC v c => Term v c -> Int Source #

vars :: Ord v => Term v c -> Set v Source #

syms :: Ord c => Term v c -> Set c Source #