LiveCoding.LiveProgram

Documentation

data LiveProgram m

Constructors

forall s.Data s => LiveProgram

Fields

• liveState :: s
• liveStep :: s -> m s

Instances

Monad m => Semigroup (LiveProgram m)

mappend here is _not_ the migration function! (Compare migrate.) This instance simply tuples both states and performs the steps sequentially.

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

Monad m => Monoid (LiveProgram m)

Defined in LiveCoding.LiveProgram

Methods

mempty :: LiveProgram m

mappend :: LiveProgram m -> LiveProgram m -> LiveProgram m

mconcat :: [LiveProgram m] -> LiveProgram m

hoistLiveProgram :: (forall a. m1 a -> m2 a) -> LiveProgram m1 -> LiveProgram m2