Impulse.FRP.Signal

s_from :: forall a. Event a -> a -> SigBuilder a

s_fmap :: forall b a. (a -> b) -> Signal a -> SigBuilder b

s_const :: forall a. a -> SigBuilder a

s_zipWith :: forall c b a. (a -> b -> c) -> Signal a -> Signal b -> SigBuilder c

s_flatten :: forall a. Signal (Signal a) -> SigBuilder a

s_dedup :: forall a. Eq a => Signal a -> SigBuilder a

s_build :: forall a. SigBuilder a -> SigBuild a

s_destroy :: forall a. Signal a -> Effect Unit

s_subRes :: forall a. SubRes a -> a

s_unsub :: forall a. SubRes a -> Effect Unit

s_sub :: forall b a. (a -> Effect b) -> Signal a -> Effect (SubRes b)

s_inst :: forall a. Signal a -> Effect a

s_changed :: forall a. Signal a -> Event a

s_tagWith :: forall c b a. (a -> b -> c) -> Event a -> Signal b -> Event c

s_tag :: forall b a. Event a -> Signal b -> Event b

s_reduce :: forall a. (a -> a -> a) -> Signal a -> SigBuilder a

s_reduce_e :: forall b a. (a -> b -> a) -> a -> Event b -> SigBuilder a

s_reduce_s :: forall b a. (a -> b -> a) -> a -> Signal b -> SigBuilder a

data Signal :: Type -> Type

data SigClass :: Type

data SigBuild :: Type -> Type

type SigBuilder a = Reader SigClass (Signal a)

data SubRes :: Type -> Type

eff_sigBuilder :: forall a. SigBuilder a -> Effect { destroy :: Effect Unit, signal :: Signal a }