Language.CIRC.Runtime

The runtime library for CIRC generated code.

Documentation

type CIRC = State (Int, [(String, Int)])

The CIRC transform monad. Used to create fresh ids.

evalCIRC :: CIRC a -> Int -> a

Evaluates a CIRC transform.

runCIRC :: CIRC a -> Int -> (a, Int)

Evaluates a CIRC transform, also returning the fresh next id.

type Id = String

Identifiers.

newId :: CIRC Id

Produces a fresh id.

idId :: Id -> CIRC Int

Returns a unqiue int for a given id.