Idris2Doc : Node.Event.Internal

Node.Event.Internal

(source)

Definitions

on0 : HasIOio=> (a->PrimIO () ->PrimIO ()) ->a->IO () ->io ()
Visibility: export
on1 : HasIOio=> (a-> (e->PrimIO ()) ->PrimIO ()) ->a-> (e->IO ()) ->io ()
Visibility: export
on2 : HasIOio=> (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