Text.WebIDL.Codegen.Args

We need at least three different code generators for
WebIDL types and arguments. When used in the FFI, they should
be mapped to external types and primitives. In API functions,
however, they should be mapped to types convenient for
users of the API. Same for return types, but there, the rules
about what is possible are different.

Finally, types affect how we adjust values and return values
in function implementations.

Definitions

record PrettyArg : LayoutOpts -> Type

Totality: total
Visibility: public export
Constructor: 

MkPrettyArg : ArgumentName -> Doc opts -> PrettyArg opts

Projections:

.doc : PrettyArg opts -> Doc opts

.name : PrettyArg opts -> ArgumentName

.name : PrettyArg opts -> ArgumentName

Totality: total
Visibility: public export

name : PrettyArg opts -> ArgumentName

Totality: total
Visibility: public export

.doc : PrettyArg opts -> Doc opts

Totality: total
Visibility: public export

doc : PrettyArg opts -> Doc opts

Totality: total
Visibility: public export

argIdent : PrettyArg opts -> IdrisIdent

Totality: total
Visibility: export

0 PrettyArgs : LayoutOpts -> Type

Totality: total
Visibility: public export

ffi : Prec -> CGType -> Doc opts

Totality: total
Visibility: export

ret : Prec -> CGType -> Doc opts

Totality: total
Visibility: export

constTpe : CGConstType -> Doc opts

Totality: total
Visibility: export

prettyConst : ConstValue -> Doc opts

Totality: total
Visibility: export

deflt : Bool -> Prec -> CGType -> Default -> Maybe (Doc opts)

Totality: total
Visibility: export

callbackFFI : Identifier -> IdrisIdent -> String -> Args -> ReturnType -> String

Totality: total
Visibility: export

callbackAPI : Identifier -> IdrisIdent -> IdrisIdent -> Args -> ReturnType -> String

Totality: total
Visibility: export

funFFI : IdrisIdent -> String -> Args -> ReturnType -> String

Totality: total
Visibility: export

namespacedIdent : Kind -> IdrisIdent -> String

Totality: total
Visibility: export

fun : Kind -> IdrisIdent -> IdrisIdent -> Args -> ReturnType -> String

Totality: total
Visibility: export