Idris2Doc : Node.Event.Internal
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