You can search for identifiers within the package.
in-package search v0.2.0
Boolean signals
val false' : bool signal
false' is const false.
false'
const false
val true' : bool signal
true' is const true.
true'
const true
val not : bool signal -> bool signal
not s is map not s.
not s
map not s
val (&&) : bool signal -> bool signal -> bool signal
s0 && s1 is l2 ( && ) s1 s2.
s0 && s1
l2 ( && ) s1 s2
val (||) : bool signal -> bool signal -> bool signal
s0 || s1 is l2 ( || ) s1 s2.
s0 || s1
l2 ( || ) s1 s2
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.filter_map (function true -> Some b | false -> None) (edge s).
rise s
E.filter_map (function true -> Some b | false -> None) (edge s)
val fall : bool signal -> unit event
fall s is E.filter_map (function true -> None | None -> Some b) (edge s)
fall s
E.filter_map (function true -> None | None -> Some b) (edge s)
val flip : init:bool -> 'a event -> bool signal
flip ~init e is a signal whose boolean value flips each time e occurs. init provides the signal value at creation time.
flip ~init e
e
init
flip b e
= not b
= Some _
=
= None
not