Idris2Doc : Web.Internal.WebidlPrim

Web.Internal.WebidlPrim

(source)

Definitions

prim__new : UndefOr String -> UndefOr String -> PrimIO DOMException
prim__code : DOMException -> PrimIO Bits16
prim__message : DOMException -> PrimIO String
prim__name : DOMException -> PrimIO String
prim__toFunction : (IO (Array AnyPtr) -> IO AnyPtr) -> PrimIO Function
prim__toVoidFunction : (() -> IO ()) -> PrimIO VoidFunction