Language.WebIDL.AST

Documentation

data Definition a

Definition

Constructors

DefInterface (Interface a)

DefPartial (Partial a)

DefDictionary (Dictionary a)

DefException (Exception a)

DefEnum (Enum a)

DefTypedef (Typedef a)

DefImplementsStatement (ImplementsStatement a)

Instances

Eq a => Eq (Definition a)

Methods

(==) :: Definition a -> Definition a -> Bool

(/=) :: Definition a -> Definition a -> Bool

Show a => Show (Definition a)

Methods

showsPrec :: Int -> Definition a -> ShowS

show :: Definition a -> String

showList :: [Definition a] -> ShowS

data Interface a

interface

Constructors

Interface a Ident (Maybe Ident) [InterfaceMember a]

Instances

Eq a => Eq (Interface a)

Methods

(==) :: Interface a -> Interface a -> Bool

(/=) :: Interface a -> Interface a -> Bool

Show a => Show (Interface a)

Methods

showsPrec :: Int -> Interface a -> ShowS

show :: Interface a -> String

showList :: [Interface a] -> ShowS

data Partial a

Partial Definition

Constructors

PartialInterface a Ident [InterfaceMember a]

PartialDictionary a Ident [DictionaryMember a]

Instances

Eq a => Eq (Partial a)

Methods

(==) :: Partial a -> Partial a -> Bool

(/=) :: Partial a -> Partial a -> Bool

Show a => Show (Partial a)

Methods

showsPrec :: Int -> Partial a -> ShowS

show :: Partial a -> String

showList :: [Partial a] -> ShowS

data Dictionary a

dictionary

Constructors

Dictionary a Ident (Maybe Ident) [DictionaryMember a]

Instances

Eq a => Eq (Dictionary a)

Methods

(==) :: Dictionary a -> Dictionary a -> Bool

(/=) :: Dictionary a -> Dictionary a -> Bool

Show a => Show (Dictionary a)

Methods

showsPrec :: Int -> Dictionary a -> ShowS

show :: Dictionary a -> String

showList :: [Dictionary a] -> ShowS

data Exception a

exception

Constructors

Exception a Ident (Maybe Ident) [ExceptionMember a]

Instances

Eq a => Eq (Exception a)

Methods

(==) :: Exception a -> Exception a -> Bool

(/=) :: Exception a -> Exception a -> Bool

Show a => Show (Exception a)

Methods

showsPrec :: Int -> Exception a -> ShowS

show :: Exception a -> String

showList :: [Exception a] -> ShowS

data Enum a

enum

Constructors

Enum a Ident [EnumValue]

Instances

Eq a => Eq (Enum a)

Methods

(==) :: Enum a -> Enum a -> Bool

(/=) :: Enum a -> Enum a -> Bool

Show a => Show (Enum a)

Methods

showsPrec :: Int -> Enum a -> ShowS

show :: Enum a -> String

showList :: [Enum a] -> ShowS

data Typedef a

typedef

Constructors

Typedef a Type Ident

Instances

Eq a => Eq (Typedef a)

Methods

(==) :: Typedef a -> Typedef a -> Bool

(/=) :: Typedef a -> Typedef a -> Bool

Show a => Show (Typedef a)

Methods

showsPrec :: Int -> Typedef a -> ShowS

show :: Typedef a -> String

showList :: [Typedef a] -> ShowS

data ImplementsStatement a

implements statement

Constructors

ImplementsStatement a Ident Ident

Instances

Eq a => Eq (ImplementsStatement a)

Methods

(==) :: ImplementsStatement a -> ImplementsStatement a -> Bool

(/=) :: ImplementsStatement a -> ImplementsStatement a -> Bool

Show a => Show (ImplementsStatement a)

Methods

showsPrec :: Int -> ImplementsStatement a -> ShowS

show :: ImplementsStatement a -> String

showList :: [ImplementsStatement a] -> ShowS

data InterfaceMember a

Member of interface definition

Constructors

IMemConst (Const a)

IMemAttribute (Attribute a)

IMemOperation (Operation a)

Instances

Eq a => Eq (InterfaceMember a)

Methods

(==) :: InterfaceMember a -> InterfaceMember a -> Bool

(/=) :: InterfaceMember a -> InterfaceMember a -> Bool

Show a => Show (InterfaceMember a)

Methods

showsPrec :: Int -> InterfaceMember a -> ShowS

show :: InterfaceMember a -> String

showList :: [InterfaceMember a] -> ShowS

data DictionaryMember a

Member of dictionary

Constructors

DictionaryMember a Type Ident (Maybe Default)

Instances

Eq a => Eq (DictionaryMember a)

Methods

(==) :: DictionaryMember a -> DictionaryMember a -> Bool

