Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
each of the import functions has an extra E version. The E version returns `Either String a` rather than `Maybe a`
Documentation
lookupNamespace :: Key k => NamespacePath k -> Namespace k a -> Maybe (Namespace k a) Source #
lookupObject :: Key k => ObjectPath k -> Namespace k a -> Maybe a Source #
insertObject :: Key k => ObjectPath k -> a -> Namespace k a -> Namespace k a Source #
insertNamespace :: Key k => NamespacePath k -> Map k a -> Namespace k a -> Namespace k a Source #
allObjects :: Key k => Namespace k a -> Map (ObjectPath k) a Source #
importFromNamespace :: Key k => NamespacePath k -> [k] -> Namespace k a -> Namespace k a -> Maybe (Namespace k a) Source #
importAllFromNamespace :: Key k => NamespacePath k -> Namespace k a -> Namespace k a -> Maybe (Namespace k a) Source #
importExceptFromNamespace :: Key k => NamespacePath k -> [k] -> Namespace k a -> Namespace k a -> Maybe (Namespace k a) Source #
importQualifiedFromNamespace :: Key k => NamespacePath k -> [k] -> Namespace k a -> Namespace k a -> Maybe (Namespace k a) Source #
importQualifiedAllFromNamespace :: Key k => NamespacePath k -> Namespace k a -> Namespace k a -> Maybe (Namespace k a) Source #
importQualifiedExceptFromNamespace :: Key k => NamespacePath k -> [k] -> Namespace k a -> Namespace k a -> Maybe (Namespace k a) Source #
importFromNamespaceE :: (Key k, Show k, Show a) => NamespacePath k -> [k] -> Namespace k a -> Namespace k a -> Either String (Namespace k a) Source #
importAllFromNamespaceE :: (Key k, Show k, Show a) => NamespacePath k -> Namespace k a -> Namespace k a -> Either String (Namespace k a) Source #
importExceptFromNamespaceE :: (Key k, Show k, Show a) => NamespacePath k -> [k] -> Namespace k a -> Namespace k a -> Either String (Namespace k a) Source #
importQualifiedFromNamespaceE :: (Key k, Show k, Show a) => NamespacePath k -> [k] -> Namespace k a -> Namespace k a -> Either String (Namespace k a) Source #
importQualifiedAllFromNamespaceE :: (Key k, Show k, Show a) => NamespacePath k -> Namespace k a -> Namespace k a -> Either String (Namespace k a) Source #