NamespaceMap provides a monad interface for defining namespaces declaratively. You should enable the BlockArguments extension when using it. For instance:

expandChildren myNode
  `binding` do
    "something" ## myTypedExp
    "is-cow" #* ifElse isCow
    "name" #@ "Joana"
    "properties" #. do
      "age" #@ show age
      "state" #@ "hungry"

Infix version of withNamespace meant to bind expansions more conveniently by using NamespaceMaps.

Runs the NamespaceMap monad to get a Namespace.

Infix to add a NamespaceItem to a NamespaceMap.

Remove a previously added item from the NamespaceMap.

Infix to add an Expansion to a NamespaceMap.

name ## expansion = name #: typedExpansion expansion

Infix to add a PolyExpansion to a NamespaceMap.

name #* expansion = name #: polyExpansion expansion

Infix to add a template (any type with an OndimNode instance) to a NamespaceMap.

name #% template = name #: templateData template

Infix to add a textual data to a NamespaceMap. Just a specialized version of #%.

name #@ text = name #: textData text

Infix to nest a NamespaceMap inside a NamespaceMap.

name #. nsMap = name #: namespace nsMap

Ondim's expansion state

An opaque datatype that should be regarded as a sum of four possible types:

1. Typed expansions, i.e., expansions that apply to a single type (use the typedExpansion constructor).
2. Polymorphic expansions, i.e., expansions that are polymophic over types with OndimNode instances (use the polyExpansion constructor).
3. Templates, i.e., raw node data that represents templates. (use the templateData constructor).
4. Namespaces, i.e., nested namespaces. (use the namespace constructor).

A namespace. Internally represented as a hashmap from Text keys to NamespaceItem m values.

Get the Ondim state.

Either bind or unbind an expansion locally.

Either put or delete an expansion from the state.

Unbind a list of expansions locally.

Bind a namespace locally.