package rizzo

  1. Overview
  2. Docs

Module Rizzo.TypesSource

type 'a delayOnce = 'a Internals.MainTypes.delayOnce
type 'a later = 'a Internals.MainTypes.later
type 'a channel = 'a Internals.MainTypes.channel
type 'a signal = 'a Internals.MainTypes.signal
type ('a, 'b) sync =
  1. | Fst of 'a
  2. | Snd of 'b
  3. | Both of 'a * 'b
val new_channel : unit -> 'a channel
val delay : (unit -> 'a) -> 'a delayOnce
val adv : 'a delayOnce -> 'a
val never : 'a later
val app : ('a -> 'b) delayOnce -> 'a later -> 'b later
val sync : 'a later -> 'b later -> ('a, 'b) sync later
val wait : 'a channel -> 'a later
val trig : 'a option signal -> 'a later
val tail : 'a signal -> 'a signal later
val ostar : ('a -> 'b) delayOnce -> 'a delayOnce -> 'b delayOnce
val fa : ('a -> 'b) -> 'a later -> 'b later
val (|>>) : ('a -> 'b) -> 'a later -> 'b later
val pp_later : Format.formatter -> 'a later -> unit