restartable-0.3.0.0: Minimal live coding library for model-view-event-update applications.

Safe HaskellNone
LanguageHaskell2010

Control.Restartable.Checkpoint

Description

Make a checkpointable session provided that session state implements Initial.

Synopsis

Documentation

restartable :: Initial a => FilePath -> (a -> IO (a, Ending)) -> IO () Source #

Should be used to wrap main.

data Ending Source #

Way in which game terminated.

Constructors

Quit 
Restart 
Continue 
Instances
Eq Ending Source # 
Instance details

Defined in Control.Restartable.Checkpoint

Methods

(==) :: Ending -> Ending -> Bool #

(/=) :: Ending -> Ending -> Bool #

Ord Ending Source # 
Instance details

Defined in Control.Restartable.Checkpoint

Methods

compare :: Ending -> Ending -> Ordering #

(<) :: Ending -> Ending -> Bool #

(<=) :: Ending -> Ending -> Bool #

(>) :: Ending -> Ending -> Bool #

(>=) :: Ending -> Ending -> Bool #

max :: Ending -> Ending -> Ending #

min :: Ending -> Ending -> Ending #

Show Ending Source # 
Instance details

Defined in Control.Restartable.Checkpoint

Methods

showsPrec :: Int -> Ending -> ShowS #

show :: Ending -> String #

showList :: [Ending] -> ShowS #

Generic Ending Source # 
Instance details

Defined in Control.Restartable.Checkpoint

Associated Types

type Rep Ending :: Type -> Type #

Methods

from :: Ending -> Rep Ending x #

to :: Rep Ending x -> Ending #

type Rep Ending Source # 
Instance details

Defined in Control.Restartable.Checkpoint

type Rep Ending = D1 (MetaData "Ending" "Control.Restartable.Checkpoint" "restartable-0.3.0.0-4InokSX3uFXKWMfC4WsXGs" False) (C1 (MetaCons "Quit" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "Restart" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Continue" PrefixI False) (U1 :: Type -> Type)))