Pha.Update

delay :: forall model msg m. MonadAff m => Milliseconds -> Update model msg m 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.

newtype Milliseconds

A duration measured in milliseconds.

Constructors

• Milliseconds Number

Instances

• Newtype Milliseconds _
• Eq Milliseconds
• Ord Milliseconds
• Semigroup Milliseconds
• Monoid Milliseconds
• Show Milliseconds
• Duration Milliseconds

liftAff :: forall m. MonadAff m => Aff ~> m

liftEffect :: forall m a. MonadEffect m => Effect a -> m a

newtype Update :: Type -> Type -> (Type -> Type) -> Type -> Typenewtype Update model msg m a

Instances

• Functor (Update model msg m)
• Apply (Update model msg m)
• Applicative (Update model state m)
• Bind (Update model msg m)
• Monad (Update model msg m)
• MonadRec (Update model msg m)
• MonadState model (Update model msg m)
• MonadTrans (Update model msg)
• (MonadEffect m) => MonadEffect (Update model msg m)
• (MonadAff m) => MonadAff (Update model msg m)
• (MonadAsk r m) => MonadAsk r (Update model msg m)

newtype SubscriptionId

Instances

• Eq SubscriptionId
• Ord SubscriptionId

type Subscription msg = (msg -> Effect Unit) -> Effect (Effect Unit)

unsubscribe :: forall model msg m. SubscriptionId -> Update model msg m Unit

subscribe :: forall model msg m. Subscription msg -> Update model msg m SubscriptionId

mapModel :: forall model model' msg m. Lens' model model' -> (Update model' msg m) ~> (Update model msg m)

mapMessage :: forall model msg msg' m. (msg -> msg') -> (Update model msg m) ~> (Update model msg' m)

hoist :: forall model msg m m'. (m ~> m') -> (Update model msg m) ~> (Update model msg m')