-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | A Generic Haskell library for managing namespaces
--   
--   Please see README.md
@package namespace
@version 0.1.2.0

module Data.Namespace.Path
data NamespacePath k
[NamespacePath] :: Key k => [k] -> NamespacePath k
data ObjectPath k
[ObjectPath] :: Key k => NamespacePath k -> 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
instance GHC.Classes.Eq (Data.Namespace.Path.NamespacePath k)
instance GHC.Classes.Ord (Data.Namespace.Path.NamespacePath k)
instance GHC.Show.Show k => GHC.Show.Show (Data.Namespace.Path.NamespacePath k)
instance GHC.Classes.Eq (Data.Namespace.Path.ObjectPath k)
instance GHC.Classes.Ord (Data.Namespace.Path.ObjectPath k)
instance GHC.Show.Show k => GHC.Show.Show (Data.Namespace.Path.ObjectPath k)
instance Data.Namespace.Path.Key (Data.Namespace.Path.NamespacePath k)
instance Data.Namespace.Path.Key k => GHC.Base.Monoid (Data.Namespace.Path.NamespacePath k)
instance Data.Namespace.Path.Key k => Data.Monoid.Action.Action (Data.Namespace.Path.NamespacePath k) (Data.Namespace.Path.ObjectPath k)

module Data.Namespace.Namespace
data 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)
instance (GHC.Show.Show k, GHC.Show.Show a) => GHC.Show.Show (Data.Namespace.Namespace.Namespace k a)
instance Data.Namespace.Path.Key k => GHC.Base.Monoid (Data.Namespace.Namespace.Namespace k a)