shimmer-0.1.1: The Reflective Lambda Machine
SMR.Core.World
Synopsis
data World w Source #
World state for evaluation
Constructors
Fields
Generator for nominal variables.
User state
worldInit :: w -> IO (World w) Source #
Initialize a new world.