Data.Namespace.Namespace

each of the import functions has an extra E version. The E version returns `Either String a` rather than `Maybe a`

Documentation

data Namespace k a

Instances

(Show k, Show a) => Show (Namespace k a)

Methods

showsPrec :: Int -> Namespace k a -> ShowS

show :: Namespace k a -> String

showList :: [Namespace k a] -> ShowS

Key k => Monoid (Namespace k a)

Methods

mempty :: Namespace k a

mappend :: Namespace k a -> Namespace k a -> Namespace k a

mconcat :: [Namespace k a] -> Namespace k a

lookupNamespace :: Key k => NamespacePath k -> Namespace k a -> Maybe (Namespace k a)

lookupObject :: Key k => ObjectPath k -> Namespace k a -> Maybe a

topLevelObjects :: Key k => Namespace k a -> Map k a

insertObject :: Key k => ObjectPath k -> a -> Namespace k a -> Namespace k a

insertNamespace :: Key k => NamespacePath k -> Map k a -> Namespace k a -> Namespace k a

topLevelNamespaces :: Key k => Namespace k a -> Map k (Namespace k a)

allObjects :: Key k => Namespace k a -> Map (ObjectPath k) a

importFromNamespace :: Key k => NamespacePath k -> [k] -> Namespace k a -> Namespace k a -> Maybe (Namespace k a)

importAllFromNamespace :: Key k => NamespacePath k -> Namespace k a -> Namespace k a -> Maybe (Namespace k a)

importExceptFromNamespace :: Key k => NamespacePath k -> [k] -> Namespace k a -> Namespace k a -> Maybe (Namespace k a)

importQualifiedFromNamespace :: Key k => NamespacePath k -> [k] -> Namespace k a -> Namespace k a -> Maybe (Namespace k a)

importQualifiedAllFromNamespace :: Key k => NamespacePath k -> Namespace k a -> Namespace k a -> Maybe (Namespace k a)

importQualifiedExceptFromNamespace :: Key k => NamespacePath k -> [k] -> Namespace k a -> Namespace k a -> Maybe (Namespace k a)

importFromNamespaceE :: (Key k, Show k, Show a) => NamespacePath k -> [k] -> Namespace k a -> Namespace k a -> Either String (Namespace k a)

importAllFromNamespaceE :: (Key k, Show k, Show a) => NamespacePath k -> Namespace k a -> Namespace k a -> Either String (Namespace k a)

importExceptFromNamespaceE :: (Key k, Show k, Show a) => NamespacePath k -> [k] -> Namespace k a -> Namespace k a -> Either String (Namespace k a)

importQualifiedFromNamespaceE :: (Key k, Show k, Show a) => NamespacePath k -> [k] -> Namespace k a -> Namespace k a -> Either String (Namespace k a)

importQualifiedAllFromNamespaceE :: (Key k, Show k, Show a) => NamespacePath k -> Namespace k a -> Namespace k a -> Either String (Namespace k a)

importQualifiedExceptFromNamespaceE :: (Key k, Show k, Show a) => NamespacePath k -> [k] -> Namespace k a -> Namespace k a -> Either String (Namespace k a)

toTree :: Key k => Namespace k a -> Tree (Maybe k, Maybe a)