Ideas.Common.Id

Identification of entities

Documentation

data Id

Instances

Eq Id

Data Id

Ord Id

Read Id

Show Id

Typeable Id

Arbitrary Id

Monoid Id

HasId Id

IsId Id

Typed a Id

class IsId a where

Methods

newId :: a -> Id

concatId :: [a] -> Id

Instances

IsId Char

IsId ()

IsId Id

IsId a => IsId [a]

IsId a => IsId (Maybe a)

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

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

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

class HasId a where

Methods

getId :: a -> Id

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

Instances

HasId Id

HasId ViewPackage

HasId Symbol

HasId Binding

HasId LabelInfo

HasId Service

HasId DomainReasoner

HasId (Ref a)

HasId (RewriteRule a)

HasId (Rule a)

HasId (LabeledStrategy a)

HasId (Predicate a)

HasId (Exercise a)

HasId (State a)

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

HasId (Isomorphism a b)

HasId (View a b)

class HasId a => Identify a where

Methods

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

Instances

Identify (Predicate a)

Identify (Isomorphism a b)

Identify (View a b)

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

sameId :: (IsId a, IsId b) => a -> b -> Bool

unqualified :: HasId a => a -> String

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

qualification :: HasId a => a -> String

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

description :: HasId a => a -> String

showId :: HasId a => a -> String

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

mempty :: Monoid a => a

Identity of mappend

isEmptyId :: Id -> Bool

listQualify :: (IsId a, IsId b) => [a] -> b -> Id