Data.Namespace.Path

Documentation

data NamespacePath k where

Constructors

NamespacePath :: Key k => [k] -> NamespacePath k

Instances

Eq (NamespacePath k)

Methods

(==) :: NamespacePath k -> NamespacePath k -> Bool

(/=) :: NamespacePath k -> NamespacePath k -> Bool

Ord (NamespacePath k)

Methods

compare :: NamespacePath k -> NamespacePath k -> Ordering

(<) :: NamespacePath k -> NamespacePath k -> Bool

(<=) :: NamespacePath k -> NamespacePath k -> Bool

(>) :: NamespacePath k -> NamespacePath k -> Bool

(>=) :: NamespacePath k -> NamespacePath k -> Bool

max :: NamespacePath k -> NamespacePath k -> NamespacePath k

min :: NamespacePath k -> NamespacePath k -> NamespacePath k

Show k => Show (NamespacePath k)

Methods

showsPrec :: Int -> NamespacePath k -> ShowS

show :: NamespacePath k -> String

showList :: [NamespacePath k] -> ShowS

Key k => Monoid (NamespacePath k)

Methods

mempty :: NamespacePath k

mappend :: NamespacePath k -> NamespacePath k -> NamespacePath k

mconcat :: [NamespacePath k] -> NamespacePath k

Key (NamespacePath k)

Key k => Action (NamespacePath k) (ObjectPath k)

Methods

act :: NamespacePath k -> ObjectPath k -> ObjectPath k

data ObjectPath k where

Constructors

ObjectPath :: Key k => NamespacePath k -> k -> ObjectPath k

Instances

Eq (ObjectPath k)

Methods

(==) :: ObjectPath k -> ObjectPath k -> Bool

(/=) :: ObjectPath k -> ObjectPath k -> Bool

Ord (ObjectPath k)

Methods

compare :: ObjectPath k -> ObjectPath k -> Ordering

(<) :: ObjectPath k -> ObjectPath k -> Bool

(<=) :: ObjectPath k -> ObjectPath k -> Bool

(>) :: ObjectPath k -> ObjectPath k -> Bool

(>=) :: ObjectPath k -> ObjectPath k -> Bool

max :: ObjectPath k -> ObjectPath k -> ObjectPath k

min :: ObjectPath k -> ObjectPath k -> ObjectPath k

Show k => Show (ObjectPath k)

Methods

showsPrec :: Int -> ObjectPath k -> ShowS

show :: ObjectPath k -> String

showList :: [ObjectPath k] -> ShowS

Key k => Action (NamespacePath k) (ObjectPath k)

Methods

act :: NamespacePath k -> ObjectPath k -> ObjectPath k

extendNamespacePath :: Key k => NamespacePath k -> k -> NamespacePath k

concatNamespacePathWithObjectPath :: Key k => NamespacePath k -> ObjectPath k -> ObjectPath k

qualified :: Key k => ObjectPath k -> Bool

class Ord k => Key k

Instances

Key (NamespacePath k)