(/=) :: DictionaryMember a -> DictionaryMember a -> Bool

Show a => Show (DictionaryMember a)

Methods

showsPrec :: Int -> DictionaryMember a -> ShowS

show :: DictionaryMember a -> String

showList :: [DictionaryMember a] -> ShowS

data ExceptionMember a

Member of exception definition

Constructors

ExConst a (Const a)

ExField a Type Ident

Instances

Eq a => Eq (ExceptionMember a)

Methods

(==) :: ExceptionMember a -> ExceptionMember a -> Bool

(/=) :: ExceptionMember a -> ExceptionMember a -> Bool

Show a => Show (ExceptionMember a)

Methods

showsPrec :: Int -> ExceptionMember a -> ShowS

show :: ExceptionMember a -> String

showList :: [ExceptionMember a] -> ShowS

data Attribute a

Attribute member of interface

Constructors

Attribute a (Maybe Inherit) (Maybe ReadOnly) Type Ident

Instances

Eq a => Eq (Attribute a)

Methods

(==) :: Attribute a -> Attribute a -> Bool

(/=) :: Attribute a -> Attribute a -> Bool

Show a => Show (Attribute a)

Methods

showsPrec :: Int -> Attribute a -> ShowS

show :: Attribute a -> String

showList :: [Attribute a] -> ShowS

data Operation a

Operation member of interface

Constructors

Operation a (Maybe Qualifier) ReturnType (Maybe Ident) [Argument]

Instances

Eq a => Eq (Operation a)

Methods

(==) :: Operation a -> Operation a -> Bool

(/=) :: Operation a -> Operation a -> Bool

Show a => Show (Operation a)

Methods

showsPrec :: Int -> Operation a -> ShowS

show :: Operation a -> String

showList :: [Operation a] -> ShowS

data Argument

Argument of operation signature

Constructors

ArgOptional Type ArgumentName Default

ArgNonOpt Type (Maybe Ellipsis) ArgumentName

Instances

Eq Argument

Methods

(==) :: Argument -> Argument -> Bool

(/=) :: Argument -> Argument -> Bool

Show Argument

Methods

showsPrec :: Int -> Argument -> ShowS

show :: Argument -> String

showList :: [Argument] -> ShowS

newtype EnumValue

Value of a enum

Constructors

EnumValue String

Instances

Eq EnumValue

Methods

(==) :: EnumValue -> EnumValue -> Bool

(/=) :: EnumValue -> EnumValue -> Bool

Show EnumValue

Methods

showsPrec :: Int -> EnumValue -> ShowS

show :: EnumValue -> String

showList :: [EnumValue] -> ShowS

data ArgumentName

Name of argument

Constructors

ArgKey ArgumentNameKeyword

ArgIdent Ident

Instances

Eq ArgumentName

Methods

(==) :: ArgumentName -> ArgumentName -> Bool

(/=) :: ArgumentName -> ArgumentName -> Bool

Show ArgumentName

Methods

showsPrec :: Int -> ArgumentName -> ShowS

show :: ArgumentName -> String

showList :: [ArgumentName] -> ShowS

data Const a

const

Constructors

Const a ConstType Ident ConstValue

Instances

Eq a => Eq (Const a)

Methods

(==) :: Const a -> Const a -> Bool

(/=) :: Const a -> Const a -> Bool

Show a => Show (Const a)

Methods

showsPrec :: Int -> Const a -> ShowS

show :: Const a -> String

showList :: [Const a] -> ShowS

data Default

default specification

Constructors

DefaultValue ConstValue

DefaultString String

Instances

Eq Default

Methods

(==) :: Default -> Default -> Bool

(/=) :: Default -> Default -> Bool

Show Default

Methods

showsPrec :: Int -> Default -> ShowS

show :: Default -> String

showList :: [Default] -> ShowS

data ConstValue

Constant value

Constructors

ConstBooleanLiteral Bool

ConstFloatLiteral Double

ConstInteger Integer

ConstNull

Instances

Eq ConstValue

Methods

(==) :: ConstValue -> ConstValue -> Bool

(/=) :: ConstValue -> ConstValue -> Bool

Show ConstValue

Methods

showsPrec :: Int -> ConstValue -> ShowS

show :: ConstValue -> String

showList :: [ConstValue] -> ShowS

data Qualifier

Qualifers

Constructors

QuaStatic

QSpecials [Special]

Instances

Eq Qualifier

Methods

(==) :: Qualifier -> Qualifier -> Bool

(/=) :: Qualifier -> Qualifier -> Bool

Show Qualifier

Methods

showsPrec :: Int -> Qualifier -> ShowS

show :: Qualifier -> String

showList :: [Qualifier] -> ShowS

