Module

Signal

Package
purescript-zeta
Repository
athanclark/purescript-zeta

#constant Source

constant :: forall a eff. a -> Eff (ref :: REF | eff) (Signal (read :: READ, write :: WRITE) (ref :: REF | eff) a)

Alias for make

#map' Source

map' :: forall rw eff b a. (a -> b) -> Signal (read :: READ | rw) (ref :: REF | eff) a -> Eff (ref :: REF | eff) (Signal (read :: READ, write :: WRITE) (ref :: REF | eff) b)

Creates a new signal, relaying the next incoming values from the old to the new, after transformation.

#traverse' Source

traverse' :: forall rw eff b a. (a -> Eff (ref :: REF | eff) b) -> Signal (read :: READ | rw) (ref :: REF | eff) a -> Eff (ref :: REF | eff) (Signal (read :: READ, write :: WRITE) (ref :: REF | eff) b)

Same as map, but where each transformation might be effectful.

#ap' Source

ap' :: forall rw1 rw eff b a. Signal (read :: READ | rw) (ref :: REF | eff) (a -> b) -> Signal (read :: READ | rw1) (ref :: REF | eff) a -> Eff (ref :: REF | eff) (Signal (read :: READ, write :: WRITE) (ref :: REF | eff) b)

#bind' Source

bind' :: forall rw eff b a. (a -> Signal (read :: READ, write :: WRITE) (ref :: REF | eff) b) -> Signal (read :: READ | rw) (ref :: REF | eff) a -> Eff (ref :: REF | eff) (Signal (read :: READ, write :: WRITE) (ref :: REF | eff) b)

#merge Source

merge :: forall rw1 rw a eff. Signal (read :: READ | rw) (ref :: REF | eff) a -> Signal (read :: READ | rw1) (ref :: REF | eff) a -> Eff (ref :: REF | eff) (Signal (read :: READ, write :: WRITE) (ref :: REF | eff) a)

#foldp Source

foldp :: forall rw b a eff. (a -> b -> b) -> b -> Signal (read :: READ | rw) (ref :: REF | eff) a -> Eff (ref :: REF | eff) (Signal (read :: READ, write :: WRITE) (ref :: REF | eff) b)

#sampleOn Source

sampleOn :: forall rw1 rw b a eff. Signal (read :: READ | rw) (ref :: REF | eff) a -> Signal (read :: READ | rw1) (ref :: REF | eff) b -> Eff (ref :: REF | eff) (Signal (read :: READ, write :: WRITE) (ref :: REF | eff) b)

#dropRepeats Source

dropRepeats :: forall rw a eff. Eq a => Signal (read :: READ | rw) (ref :: REF | eff) a -> Eff (ref :: REF | eff) (Signal (read :: READ, write :: WRITE) (ref :: REF | eff) a)

#runSignal Source

runSignal :: forall rw eff. Signal (read :: READ | rw) (ref :: REF | eff) (Eff (ref :: REF | eff) Unit) -> Eff (ref :: REF | eff) Unit

#unwrap Source

unwrap :: forall rw a eff. Signal (read :: READ | rw) (ref :: REF | eff) (Eff (ref :: REF | eff) a) -> Eff (ref :: REF | eff) (Signal (read :: READ, write :: WRITE) (ref :: REF | eff) a)

#filter Source

filter :: forall rw a eff. (a -> Boolean) -> a -> Signal (read :: READ | rw) (ref :: REF | eff) a -> Eff (ref :: REF | eff) (Signal (read :: READ, write :: WRITE) (ref :: REF | eff) a)

#filterMap Source

filterMap :: forall rw b a eff. (a -> Maybe b) -> b -> Signal (read :: READ | rw) (ref :: REF | eff) a -> Eff (ref :: REF | eff) (Signal (read :: READ, write :: WRITE) (ref :: REF | eff) b)

#flattenArray Source

flattenArray :: forall rw a eff. Signal (read :: READ | rw) (immediate :: IMMEDIATE, ref :: REF | eff) (Array a) -> a -> Eff (immediate :: IMMEDIATE, ref :: REF | eff) (Signal (read :: READ, write :: WRITE) (immediate :: IMMEDIATE, ref :: REF | eff) a)

#flatten Source

flatten :: forall rw a f eff. Foldable f => Signal (read :: READ | rw) (immediate :: IMMEDIATE, ref :: REF | eff) (f a) -> a -> Eff (immediate :: IMMEDIATE, ref :: REF | eff) (Signal (read :: READ, write :: WRITE) (immediate :: IMMEDIATE, ref :: REF | eff) a)