unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-11-15 04:11:34 +03:00
Code Issues Projects Releases Wiki Activity

Readded transform and transitions functions

Browse Source
This commit is contained in:
Paul Chiusano 2015-03-23 16:18:55 -04:00
parent 626b7f40ce
commit 24092b8324
1 changed files with 15 additions and 13 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

28
editor/src/Elmz/Moore.elm
View File

@ -86,6 +86,21 @@ split = map (\b -> (b,b))
step : Moore i o -> i -> Maybe (Moore i o)
step (Moore _ k) = k
transform : Moore i o -> Signal i -> Signal o
transform m i =
let s i m = feed m i
in extract <~ foldp s m i
{-| Unlike `transform`, only emits events when the input transitions to a new state. -}
transitions : Moore i o -> Signal i -> Signal o
transitions m i =
let s i (m,_) = case step m i of
Nothing -> (m, False)
Just m2 -> (m2, True)
states = foldp s (m, True) i
changes = Signal.map snd states
in Signal.keepWhen changes (extract m) ((extract << fst) <~ states)
unit : o -> Moore i o
unit o = Moore o (always Nothing)
@ -118,17 +133,4 @@ bind (Moore same sb k) f = case sb of
Err s -> f s
Ok b -> Moore same b (\a -> bind (k a) f)
transform : Moore i o -> Signal i -> Signal o
transform m i =
let s i m = if steady m i then m else step m i
in extract <~ foldp s m i
{-| Unlike `transform`, only emits events when the input transitions to a new state. -}
transitions : Moore i o -> Signal i -> Signal o
transitions m i =
let s i (m,_) = if steady m i then (m,False) else (step m i,True)
states = foldp s (m,True) i
changes = Signal.map snd states
in Signal.keepWhen changes (extract m) ((extract << fst) <~ states)
-}