Text.WebIDL.Types.Attribute

Definitions

isParenOrQuote : Char -> Bool

Totality: total
Visibility: public export

isCommaOrParenOrQuote : Char -> Bool

Totality: total
Visibility: public export

0 Other : Type

Totality: total
Visibility: public export

data EAInner : Type

  ExtendedAttributeInner ::

Totality: total
Visibility: public export
Constructors:

Nil : EAInner

    ε

(::) : Either EAInner Other -> EAInner -> EAInner

    ( ExtendedAttributeInner ) ExtendedAttributeInner
    [ ExtendedAttributeInner ] ExtendedAttributeInner
    { ExtendedAttributeInner } ExtendedAttributeInner

Hints:

Eq EAInner

Show EAInner

0 InnerOrOther : Type

Totality: total
Visibility: public export

innerAttribute : SnocList InnerOrOther -> EAInner -> EAInner

Totality: total
Visibility: public export

size : EAInner -> Nat

  Number of `Other`s.

Totality: total
Visibility: public export

leaves : EAInner -> Nat

  Number of `Other`s.

Totality: total
Visibility: public export

depth : EAInner -> Nat

  Number of `Other`s.

Totality: total
Visibility: public export

data ExtAttribute : Type

  ExtendedAttributeRest ::
    ExtendedAttribute
    ε
  
  ExtendedAttribute ::

Totality: total
Visibility: public export
Constructors:

Last : InnerOrOther -> ExtAttribute

  ( ExtendedAttributeInner ) ExtendedAttributeRest
  [ ExtendedAttributeInner ] ExtendedAttributeRest
  { ExtendedAttributeInner } ExtendedAttributeRest
  Other ExtendedAttributeRest

Cons : InnerOrOther -> ExtAttribute -> ExtAttribute

Hints:

Eq ExtAttribute

HasAttributes ExtAttribute

Show ExtAttribute

extAttribute : SnocList InnerOrOther -> ExtAttribute -> ExtAttribute

Totality: total
Visibility: public export

size : ExtAttribute -> Nat

  Number of `Other`s.

Totality: total
Visibility: public export

leaves : ExtAttribute -> Nat

  Number of leaves (unlike `size`, this includes empty leaves)

Totality: total
Visibility: public export

depth : ExtAttribute -> Nat

  Number of `Other`s.

Totality: total
Visibility: public export

ExtAttributeList : Type

  ExtendedAttributeList ::
    [ ExtendedAttribute ExtendedAttributes ]
    ε
  
  ExtendedAttributes ::
    , ExtendedAttribute ExtendedAttributes
    ε

Totality: total
Visibility: public export

Attributed : Type -> Type

  TypeWithExtendedAttributes ::
      ExtendedAttributeList Type

Totality: total
Visibility: public export

interface HasAttributes : Type -> Type

Parameters: a
Constructor: 

MkHasAttributes

Methods:

attributes : a -> ExtAttributeList

Implementations:

HasAttributes a => HasAttributes (ArgumentListF a b)

HasAttributes Maplike

HasAttributes ()

HasAttributes String

HasAttributes Identifier

HasAttributes Bool

HasAttributes FloatLit

HasAttributes IntLit

HasAttributes StringLit

(HasAttributes a, HasAttributes b) => HasAttributes (a, b)

HasAttributes ExtAttribute

HasAttributes a => HasAttributes (Maybe a)

HasAttributes a => HasAttributes (List a)

HasAttributes a => HasAttributes (List1 a)

NP HasAttributes ts => HasAttributes (NP I ts)

NP HasAttributes ts => HasAttributes (NS I ts)

POP HasAttributes ts => HasAttributes (SOP I ts)

HasAttributes a => HasAttributes (IdlTypeF a b)

attributes : HasAttributes a => a -> ExtAttributeList

Totality: total
Visibility: public export

generalAttrType : List Arg -> TTImp -> TTImp

  General type of a `attributes` function with the given list
  of implicit and auto-implicit arguments, plus the given argument type
  to be displayed.

Totality: total
Visibility: export

attrClaim : Name -> ParamTypeInfo -> Decl

  Top-level function declaration implementing the `attrbutes` function for
  the given data type.

Totality: total
Visibility: export

attrImplClaim : Name -> ParamTypeInfo -> Decl

  Top-level declaration of the `HasAttributes`
  implementation for the given data type.

Totality: total
Visibility: export

attrImplDef : Name -> Name -> Decl

  Top-level definition of the `Show` implementation for the given data type.

Totality: total
Visibility: export

attrClauses : List Name -> Name -> TypeInfo -> List Clause

Totality: total
Visibility: export

attrDef : List Name -> Name -> TypeInfo -> Decl

Totality: total
Visibility: export

HasAttributes : List Name -> ParamTypeInfo -> Res (List TopLevel)

  Generate declarations and implementations for `HasAttributes`
  for a given data type.

Totality: total
Visibility: export