Control.Restartable.Checkpoint

Make a checkpointable session provided that session state implements Initial.

Documentation

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

Should be used to wrap main.

data Ending

Way in which game terminated.

Constructors

Quit

Restart

Continue

Instances

Eq Ending

Defined in Control.Restartable.Checkpoint

Methods

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

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

Ord Ending

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

Defined in Control.Restartable.Checkpoint

Methods

showsPrec :: Int -> Ending -> ShowS

show :: Ending -> String

showList :: [Ending] -> ShowS

Generic Ending

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

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)))