Idris2Doc : Web.Internal.WebidlPrim

Web.Internal.WebidlPrim

(source)

Definitions

prim__new : UndefOrString->UndefOrString->PrimIODOMException
prim__code : DOMException->PrimIOBits16
prim__message : DOMException->PrimIOString
prim__name : DOMException->PrimIOString
prim__toFunction : (IO (ArrayAnyPtr) ->IOAnyPtr) ->PrimIOFunction
prim__toVoidFunction : (() ->IO ()) ->PrimIOVoidFunction