SMR.Core.World

Documentation

data World w

World state for evaluation

Constructors

World

Fields

• worldNomGen :: !(IORef Integer)

  Generator for nominal variables.

• worldUser :: w

  User state

worldInit :: w -> IO (World w)

Initialize a new world.