import public Data.String
import public Data.Vect
import public Text.PrettyPrint.Bernardy
import public Text.WebIDL.Codegen.Types
import public Text.WebIDL.TypesmapFirstChar : (Char -> Char) -> String -> StringsortedNubOn : Ord b => (a -> b) -> List a -> List amoduleName : String -> Stringunquote : String -> List ChartoDataConstructor : String -> StringGenerates a data constructor from a string literal.
This is used for enums, where some values are not
valid idris identifiers. Some necessary adjustments
are hardcoded here.
title : String -> Stringsection : String -> List String -> Stringnamespaced : Identifier -> List String -> StringfunctionTypeOnly : Doc opts -> List (Doc opts) -> Doc optsfunctionType : IdrisIdent -> String -> Doc opts -> List (Doc opts) -> Doc optstypeDecl : IdrisIdent -> Doc opts -> List (Doc opts) -> Doc optsprimSetter : Nat -> IdrisIdentsetter : Nat -> IdrisIdentprimGetter : Nat -> IdrisIdentgetter : Nat -> IdrisIdentprimAttrSetter : Nat -> AttributeName -> IdrisIdentattrSetter : Nat -> AttributeName -> IdrisIdentprimAttrGetter : Nat -> AttributeName -> IdrisIdentattrGetter : Nat -> AttributeName -> IdrisIdentprimOp : Nat -> OperationName -> IdrisIdentop : Nat -> OperationName -> IdrisIdentprimConstr : Nat -> IdrisIdentconstr : Nat -> IdrisIdentmarshallCallback : Identifier -> IdrisIdentprimMarshallCallback : Identifier -> IdrisIdentargNames : Stream StringunShadowingArgNames : IdrisIdent -> Stream StringattrGetFFI : AttributeName -> StringstaticAttrGetFFI : Kind -> AttributeName -> StringattrSetFFI : AttributeName -> StringstaticAttrSetFFI : Kind -> AttributeName -> StringfunFFI : OperationName -> Nat -> StringfunFFIVarArg : OperationName -> Nat -> StringstaticFunFFI : Kind -> OperationName -> Nat -> StringstaticFunFFIVarArg : Kind -> OperationName -> Nat -> StringconFFI : Kind -> Nat -> StringconFFIVarArg : Kind -> Nat -> StringdictConFFI : List ArgumentName -> StringgetterFFI : StringsetterFFI : StringcallbackFFI : Nat -> Stringrender80 : Doc (Opts 80) -> String