acme-realworld

Version 0.1 revision 0 uploaded 2011-12-09T06:22:24.000Z by JoeyAdams.

Package meta

Synopsis

Primitives for manipulating the state of the universe

Description

GHC represents an IO action internally as a function from one state of the world to the next:

State# RealWorld -> (# State# RealWorld, a #)

This module provides a very useful capability stemming directly from this representation: the ability to save the current state of the universe and restore it later. This provides a way to "undo" certain types of side effects in the IO monad:

import Acme.Missiles
import Acme.RealWorld

main :: IO ()
main = do
    -- Save the current state of the universe
    world_as_we_know_it <- getWorld

    -- Cause serious international side effects
    launchMissiles

    -- After realizing that was a terrible, terrible mistake, restore the
    -- pre-war state of the universe.
    putWorld world_as_we_know_it

Author

Joey Adams

Bug reports

n/a

Category

Acme

Copyright

Copyright (c) Joseph Adams 2011

Homepage

n/a

Maintainer

joeyadams3.14159@gmail.com

Package URL

n/a

Stability

n/a

Components

• lib:acme-realworld