Idris2Doc : Text.WebIDL.Encoder

Text.WebIDL.Encoder

(source)

Definitions

0Encoder : Type->Type
Totality: total
Visibility: public export
other : EncoderOther
Totality: total
Visibility: export
eaInner : EncoderEAInner
Totality: total
Visibility: export
extAttribute : EncoderExtAttribute
Totality: total
Visibility: export
attributes : EncoderExtAttributeList
Totality: total
Visibility: export
attributed : Encodera->Encoder (Attributeda)
Totality: total
Visibility: export
intType : EncoderIntType
Totality: total
Visibility: export
floatType : EncoderFloatType
Totality: total
Visibility: export
primitive : EncoderPrimitiveType
Totality: total
Visibility: export
constType : EncoderConstType
Totality: total
Visibility: export
idlType : EncoderIdlType
Totality: total
Visibility: export
unionMember : EncoderUnionMemberType
Totality: total
Visibility: export
union : EncoderUnionType
Totality: total
Visibility: export
distinguishable : EncoderDistinguishable
Totality: total
Visibility: export
constValue : EncoderConstValue
Totality: total
Visibility: export
defaultV : EncoderDefault
Totality: total
Visibility: export
argumentList : EncoderArgumentList
Totality: total
Visibility: export
const : EncoderConst
Totality: total
Visibility: export
special : EncoderSpecial
Totality: total
Visibility: export
op : Encodera->Encoder (Opa)
Totality: total
Visibility: export
regularOperation : EncoderRegularOperation
Totality: total
Visibility: export
specialOperation : EncoderSpecialOperation
Totality: total
Visibility: export
operation : EncoderOperation
Totality: total
Visibility: export
interfaceMember : EncoderInterfaceMember
Totality: total
Visibility: export
definition : EncoderDefinition
Totality: total
Visibility: export
part : EncoderPart
Totality: total
Visibility: export
partOrDef : EncoderPartOrDef
Totality: total
Visibility: export