Jelly.Signal

data Channel t0

Channel is a type that represents value input.

newtype Signal a

Signal is a type that represents value output.

Instances

• Functor Signal
• Apply Signal
• Applicative Signal
• Bind Signal
• Monad Signal
• (Semigroup a) => Semigroup (Signal a)
• (Monoid a) => Monoid (Signal a)

ifSignal :: forall a. Signal Boolean -> a -> a -> Signal a

Use conditional Signal.

memoSignal :: forall m a. MonadEffect m => Signal (Effect (Tuple a (Effect Unit))) -> m (Tuple (Signal a) (Effect Unit))

Memorize effective Signal value to another Signal.

modifyChannel :: forall m a. MonadEffect m => Channel a -> (a -> a) -> m a

Modify value in Channel, and return new value.

modifyChannel_ :: forall m a. MonadEffect m => Channel a -> (a -> a) -> m Unit

Void version of modifyChannel.

newChannel :: forall m a. MonadEffect m => a -> m (Channel a)

Make new Channel.

newState :: forall m a. MonadEffect m => a -> m (Tuple (Signal a) (Channel a))

Make pair of Signal and Channel.

readChannel :: forall a. Channel a -> Effect a

readSignal :: forall m a. MonadEffect m => Signal a -> m a

Read Signal value.

runSignal :: forall m. MonadEffect m => Signal (Effect (Effect Unit)) -> m (Effect Unit)

Run Effective Signal.

subscribe :: forall a. Channel a -> Signal a

Subscribe to Channel and make Signal.

watchSignal :: forall m. MonadEffect m => Signal (Effect (Effect Unit)) -> m (Effect Unit)

Run Signal without initialization.

writeChannel :: forall m a. MonadEffect m => Channel a -> a -> m Unit

Write value to Channel.