Control.Monad.Log.NameSpace

Documentation

newtype NameSpace

A newtype around a list of names from children to root.

This reversed order is choosen becasue '(:)' is faster.

showt (NameSpace ["subSub", "sub", "root"]) = "subSub<<sub<<root"
toJSON (NameSpace ["subSub", "sub", "root"]) = '["subSub", "sub", "root"]'

Constructors

NameSpace

Fields

getNameSpace :: [Text]

Instances

Eq NameSpace

Ord NameSpace

Show NameSpace

ToJSON NameSpace

FromJSON NameSpace

TextShow NameSpace

pushNameSpace :: Text -> NameSpace -> NameSpace

push a Text name to the front of NameSpace.

withNameSpace :: MonadLog NameSpace m => NameSpace -> m a -> m a

use a new NameSpace within m.

subNameSpace :: MonadLog NameSpace m => Text -> m a -> m a

push a Text name to the front of m's NameSpace.