Idris2Doc : System.UV.Loop

System.UV.Loop

(source)
Reexports
import public IO.Async
import public System.UV.Data.Error
import public System.UV.Data.RunMode
Definitions
record UVLoop : Type
  Totality: total
  Visibility: public export
  Constructor: 
MkLoop : Ptr Loop -> Ptr Async -> TokenGen -> CloseCB -> IORef (SnocList (IO ())) -> Nat -> UVLoop

  Projections:
  
.async : UVLoop -> Ptr Async
  
.cc : UVLoop -> CloseCB
  
.limit : UVLoop -> Nat
  
.loop : UVLoop -> Ptr Loop
  
.ref : UVLoop -> IORef (SnocList (IO ()))
  
.tg : UVLoop -> TokenGen

  Hints:
  
UVLoop => CloseCB
  
UVLoop => ExecutionContext
  
UVLoop => Resource File
.loop : UVLoop -> Ptr Loop
  Totality: total
  Visibility: public export
loop : UVLoop -> Ptr Loop
  Totality: total
  Visibility: public export
.async : UVLoop -> Ptr Async
  Totality: total
  Visibility: public export
async : UVLoop -> Ptr Async
  Totality: total
  Visibility: public export
.tg : UVLoop -> TokenGen
  Totality: total
  Visibility: public export
tg : UVLoop -> TokenGen
  Totality: total
  Visibility: public export
.cc : UVLoop -> CloseCB
  Totality: total
  Visibility: public export
cc : UVLoop -> CloseCB
  Totality: total
  Visibility: public export
.ref : UVLoop -> IORef (SnocList (IO ()))
  Totality: total
  Visibility: public export
ref : UVLoop -> IORef (SnocList (IO ()))
  Totality: total
  Visibility: public export
.limit : UVLoop -> Nat
  Totality: total
  Visibility: public export
limit : UVLoop -> Nat
  Totality: total
  Visibility: public export
loopCtxt : UVLoop => ExecutionContext
  Totality: total
  Visibility: export
loopCloseCB : UVLoop => CloseCB
  Totality: total
  Visibility: export
defaultLoop : IO UVLoop
  Returns the default loop, corresponding to `uv_default_loop`.

  Totality: total
  Visibility: export
uvCheck : Has UVError es => a -> Int32 -> Result es a
  Totality: total
  Visibility: export
uvRes : Has UVError es => Int32 -> Result es ()
  Totality: total
  Visibility: export
uv : Has UVError es => IO Int32 -> Async es ()
  Totality: total
  Visibility: export
uvAct : Has UVError es => Resource a => (a -> IO Int32) -> a -> Async es a
  Totality: total
  Visibility: export
uvCancelableAsync : Has UVError es => Async es r -> (r -> Async [] ()) -> (r -> Async [] ()) -> (r -> (a -> IO ()) -> IO Int32) -> Async es a
  Totality: total
  Visibility: export
uvAsync : Has UVError es => ((Outcome es a -> IO ()) -> IO Int32) -> Async es a
  Totality: total
  Visibility: export
runUV : (UVLoop => Async [] ()) -> IO ()
  Sets up the given application by registering it at the default loop
  and starting the loop afterwards.

  Visibility: export