Idris2Doc : Node.Event.Internal

Node.Event.Internal

(source)

Definitions

on0 : HasIO io => (a -> PrimIO () -> PrimIO ()) -> a -> IO () -> io ()
Visibility: export
on1 : HasIO io => (a -> (e -> PrimIO ()) -> PrimIO ()) -> a -> (e -> IO ()) -> io ()
Visibility: export
on2 : HasIO io => (a -> (b -> c -> PrimIO ()) -> PrimIO ()) -> a -> (b -> c -> IO ()) -> io ()
Visibility: export
nodeOn0 : String -> String
Visibility: public export
nodeOn1 : String -> String
Visibility: public export
nodeOn2 : String -> String
Visibility: public export