Ideas.Common.Id

Many entities of the Ideas framework carry an Id for identification. Identifiers have a hierarchical structure of an arbitrary depth (e.g. algebra.equation or a.b.c). Valid symbols for identifiers are the alpha-numerical characters, together with - and _. Each identifier carries a description and a hash value for fast comparison.

Functionality for identifiers is provided by means of three type classes:

• Type class IsId for constructing identifiers
• Type class HasId for accessing (and changing) the identifier of an entity. Instances of this type class must always have exactly one identifier (although this identifier can be empty).
• Type class Identify for labeling entities with an identifier. Instances of this type class typically allow labels to appear at multiple locations within their structure.

The Id datatype implements the Monoid interface.

Constructing identifiers

data Id

Abstract data type for identifiers with a hierarchical name, carrying a description. The data type provides a fast comparison implementation.

Instances

Eq Id

Defined in Ideas.Common.Id

Methods

(==) :: Id -> Id -> Bool

(/=) :: Id -> Id -> Bool

Ord Id

Defined in Ideas.Common.Id

Methods

compare :: Id -> Id -> Ordering

(<) :: Id -> Id -> Bool

(<=) :: Id -> Id -> Bool

(>) :: Id -> Id -> Bool

(>=) :: Id -> Id -> Bool

max :: Id -> Id -> Id

min :: Id -> Id -> Id

Read Id

Defined in Ideas.Common.Id

Methods

readsPrec :: Int -> ReadS Id

readList :: ReadS [Id]

readPrec :: ReadPrec Id

readListPrec :: ReadPrec [Id]

Show Id

Defined in Ideas.Common.Id

Methods

showsPrec :: Int -> Id -> ShowS

show :: Id -> String

showList :: [Id] -> ShowS

Semigroup Id

Defined in Ideas.Common.Id

Methods

(<>) :: Id -> Id -> Id

sconcat :: NonEmpty Id -> Id

stimes :: Integral b => b -> Id -> Id

Monoid Id

Defined in Ideas.Common.Id

Methods

mempty :: Id

mappend :: Id -> Id -> Id

mconcat :: [Id] -> Id

Arbitrary Id

Defined in Ideas.Common.Id

Methods

arbitrary :: Gen Id

shrink :: Id -> [Id]

ToHTML Id

Defined in Ideas.Common.Id

Methods

toHTML :: Id -> HTMLBuilder

listToHTML :: [Id] -> HTMLBuilder

HasId Id

Defined in Ideas.Common.Id

Methods

getId :: Id -> Id

changeId :: (Id -> Id) -> Id -> Id

IsId Id

Defined in Ideas.Common.Id

Methods

newId :: Id -> Id

concatId :: [Id] -> Id

class IsId a where

Type class IsId for constructing identifiers. Examples are newId "algebra.equation", newId ("a", "b", "c"), and newId () for the empty identifier.

Minimal complete definition

newId

Methods

newId :: a -> Id

concatId :: [a] -> Id

Instances

IsId Char

Defined in Ideas.Common.Id

Methods

newId :: Char -> Id

concatId :: [Char] -> Id

IsId ()

Defined in Ideas.Common.Id

Methods

newId :: () -> Id

concatId :: [()] -> Id

IsId Id

Defined in Ideas.Common.Id

Methods

newId :: Id -> Id

concatId :: [Id] -> Id

IsId a => IsId [a]

Defined in Ideas.Common.Id

Methods

newId :: [a] -> Id

concatId :: [[a]] -> Id

IsId a => IsId (Maybe a)

Defined in Ideas.Common.Id

Methods

newId :: Maybe a -> Id

concatId :: [Maybe a] -> Id

(IsId a, IsId b) => IsId (Either a b)

Defined in Ideas.Common.Id

Methods

newId :: Either a b -> Id

concatId :: [Either a b] -> Id

(IsId a, IsId b) => IsId (a, b)

Defined in Ideas.Common.Id

Methods

newId :: (a, b) -> Id

concatId :: [(a, b)] -> Id

(IsId a, IsId b, IsId c) => IsId (a, b, c)

Defined in Ideas.Common.Id

Methods

newId :: (a, b, c) -> Id

concatId :: [(a, b, c)] -> Id

