Text.WebIDL.Types.Type

Definitions

data BufferRelatedType : Type

  BufferRelatedType ::
      ArrayBuffer
      DataView
      Int8Array
      Int16Array
      Int32Array
      Uint8Array
      Uint16Array
      Uint32Array
      Uint8ClampedArray
      Float32Array
      Float64Array

Totality: total
Visibility: public export
Constructors:

ArrayBuffer : BufferRelatedType

DataView : BufferRelatedType

Int8Array : BufferRelatedType

Int16Array : BufferRelatedType

Int32Array : BufferRelatedType

Uint8Array : BufferRelatedType

Uint16Array : BufferRelatedType

Uint32Array : BufferRelatedType

Uint8ClampedArray : BufferRelatedType

Float32Array : BufferRelatedType

Float64Array : BufferRelatedType

Hints:

Eq BufferRelatedType

HasAttributes BufferRelatedType

Show BufferRelatedType

data StringType : Type

  StringType ::
      ByteString
      DOMString
      USVString

Totality: total
Visibility: public export
Constructors:

ByteString : StringType

DOMString : StringType

USVString : StringType

Hints:

Eq StringType

HasAttributes StringType

Show StringType

data IntType : Type

Totality: total
Visibility: public export
Constructors:

Short : IntType

Long : IntType

LongLong : IntType

Hints:

Eq IntType

HasAttributes IntType

Show IntType

data FloatType : Type

Totality: total
Visibility: public export
Constructors:

Float : FloatType

Dbl : FloatType

Hints:

Eq FloatType

HasAttributes FloatType

Show FloatType

data PrimitiveType : Type

  PrimitiveType ::
      UnsignedIntegerType
      UnrestrictedFloatType
      undefined
      boolean
      byte
      octet
      bigint
  UnrestrictedFloatType ::
      unrestricted FloatType
      FloatType
  
  FloatType ::
      float
      double
  
  UnsignedIntegerType ::
      unsigned IntegerType
      IntegerType
  
  IntegerType ::
      short
      long OptionalLong
  
  OptionalLong ::
      long
      ε

Totality: total
Visibility: public export
Constructors:

Unsigned : IntType -> PrimitiveType

Signed : IntType -> PrimitiveType

Unrestricted : FloatType -> PrimitiveType

Restricted : FloatType -> PrimitiveType

Undefined : PrimitiveType

Boolean : PrimitiveType

Byte : PrimitiveType

Octet : PrimitiveType

BigInt : PrimitiveType

Hints:

Eq PrimitiveType

HasAttributes PrimitiveType

Show PrimitiveType

data ConstTypeF : Type -> Type

Totality: total
Visibility: public export
Constructors:

CP : PrimitiveType -> ConstTypeF a

CI : a -> ConstTypeF a

Hints:

Eq {arg:15729} => Eq (ConstTypeF {arg:15729})

Foldable ConstTypeF

Functor ConstTypeF

HasAttributes {arg:15729} => HasAttributes (ConstTypeF {arg:15729})

Show {arg:15729} => Show (ConstTypeF {arg:15729})

Traversable ConstTypeF

data Nullable : Type -> Type

  Null ::
      ?
      ε

Totality: total
Visibility: public export
Constructors:

MaybeNull : a -> Nullable a

NotNull : a -> Nullable a

Hints:

Eq {arg:15963} => Eq (Nullable {arg:15963})

Foldable Nullable

Functor Nullable

HasAttributes {arg:15963} => HasAttributes (Nullable {arg:15963})

Show {arg:15963} => Show (Nullable {arg:15963})

Traversable Nullable

val : Nullable a -> a

Visibility: public export

zipWith : (a -> b -> c) -> Nullable a -> Nullable b -> Nullable c

Visibility: public export

nullVal : Nullable a -> a

Visibility: export

nullable : Nullable a -> Nullable a

Visibility: export

notNullable : Nullable a -> Nullable a

Visibility: export

isNullable : Nullable a -> Bool

Visibility: export

data IdlTypeF : Type -> Type -> Type

  Type ::
      SingleType
      UnionType Null
  
  SingleType ::
      DistinguishableType
      any
      PromiseType
  
  PromiseType ::
      Promise < Type >

Totality: total
Visibility: public export
Constructors:

Any : IdlTypeF a b

D : Nullable (DistinguishableF a b) -> IdlTypeF a b

U : Nullable (UnionTypeF a b) -> IdlTypeF a b

Promise : IdlTypeF a b -> IdlTypeF a b

Hints:

Bifoldable IdlTypeF

Bifunctor IdlTypeF

Bitraversable IdlTypeF

Eq a => Eq b => Eq (IdlTypeF a b)

Foldable (IdlTypeF a)

Functor (IdlTypeF a)

HasAttributes a => HasAttributes (IdlTypeF a b)

Show a => Show b => Show (IdlTypeF a b)

Traversable (IdlTypeF a)