data Special

Special qualifier

Constructors

Getter

Setter

Ccreator

Deleter

Legacycaller

Instances

Eq Special

Methods

(==) :: Special -> Special -> Bool

(/=) :: Special -> Special -> Bool

Show Special

Methods

showsPrec :: Int -> Special -> ShowS

show :: Special -> String

showList :: [Special] -> ShowS

data ArgumentNameKeyword

Argument name keyword

Constructors

ArgAttribute

ArgCallback

ArgConst

ArgCreator

ArgDeleter

ArgDictionary

ArgEnum

ArgException

ArgGetter

ArgImplements

ArgInherit

ArgInterface

ArgLegacycaller

ArgPartial

ArgSetter

ArgStatic

ArgStringifier

ArgTypedef

ArgUnrestricted

Instances

Eq ArgumentNameKeyword

Methods

(==) :: ArgumentNameKeyword -> ArgumentNameKeyword -> Bool

(/=) :: ArgumentNameKeyword -> ArgumentNameKeyword -> Bool

Show ArgumentNameKeyword

Methods

showsPrec :: Int -> ArgumentNameKeyword -> ShowS

show :: ArgumentNameKeyword -> String

showList :: [ArgumentNameKeyword] -> ShowS

data Type

Types

Constructors

TySingleType SingleType

TyUnionType UnionType TypeSuffix

Instances

Eq Type

Methods

(==) :: Type -> Type -> Bool

(/=) :: Type -> Type -> Bool

Show Type

Methods

showsPrec :: Int -> Type -> ShowS

show :: Type -> String

showList :: [Type] -> ShowS

data SingleType

Single type

Constructors

STyNonAny NonAnyType

STyAny TypeSuffix

Instances

Eq SingleType

Methods

(==) :: SingleType -> SingleType -> Bool

(/=) :: SingleType -> SingleType -> Bool

Show SingleType

Methods

showsPrec :: Int -> SingleType -> ShowS

show :: SingleType -> String

showList :: [SingleType] -> ShowS

data NonAnyType

Types that is not any

Constructors

TyPrim PrimitiveType TypeSuffix

TyDOMString TypeSuffix

TyIdent Ident TypeSuffix

TySequence Type (Maybe Null)

TyObject TypeSuffix

TyDate TypeSuffix

Instances

Eq NonAnyType

Methods

(==) :: NonAnyType -> NonAnyType -> Bool

(/=) :: NonAnyType -> NonAnyType -> Bool

Show NonAnyType

Methods

showsPrec :: Int -> NonAnyType -> ShowS

show :: NonAnyType -> String

showList :: [NonAnyType] -> ShowS

data PrimitiveType

Primitive type

Constructors

PrimIntegerType IntegerType

PrimFloatType FloatType

Boolean

Byte

Octet

Instances

Eq PrimitiveType

Methods

(==) :: PrimitiveType -> PrimitiveType -> Bool

(/=) :: PrimitiveType -> PrimitiveType -> Bool

Show PrimitiveType

Methods

showsPrec :: Int -> PrimitiveType -> ShowS

show :: PrimitiveType -> String

showList :: [PrimitiveType] -> ShowS

data IntegerType

Integer type

Constructors

IntegerType (Maybe Unsigned) IntegerWidth

Instances

Eq IntegerType

Methods

(==) :: IntegerType -> IntegerType -> Bool

(/=) :: IntegerType -> IntegerType -> Bool

Show IntegerType

Methods

showsPrec :: Int -> IntegerType -> ShowS

show :: IntegerType -> String

showList :: [IntegerType] -> ShowS

data IntegerWidth

Integer width, short, long etc.

Constructors

Short

Long Int

Instances

Eq IntegerWidth

Methods

(==) :: IntegerWidth -> IntegerWidth -> Bool

(/=) :: IntegerWidth -> IntegerWidth -> Bool

Show IntegerWidth

Methods

showsPrec :: Int -> IntegerWidth -> ShowS

show :: IntegerWidth -> String

showList :: [IntegerWidth] -> ShowS

data Unsigned

unsigned modifier

Constructors

Unsigned

Instances

Eq Unsigned

Methods

(==) :: Unsigned -> Unsigned -> Bool

(/=) :: Unsigned -> Unsigned -> Bool

Show Unsigned

Methods

showsPrec :: Int -> Unsigned -> ShowS

show :: Unsigned -> String

showList :: [Unsigned] -> ShowS

data TypeSuffix

Suffix of type

Constructors

TypeSuffixArray

TypeSuffixNullable

TypeSuffixNone

Instances

Eq TypeSuffix

Methods

(==) :: TypeSuffix -> TypeSuffix -> Bool

