Idris2Doc : System.UV.Raw.Loop
Reexports
import public System.UV.Data.RunModeDefinitions
uv_default_loop : HasIO io => io (Ptr Loop)- Totality: total
Visibility: export uv_run : HasIO io => Ptr Loop -> Bits32 -> io Int32- Visibility: export
uv_loop_init : HasIO io => Ptr Loop -> io Int32- Visibility: export
uv_loop_close : HasIO io => Ptr Loop -> io Int32- Totality: total
Visibility: export uv_stop : HasIO io => Ptr Loop -> io ()- Totality: total
Visibility: export uv_loop_alive : HasIO io => Ptr Loop -> io Bool- Totality: total
Visibility: export