record UnionTypeF : Type -> Type -> Type

  UnionType ::
      ( UnionMemberType or UnionMemberType UnionMemberTypes )
  
  UnionMemberTypes ::
      or UnionMemberType UnionMemberTypes
      ε

Totality: total
Visibility: public export
Constructor: 

UT : UnionMemberTypeF a b -> UnionMemberTypeF a b -> List (UnionMemberTypeF a b) -> UnionTypeF a b

Projections:

.fst : UnionTypeF a b -> UnionMemberTypeF a b

.rest : UnionTypeF a b -> List (UnionMemberTypeF a b)

.snd : UnionTypeF a b -> UnionMemberTypeF a b

Hints:

Bifoldable UnionTypeF

Bifunctor UnionTypeF

Bitraversable UnionTypeF

Eq a => Eq b => Eq (UnionTypeF a b)

Foldable (UnionTypeF a)

Functor (UnionTypeF a)

Show a => Show b => Show (UnionTypeF a b)

Traversable (UnionTypeF a)

.fst : UnionTypeF a b -> UnionMemberTypeF a b

Visibility: public export

fst : UnionTypeF a b -> UnionMemberTypeF a b

Visibility: public export

.snd : UnionTypeF a b -> UnionMemberTypeF a b

Visibility: public export

snd : UnionTypeF a b -> UnionMemberTypeF a b

Visibility: public export

.rest : UnionTypeF a b -> List (UnionMemberTypeF a b)

Visibility: public export

rest : UnionTypeF a b -> List (UnionMemberTypeF a b)

Visibility: public export

record UnionMemberTypeF : Type -> Type -> Type

  UnionMemberType ::
      ExtendedAttributeList DistinguishableType
      UnionType Null

Totality: total
Visibility: public export
Constructor: 

MkUnionMember : a -> DistinguishableF a b -> UnionMemberTypeF a b

Projections:

.attr : UnionMemberTypeF a b -> a

.type : UnionMemberTypeF a b -> DistinguishableF a b

Hints:

Bifoldable UnionMemberTypeF

Bifunctor UnionMemberTypeF

Bitraversable UnionMemberTypeF

Eq a => Eq b => Eq (UnionMemberTypeF a b)

Foldable (UnionMemberTypeF a)

Functor (UnionMemberTypeF a)

Show a => Show b => Show (UnionMemberTypeF a b)

Traversable (UnionMemberTypeF a)

.attr : UnionMemberTypeF a b -> a

Visibility: public export

attr : UnionMemberTypeF a b -> a

Visibility: public export

.type : UnionMemberTypeF a b -> DistinguishableF a b

Visibility: public export

type : UnionMemberTypeF a b -> DistinguishableF a b

Visibility: public export

data DistinguishableF : Type -> Type -> Type

  DistinguishableType ::
      PrimitiveType Null
      StringType Null
      identifier Null
      sequence < TypeWithExtendedAttributes > Null
      object Null
      symbol Null
      BufferRelatedType Null
      FrozenArray < TypeWithExtendedAttributes > Null
      ObservableArray < TypeWithExtendedAttributes > Null
      RecordType Null
  
  RecordType ::
      record < StringType , TypeWithExtendedAttributes >

Totality: total
Visibility: public export
Constructors:

P : PrimitiveType -> DistinguishableF a b

S : StringType -> DistinguishableF a b

I : b -> DistinguishableF a b

B : BufferRelatedType -> DistinguishableF a b

Sequence : a -> IdlTypeF a b -> DistinguishableF a b

FrozenArray : a -> IdlTypeF a b -> DistinguishableF a b

ObservableArray : a -> IdlTypeF a b -> DistinguishableF a b

Record : StringType -> a -> IdlTypeF a b -> DistinguishableF a b

Object : DistinguishableF a b

Symbol : DistinguishableF a b

Hints:

Bifoldable DistinguishableF

Bifunctor DistinguishableF

Bitraversable DistinguishableF

Eq b => Eq a => Eq (DistinguishableF a b)

Foldable (DistinguishableF a)

Functor (DistinguishableF a)

Show b => Show a => Show (DistinguishableF a b)

Traversable (DistinguishableF a)

IdlType : Type

Visibility: public export

UnionType : Type

Visibility: public export

UnionMemberType : Type

Visibility: public export

Distinguishable : Type

Visibility: public export

ConstType : Type

Visibility: public export

0 OptionalType : Type

  OptionalType ::
      , TypeWithExtendedAttributes
      ε

Visibility: public export

identToType : b -> IdlTypeF a b

  Wraps and `Indentifier` as a non-nullable type.

Visibility: export

undefined : IdlTypeF a b

  The `Undefined` type

Visibility: export

isUndefined : IdlTypeF a b -> Bool

Visibility: export

domString : IdlTypeF a b

Visibility: export

ulong : IdlTypeF a b

Visibility: export

isIndex : IdlTypeF a b -> Bool

Visibility: export