Pha.Update.Internal

newtype SubscriptionId

Constructors

• SubscriptionId Int

Instances

• Eq SubscriptionId
• Ord SubscriptionId

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

data UpdateF :: Type -> Type -> (Type -> Type) -> Type -> Typedata UpdateF model msg m a

Constructors

• State (model -> Tuple a model)
• Lift (m a)
• Subscribe ((msg -> Effect Unit) -> Effect (Effect Unit)) (SubscriptionId -> a)
• Unsubscribe SubscriptionId a

Instances

• (Functor m) => Functor (UpdateF model msg m)

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

Constructors

• Update (Free (UpdateF 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)

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

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

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

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

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