(/=) :: TypeSuffix -> TypeSuffix -> Bool

Show TypeSuffix

Methods

showsPrec :: Int -> TypeSuffix -> ShowS

show :: TypeSuffix -> String

showList :: [TypeSuffix] -> ShowS

data FloatType

Float type

Constructors

TyFloat (Maybe Unrestricted)

TyDouble (Maybe Unrestricted)

Instances

Eq FloatType

Methods

(==) :: FloatType -> FloatType -> Bool

(/=) :: FloatType -> FloatType -> Bool

Show FloatType

Methods

showsPrec :: Int -> FloatType -> ShowS

show :: FloatType -> String

showList :: [FloatType] -> ShowS

type UnionType = [UnionMemberType]

Union of several types

data UnionMemberType

Union member type

Constructors

UnionTy UnionType TypeSuffix

UnionTyNonAny NonAnyType

UnionTyAny TypeSuffix

Instances

Eq UnionMemberType

Methods

(==) :: UnionMemberType -> UnionMemberType -> Bool

(/=) :: UnionMemberType -> UnionMemberType -> Bool

Show UnionMemberType

Methods

showsPrec :: Int -> UnionMemberType -> ShowS

show :: UnionMemberType -> String

showList :: [UnionMemberType] -> ShowS

data ReturnType

Return value's type

Constructors

RetType Type

RetVoid

Instances

Eq ReturnType

Methods

(==) :: ReturnType -> ReturnType -> Bool

(/=) :: ReturnType -> ReturnType -> Bool

Show ReturnType

Methods

showsPrec :: Int -> ReturnType -> ShowS

show :: ReturnType -> String

showList :: [ReturnType] -> ShowS

data ConstType

Constant's type

Constructors

ConstPrim PrimitiveType (Maybe Null)

ConstIdent Ident (Maybe Null)

Instances

Eq ConstType

Methods

(==) :: ConstType -> ConstType -> Bool

(/=) :: ConstType -> ConstType -> Bool

Show ConstType

Methods

showsPrec :: Int -> ConstType -> ShowS

show :: ConstType -> String

showList :: [ConstType] -> ShowS

data Null

null keyword

Constructors

Null

Instances

Eq Null

Methods

(==) :: Null -> Null -> Bool

(/=) :: Null -> Null -> Bool

Show Null

Methods

showsPrec :: Int -> Null -> ShowS

show :: Null -> String

showList :: [Null] -> ShowS

data Ellipsis

ellipsis marker

Constructors

Ellipsis

Instances

Eq Ellipsis

Methods

(==) :: Ellipsis -> Ellipsis -> Bool

(/=) :: Ellipsis -> Ellipsis -> Bool

Show Ellipsis

Methods

showsPrec :: Int -> Ellipsis -> ShowS

show :: Ellipsis -> String

showList :: [Ellipsis] -> ShowS

data ReadOnly

readonly marker

Constructors

ReadOnly

Instances

Eq ReadOnly

Methods

(==) :: ReadOnly -> ReadOnly -> Bool

(/=) :: ReadOnly -> ReadOnly -> Bool

Show ReadOnly

Methods

showsPrec :: Int -> ReadOnly -> ShowS

show :: ReadOnly -> String

showList :: [ReadOnly] -> ShowS

data Inherit

inherit marker

Constructors

Inherit

Instances

Eq Inherit

Methods

(==) :: Inherit -> Inherit -> Bool

(/=) :: Inherit -> Inherit -> Bool

Show Inherit

Methods

showsPrec :: Int -> Inherit -> ShowS

show :: Inherit -> String

showList :: [Inherit] -> ShowS

data Unrestricted

unrestricted marker

Constructors

Unrestricted

Instances

Eq Unrestricted

Methods

(==) :: Unrestricted -> Unrestricted -> Bool

(/=) :: Unrestricted -> Unrestricted -> Bool

Show Unrestricted

Methods

showsPrec :: Int -> Unrestricted -> ShowS

show :: Unrestricted -> String

showList :: [Unrestricted] -> ShowS

newtype Ident

Identifier

Constructors

Ident String

Instances

Eq Ident

Methods

(==) :: Ident -> Ident -> Bool

(/=) :: Ident -> Ident -> Bool

Ord Ident

Methods

compare :: Ident -> Ident -> Ordering

(<) :: Ident -> Ident -> Bool

(<=) :: Ident -> Ident -> Bool

(>) :: Ident -> Ident -> Bool

(>=) :: Ident -> Ident -> Bool

max :: Ident -> Ident -> Ident

min :: Ident -> Ident -> Ident

Show Ident

Methods

showsPrec :: Int -> Ident -> ShowS

show :: Ident -> String

showList :: [Ident] -> ShowS