Impulse.FRP

data Event :: Type -> Type

Instances

• Functor Event
• Apply Event
• Bind Event

timer :: Int -> Event Int

throttle :: forall a. Int -> Event a -> Event a

tagWithSkipPreR :: forall c r l. (l -> r -> c) -> Event l -> Event r -> Event c

tagWith :: forall c b a. (a -> b -> c) -> Event a -> Event b -> c -> Event c

reduce :: forall b a. (a -> b -> a) -> a -> Event b -> Event a

rebuildBy :: forall b a. (a -> Array b) -> Event a -> Event b

push :: forall a. a -> Event a -> Effect Unit

never :: forall a. Event a

mkEvent :: forall a. ((a -> Effect Unit) -> Effect (Effect Unit)) -> Event a

join :: forall a. Array (Event a) -> Event a

fmap :: forall b a. (a -> b) -> Event a -> Event b

flatMap :: forall b a. (a -> Event b) -> Event a -> Event b

filter :: forall a. (a -> Boolean) -> Event a -> Event a

dedup :: forall a. Eq a => Event a -> Event a

debounce :: forall a. Int -> Event a -> Event a

consume :: forall a. (a -> Effect Unit) -> Event a -> Effect (Effect Unit)

data SubRes :: Type -> Type

data Signal :: Type -> Type

data SigClass :: Type

type SigBuilder a = Reader SigClass (Signal a)

data SigBuild :: Type -> Type

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

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

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_subRes :: forall a. SubRes a -> a

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

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

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

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

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

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

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

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

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

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

s_const :: forall a. a -> SigBuilder a

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

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

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