Pha.Update

data UpdateF state a

Constructors

• State (state -> Tuple a state)
• Lift (Aff a)

Instances

• Functor (UpdateF state)

newtype Update state a

Constructors

• Update (Free (UpdateF state) a)

Instances

• Functor (Update state)
• Apply (Update state)
• Applicative (Update state)
• Bind (Update state)
• Monad (Update state)
• MonadRec (Update state)
• MonadState state (Update state)
• MonadEffect (Update state)
• MonadAff (Update state)

type Update' state = Update state Unit

delay :: forall state. Milliseconds -> Update state Unit

put :: forall m s. MonadState s m => s -> m Unit

Set the state.

modify_ :: forall s m. MonadState s m => (s -> s) -> m Unit

modify :: forall s m. MonadState s m => (s -> s) -> m s

Modify the state by applying a function to the current state. The returned value is the new state value.

gets :: forall s m a. MonadState s m => (s -> a) -> m a

Get a value which depends on the current state.

get :: forall m s. MonadState s m => m s

Get the current state.