(#) :: (IsId a, IsId b) => a -> b -> Id infixr 8

Appends two identifiers. Both parameters are overloaded.

Accessing (and changing) identifiers

class HasId a where

Type classfor accessing (and changing) the identifier of an entity.

Minimal complete definition

getId, changeId

Methods

getId :: a -> Id

changeId :: (Id -> Id) -> a -> a

Instances

HasId Id

Defined in Ideas.Common.Id

Methods

getId :: Id -> Id

changeId :: (Id -> Id) -> Id -> Id

HasId ViewPackage

Defined in Ideas.Common.View

Methods

getId :: ViewPackage -> Id

changeId :: (Id -> Id) -> ViewPackage -> ViewPackage

HasId Symbol

Defined in Ideas.Common.Rewriting.Term

Methods

getId :: Symbol -> Id

changeId :: (Id -> Id) -> Symbol -> Symbol

HasId Binding

Defined in Ideas.Common.Environment

Methods

getId :: Binding -> Id

changeId :: (Id -> Id) -> Binding -> Binding

HasId Service

Defined in Ideas.Service.Types

Methods

getId :: Service -> Id

changeId :: (Id -> Id) -> Service -> Service

HasId DomainReasoner

Defined in Ideas.Service.DomainReasoner

Methods

getId :: DomainReasoner -> Id

changeId :: (Id -> Id) -> DomainReasoner -> DomainReasoner

HasId (Predicate a)

Defined in Ideas.Common.Predicate

Methods

getId :: Predicate a -> Id

changeId :: (Id -> Id) -> Predicate a -> Predicate a

HasId (Constraint a)

Defined in Ideas.Common.Constraint

Methods

getId :: Constraint a -> Id

changeId :: (Id -> Id) -> Constraint a -> Constraint a

HasId (Ref a)

Defined in Ideas.Common.Environment

Methods

getId :: Ref a -> Id

changeId :: (Id -> Id) -> Ref a -> Ref a

HasId (RewriteRule a)

Defined in Ideas.Common.Rewriting.RewriteRule

Methods

getId :: RewriteRule a -> Id

changeId :: (Id -> Id) -> RewriteRule a -> RewriteRule a

HasId (Rule a)

Defined in Ideas.Common.Rule.Abstract

Methods

getId :: Rule a -> Id

changeId :: (Id -> Id) -> Rule a -> Rule a

HasId (Decl f)

Defined in Ideas.Common.Strategy.StrategyTree

Methods

getId :: Decl f -> Id

changeId :: (Id -> Id) -> Decl f -> Decl f

HasId (Dynamic a)

Defined in Ideas.Common.Strategy.StrategyTree

Methods

getId :: Dynamic a -> Id

changeId :: (Id -> Id) -> Dynamic a -> Dynamic a

HasId (Leaf a)

Defined in Ideas.Common.Strategy.StrategyTree

Methods

getId :: Leaf a -> Id

changeId :: (Id -> Id) -> Leaf a -> Leaf a

HasId (LabeledStrategy a)

Defined in Ideas.Common.Strategy.Abstract

Methods

getId :: LabeledStrategy a -> Id

changeId :: (Id -> Id) -> LabeledStrategy a -> LabeledStrategy a

HasId (Exercise a)

Defined in Ideas.Common.Exercise

Methods

getId :: Exercise a -> Id

changeId :: (Id -> Id) -> Exercise a -> Exercise a

HasId (State a)

Defined in Ideas.Service.State

Methods

getId :: State a -> Id

changeId :: (Id -> Id) -> State a -> State a

(HasId a, HasId b) => HasId (Either a b)

Defined in Ideas.Common.Id

Methods

getId :: Either a b -> Id

changeId :: (Id -> Id) -> Either a b -> Either a b

HasId (Isomorphism a b)

Defined in Ideas.Common.View

Methods

getId :: Isomorphism a b -> Id

changeId :: (Id -> Id) -> Isomorphism a b -> Isomorphism a b

HasId (View a b)

Defined in Ideas.Common.View

Methods

getId :: View a b -> Id

changeId :: (Id -> Id) -> View a b -> View a b

unqualified :: HasId a => a -> String

Get the unqualified part of the identifier (i.e., last string).

qualifiers :: HasId a => a -> [String]

Get the list of qualifiers of the identifier (i.e., everything but the last string).

qualification :: HasId a => a -> String

Get the qualified part of the identifier. If the identifier consists of more than one part, the parts are separated by a period (.).

describe :: HasId a => String -> a -> a

Give a description for the current entity. If there already is a description, both strings are combined.

description :: HasId a => a -> String

Get the current description.

showId :: HasId a => a -> String

Show the identifier.

compareId :: HasId a => a -> a -> Ordering

Compare two identifiers based on their names. Use compare for a fast ordering based on hash values.

Labeling with identifiers

class HasId a => Identify a where

Type class for labeling entities with an identifier

Minimal complete definition

(@>)

Methods

(@>) :: IsId n => n -> a -> a

Instances

Identify (Predicate a)

Defined in Ideas.Common.Predicate

Methods

(@>) :: IsId n => n -> Predicate a -> Predicate a

Identify (Isomorphism a b)

Defined in Ideas.Common.View

Methods

(@>) :: IsId n => n -> Isomorphism a b -> Isomorphism a b

Identify (View a b)

Defined in Ideas.Common.View

Methods

(@>) :: IsId n => n -> View a b -> View a b