Halogen.Query.HalogenM

data HalogenF s (f :: Type -> Type) g p o m a

The Halogen component algebra

Constructors

• State (s -> Tuple a s)
• Subscribe (EventSource f m) a
• Lift (m a)
• Halt String
• GetSlots (List p -> a)
• CheckSlot p (Boolean -> a)
• ChildQuery p (Coyoneda g a)
• Raise o a
• Par (HalogenAp s f g p o m a)
• Fork (Fork (HalogenM s f g p o m) a)
• GetRef RefLabel (Maybe Foreign -> a)

Instances

• (Functor m) => Functor (HalogenF s f g p o m)

newtype HalogenAp s f g p o m a

Constructors

• HalogenAp (FreeAp (HalogenM s f g p o m) a)

Instances

• Newtype (HalogenAp s f g p o m a) _
• Functor (HalogenAp s f g p o m)
• Apply (HalogenAp s f g p o m)
• Applicative (HalogenAp s f g p o m)
• Parallel (HalogenAp s f g p o m) (HalogenM s f g p o m)

newtype HalogenM s (f :: Type -> Type) g p o m a

Constructors

• HalogenM (Free (HalogenF s f g p o m) a)

Instances

• Functor (HalogenM s f g p o m)
• Apply (HalogenM s f g p o m)
• Applicative (HalogenM s f g p o m)
• Bind (HalogenM s f g p o m)
• Monad (HalogenM s f g p o m)
• (MonadEff eff m) => MonadEff eff (HalogenM s f g p o m)
• (MonadAff eff m) => MonadAff eff (HalogenM s f g p o m)
• Parallel (HalogenAp s f g p o m) (HalogenM s f g p o m)
• MonadTrans (HalogenM s f g p o)
• MonadRec (HalogenM s f g p o m)
• MonadState s (HalogenM s f g p o m)
• (MonadAsk r m) => MonadAsk r (HalogenM s f g p o m)
• (MonadTell w m) => MonadTell w (HalogenM s f g p o m)

halt :: forall a m o p g f s. String -> HalogenM s f g p o m a

mkQuery :: forall a m o p g f s. Eq p => p -> g a -> HalogenM s f g p o m a

getSlots :: forall m o p g f s. HalogenM s f g p o m (List p)

checkSlot :: forall m o p g f s. p -> HalogenM s f g p o m Boolean

getRef :: forall m o p g f s. RefLabel -> HalogenM s f g p o m (Maybe Foreign)

subscribe :: forall m o p g f s. EventSource f m -> HalogenM s f g p o m Unit

Provides a way of having a component subscribe to an EventSource from within an Eval function.

raise :: forall m o p g f s. o -> HalogenM s f g p o m Unit

Raises an output message for the component.

fork :: forall a eff m o p g f s. MonadAff eff m => HalogenM s f g p o m a -> HalogenM s f g p o m (Error -> m Unit)

imapState :: forall m o p g f s' s. (s -> s') -> (s' -> s) -> (HalogenM s f g p o m) ~> (HalogenM s' f g p o m)

mapQuery :: forall m o p g f' f s. Functor m => (f ~> f') -> (HalogenM s f g p o m) ~> (HalogenM s f' g p o m)

mapChildQuery :: forall m o p g' g f s. (g ~> g') -> (HalogenM s f g p o m) ~> (HalogenM s f g' p o m)

imapSlots :: forall m o p' p g f s. (p -> p') -> (p' -> p) -> (HalogenM s f g p o m) ~> (HalogenM s f g p' o m)

mapOutput :: forall m o' o p g f s. (o -> o') -> (HalogenM s f g p o m) ~> (HalogenM s f g p o' m)

hoist :: forall m' m o p g f s. Functor m' => (m ~> m') -> (HalogenM s f g p o m) ~> (HalogenM s f g p o m')