JS.Callback

Definitions

interface Callback : Type -> Type -> Type

  Interface for converting Idris functions to
  an external callback type.
  
  @cb  external callback type (for instance `EventListener`
  @fun Idris function type

Parameters: cb, fun
Methods:

callback : fun -> JSIO cb

callback : Callback cb fun => fun -> JSIO cb

Totality: total
Visibility: public export