Safe Haskell	None
Language	GHC2021

Halogen.Subscription

Synopsis

data Subscribe (m :: Type -> Type) a = Subscribe {
- listener :: Listener m a
- emitter :: Emitter m a
}
create :: (MonadIO m, MonadUUID m) => m (Subscribe m a)
newtype Emitter (m :: Type -> Type) a = Emitter {
- registerHandler :: (a -> m ()) -> m (Subscription m)
}
hoistEmitter :: forall (m :: Type -> Type) a. MonadUnliftIO m => Emitter IO a -> Emitter m a
makeEmitter :: Functor m => ((a -> m ()) -> m (m ())) -> Emitter m a
newtype Listener (m :: Type -> Type) a = Listener {
- notify :: a -> m ()
}
notify :: Listener m a -> a -> m ()
newtype Subscription (m :: Type -> Type) = Subscription {
- unsubscribe :: m ()
}
hoistSubscription :: forall (m :: Type -> Type) (n :: Type -> Type). (m ~> n) -> Subscription m -> Subscription n
subscribe :: Functor m => Emitter m a -> (a -> m r) -> m (Subscription m)
unsubscribe :: Subscription m -> m ()
fold :: forall (m :: Type -> Type) a b. MonadIO m => (a -> b -> b) -> Emitter m a -> b -> Emitter m b
filter :: forall (m :: Type -> Type) a. Applicative m => (a -> Bool) -> Emitter m a -> Emitter m a

Documentation

A paired Listener and Emitter produced with the create function.

Constructors

Subscribe
Fields listener :: Listener m a emitter :: Emitter m a

newtype Emitter (m :: Type -> Type) a Source #

Constructors

Emitter
Fields registerHandler :: (a -> m ()) -> m (Subscription m)

Instances details

MonadIO m => Alternative (Emitter m) Source #
Instance details Defined in Halogen.Subscription Methods empty :: Emitter m a # (<\|>) :: Emitter m a -> Emitter m a -> Emitter m a # some :: Emitter m a -> Emitter m [a] # many :: Emitter m a -> Emitter m [a] #
MonadIO m => Applicative (Emitter m) Source #
Instance details Defined in Halogen.Subscription Methods pure :: a -> Emitter m a # (<>) :: Emitter m (a -> b) -> Emitter m a -> Emitter m b # liftA2 :: (a -> b -> c) -> Emitter m a -> Emitter m b -> Emitter m c # (>) :: Emitter m a -> Emitter m b -> Emitter m b # (<*) :: Emitter m a -> Emitter m b -> Emitter m a #
Functor (Emitter m) Source #
Instance details Defined in Halogen.Subscription Methods fmap :: (a -> b) -> Emitter m a -> Emitter m b # (<$) :: a -> Emitter m b -> Emitter m a #

makeEmitter :: Functor m => ((a -> m ()) -> m (m ())) -> Emitter m a Source #

newtype Listener (m :: Type -> Type) a Source #

Constructors

Listener
Fields notify :: a -> m ()

Instances details

Contravariant (Listener m) Source #
Instance details Defined in Halogen.Subscription Methods contramap :: (a' -> a) -> Listener m a -> Listener m a' # (>$) :: b -> Listener m b -> Listener m a #

notify :: Listener m a -> a -> m () Source #

Constructors

Subscription
Fields unsubscribe :: m ()

fold :: forall (m :: Type -> Type) a b. MonadIO m => (a -> b -> b) -> Emitter m a -> b -> Emitter m b Source #

filter :: forall (m :: Type -> Type) a. Applicative m => (a -> Bool) -> Emitter m a -> Emitter m a Source #