Safe Haskell	Safe-Inferred
Language	Haskell2010

LiveCoding.LiveProgram

Documentation

Constructors

Data s => LiveProgram
Fields liveState :: s liveStep :: s -> m s

Instances details

Monad m => Monoid (LiveProgram m) Source #
Instance details Defined in LiveCoding.LiveProgram Methods mempty :: LiveProgram m # mappend :: LiveProgram m -> LiveProgram m -> LiveProgram m # mconcat :: [LiveProgram m] -> LiveProgram m #
Monad m => Semigroup (LiveProgram m) Source #	`mappend` here is _not_ the migration function! (Compare `migrate`.) This instance simply tuples both states and performs the steps sequentially.
Instance details Defined in LiveCoding.LiveProgram Methods (<>) :: LiveProgram m -> LiveProgram m -> LiveProgram m # sconcat :: NonEmpty (LiveProgram m) -> LiveProgram m # stimes :: Integral b => b -> LiveProgram m -> LiveProgram m #