Generics.BiGUL.Interpreter.Unsafe

The unsafe interpreters, which assume that computation always succeeds and omit all dynamic checking. Use these interpreters only when you have ensured that your BiGUL program is correct.

Documentation

put :: BiGUL s v -> s -> v -> s

The unsafe putback semantics of a BiGUL program.

get :: BiGUL s v -> s -> v

The unsafe get semantics of a BiGUL program.