Text.WebIDL.Types.Argument

Definitions

data ConstValue : Type

  ConstValue ::
      BooleanLiteral
      FloatLiteral
      integer
  
  BooleanLiteral ::
      true
      false

Totality: total
Visibility: public export
Constructors:

B : Bool -> ConstValue

F : FloatLit -> ConstValue

I : IntLit -> ConstValue

Hints:

Eq ConstValue

HasAttributes ConstValue

Show ConstValue

data Default : Type

  Default ::
      = DefaultValue
      ε
  
  (part of Default)] DefaultValue ::
      ConstValue
      string
      [ ]
      { }
      null

Totality: total
Visibility: public export
Constructors:

None : Default

EmptyList : Default

EmptySet : Default

Null : Default

S : StringLit -> Default

C : ConstValue -> Default

Hints:

Eq Default

HasAttributes Default

Show Default

record ArgumentName : Type

  ArgumentName ::
      ArgumentNameKeyword
      identifier

Totality: total
Visibility: public export
Constructor: 

MkArgName : String -> ArgumentName

Projection: 

.value : ArgumentName -> String

Hints:

Eq ArgumentName

HasAttributes ArgumentName

Show ArgumentName

.value : ArgumentName -> String

Visibility: public export

value : ArgumentName -> String

Visibility: public export

record ArgF : Type -> Type -> Type

Totality: total
Visibility: public export
Constructor: 

MkArg : a -> IdlTypeF a b -> ArgumentName -> ArgF a b

Projections:

.attrs : ArgF a b -> a

.name : ArgF a b -> ArgumentName

.type : ArgF a b -> IdlTypeF a b

Hints:

Bifoldable ArgF

Bifunctor ArgF

Bitraversable ArgF

Eq a => Eq b => Eq (ArgF a b)

Foldable (ArgF a)

Functor (ArgF a)

Show a => Show b => Show (ArgF a b)

Traversable (ArgF a)

.attrs : ArgF a b -> a

Visibility: public export

attrs : ArgF a b -> a

Visibility: public export

.type : ArgF a b -> IdlTypeF a b

Visibility: public export

type : ArgF a b -> IdlTypeF a b

Visibility: public export

.name : ArgF a b -> ArgumentName

Visibility: public export

name : ArgF a b -> ArgumentName

Visibility: public export

Arg : Type

Visibility: public export

record OptArgF : Type -> Type -> Type

Totality: total
Visibility: public export
Constructor: 

MkOptArg : a -> a -> IdlTypeF a b -> ArgumentName -> Default -> OptArgF a b

Projections:

.attrs : OptArgF a b -> a

.def : OptArgF a b -> Default

.name : OptArgF a b -> ArgumentName

.type : OptArgF a b -> IdlTypeF a b

.typeAttrs : OptArgF a b -> a

Hints:

Bifoldable OptArgF

Bifunctor OptArgF

Bitraversable OptArgF

Eq a => Eq b => Eq (OptArgF a b)

Foldable (OptArgF a)

Functor (OptArgF a)

Show a => Show b => Show (OptArgF a b)

Traversable (OptArgF a)

.attrs : OptArgF a b -> a

Visibility: public export

attrs : OptArgF a b -> a

Visibility: public export

.typeAttrs : OptArgF a b -> a

Visibility: public export

typeAttrs : OptArgF a b -> a

Visibility: public export

.type : OptArgF a b -> IdlTypeF a b

Visibility: public export

type : OptArgF a b -> IdlTypeF a b

Visibility: public export

.name : OptArgF a b -> ArgumentName

Visibility: public export

name : OptArgF a b -> ArgumentName

Visibility: public export

.def : OptArgF a b -> Default

Visibility: public export

def : OptArgF a b -> Default

Visibility: public export

OptArg : Type

Visibility: public export

data ArgumentListF : Type -> Type -> Type

  ArgumentList ::
      Argument Arguments
      ε
  
  Arguments ::
      , Argument Arguments
      ε
  
  Argument ::
      ExtendedAttributeList ArgumentRest
  
  Ellipsis ::
      ...
      ε
  ArgumentRest ::
      optional TypeWithExtendedAttributes ArgumentName Default
      Type Ellipsis ArgumentName

Totality: total
Visibility: public export
Constructors:

VarArg : List (ArgF a b) -> ArgF a b -> ArgumentListF a b

NoVarArg : List (ArgF a b) -> List (OptArgF a b) -> ArgumentListF a b

Hints:

Bifoldable ArgumentListF

Bifunctor ArgumentListF

Bitraversable ArgumentListF

Eq a => Eq b => Eq (ArgumentListF a b)

Foldable (ArgumentListF a)

Functor (ArgumentListF a)

HasAttributes a => HasAttributes (ArgumentListF a b)

Show a => Show b => Show (ArgumentListF a b)

Traversable (ArgumentListF a)

ArgumentList : Type

Visibility: public export