Portability | portable (depends on ghc) |
---|---|
Stability | provisional |
Maintainer | bastiaan.heeren@ou.nl |
Safe Haskell | None |
Identification of entities
- data Id
- class IsId a where
- class HasId a where
- class HasId a => Identify a where
- (#) :: (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
- isEmptyId :: Id -> Bool
- listQualify :: (IsId a, IsId b) => [a] -> b -> Id
Documentation
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) |
unqualified :: HasId a => a -> StringSource
qualifiers :: HasId a => a -> [String]Source
qualification :: HasId a => a -> StringSource
description :: HasId a => a -> StringSource
listQualify :: (IsId a, IsId b) => [a] -> b -> IdSource