S.Bool
val zero : bool signal
val one : bool signal
val not : bool signal -> bool signal
val (&&) : bool signal -> bool signal -> bool signal
val (||) : bool signal -> bool signal -> bool signal
val edge : bool signal -> bool event
edge s is changes s.
edge s
changes s
val rise : bool signal -> unit event
rise s is E.fmap (fun b -> if b then Some () else None) (edge s).
rise s
E.fmap (fun b -> if b then Some () else None) (edge s)
val fall : bool signal -> unit event
fall s is E.fmap (fun b -> if b then None else Some ()) (edge s).
fall s
E.fmap (fun b -> if b then None else Some ()) (edge s)
val flip : bool -> 'a event -> bool signal
flip b e is a signal whose boolean value flips each time e occurs. b is the initial signal value.
flip b e
e
b
= not b
= Some _
= b
= None
=
not