circ-0.0.2: A Compiler IR Compiler.
Language.CIRC.Runtime
Description
The runtime library for CIRC generated code.
Synopsis
type CIRC = State IntSource
The CIRC transform monad. Used to create fresh ids.
evalCIRC :: CIRC a -> Int -> aSource
Evaluates a CIRC transform.
runCIRC :: CIRC a -> Int -> (a, Int)Source
Evaluates a CIRC transform, also returning the fresh next id.
type Id = StringSource
Identifiers.
newId :: CIRC IdSource
Produces a fresh id.