Language.Atom.Elaboration

Atom monad and container.

data Atom a

data AtomDB

data Global

data Rule

data StateHierarchy

buildAtom

Type Aliases and Utilities

type UID

type Name

data Phase

type Path

elaborate

var

var'

array

array'

addName

get

put

allUVs

allUEs