Safe Haskell	Safe-Inferred
Language	Haskell2010

TPDB.Data.Identifier

Documentation

data Identifier Source #

Constructors

Identifier
Fields _identifier_hash :: !Int name :: !Text arity :: Int

Instances

Instances details

Show Identifier Source #
Instance details Defined in TPDB.Data.Identifier Methods showsPrec :: Int -> Identifier -> ShowS # show :: Identifier -> String # showList :: [Identifier] -> ShowS #
Eq Identifier Source #
Instance details Defined in TPDB.Data.Identifier Methods (==) :: Identifier -> Identifier -> Bool # (/=) :: Identifier -> Identifier -> Bool #
Ord Identifier Source #
Instance details Defined in TPDB.Data.Identifier Methods compare :: Identifier -> Identifier -> Ordering # (<) :: Identifier -> Identifier -> Bool # (<=) :: Identifier -> Identifier -> Bool # (>) :: Identifier -> Identifier -> Bool # (>=) :: Identifier -> Identifier -> Bool # max :: Identifier -> Identifier -> Identifier # min :: Identifier -> Identifier -> Identifier #
Hashable Identifier Source #
Instance details Defined in TPDB.Data.Identifier Methods hashWithSalt :: Int -> Identifier -> Int # hash :: Identifier -> Int #
Pretty Identifier Source #
Instance details Defined in TPDB.Plain.Write Methods pretty :: Identifier -> Doc ann # prettyList :: [Identifier] -> Doc ann #
Reader Identifier Source #
Instance details Defined in TPDB.Plain.Read Methods reader :: Parser Identifier Source #
XmlContent Identifier Source #	FIXME: move to separate module
Instance details Defined in TPDB.Data.Xml Methods toContents :: Identifier -> [Node] Source # parseContents :: Cursor -> [Identifier] Source #
Reader (SRS Identifier) Source #
Instance details Defined in TPDB.Plain.Read Methods reader :: Parser (SRS Identifier) 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 #
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 #

mk :: Int -> Text -> Identifier Source #