Idris2Doc : IO.Async.Event

IO.Async.Event

(source)
Definitions
record Event : Type -> Type
  Totality: total
  Visibility: export
  Constructor: 
Ev : IORef (Maybe (a -> IO ())) -> IORef (Maybe a) -> Mutex -> Event a

  Projections:
  
.cb : Event a -> IORef (Maybe (a -> IO ()))
  
.lock : Event a -> Mutex
  
.ref : Event a -> IORef (Maybe a)
newEvent : HasIO io => io (Event a)
  Totality: total
  Visibility: export
listen : Event a -> (a -> IO ()) -> IO ()
  Totality: total
  Visibility: export
send : Event a -> b -> (b -> a) -> (a -> b -> a) -> IO ()
  Totality: total
  Visibility: export
onEvent : Event a -> Async es a
  Totality: total
  Visibility: export
0 Buffer : Type -> Type
  Totality: total
  Visibility: public export
buffer : Buffer a -> a -> IO ()
  Totality: total
  Visibility: export