Safe Haskell	Safe
Language	Haskell2010

Language.WebIDL.AST

Description

Synopsis

Documentation

data Definition a Source #

Definition

Constructors

DefInterface (Interface a)
DefPartial (Partial a)
DefDictionary (Dictionary a)
DefEnum (Enum a)
DefTypedef (Typedef a)
DefCallback (Callback a)
DefImplementsStatement (ImplementsStatement a)

Instances

Functor Definition Source #
Methods fmap :: (a -> b) -> Definition a -> Definition b # (<$) :: a -> Definition b -> Definition a #
Eq a => Eq (Definition a) Source #
Methods (==) :: Definition a -> Definition a -> Bool # (/=) :: Definition a -> Definition a -> Bool #
Show a => Show (Definition a) Source #
Methods showsPrec :: Int -> Definition a -> ShowS # show :: Definition a -> String # showList :: [Definition a] -> ShowS #

data ExtendedAttribute a Source #

Extended attribute

Constructors

ExtendedAttributeNoArgs a Ident	identifier
ExtendedAttributeArgList a Ident [Argument a]	identifier "(" ArgumentList ")"
ExtendedAttributeIdent a Ident Ident	identifier "=" identifier
ExtendedAttributeIdentList a Ident [Ident]	identifier "=" "(" IdentifierList ")"
ExtendedAttributeNamedArgList a Ident Ident [Argument a]	identifier "=" identifier "(" ArgumentList ")"

Instances

Functor ExtendedAttribute Source #
Methods fmap :: (a -> b) -> ExtendedAttribute a -> ExtendedAttribute b # (<$) :: a -> ExtendedAttribute b -> ExtendedAttribute a #
Eq a => Eq (ExtendedAttribute a) Source #
Methods (==) :: ExtendedAttribute a -> ExtendedAttribute a -> Bool # (/=) :: ExtendedAttribute a -> ExtendedAttribute a -> Bool #
Show a => Show (ExtendedAttribute a) Source #
Methods showsPrec :: Int -> ExtendedAttribute a -> ShowS # show :: ExtendedAttribute a -> String # showList :: [ExtendedAttribute a] -> ShowS #

data Interface a Source #

interface

Constructors

Interface a [ExtendedAttribute a] Ident (Maybe Ident) [InterfaceMember a]

Instances

Functor Interface Source #
Methods fmap :: (a -> b) -> Interface a -> Interface b # (<$) :: a -> Interface b -> Interface a #
Eq a => Eq (Interface a) Source #
Methods (==) :: Interface a -> Interface a -> Bool # (/=) :: Interface a -> Interface a -> Bool #
Show a => Show (Interface a) Source #
Methods showsPrec :: Int -> Interface a -> ShowS # show :: Interface a -> String # showList :: [Interface a] -> ShowS #

data Partial a Source #

Partial Definition

Constructors

PartialInterface a Ident [InterfaceMember a]
PartialDictionary a Ident [DictionaryMember a]

Instances

Functor Partial Source #
Methods fmap :: (a -> b) -> Partial a -> Partial b # (<$) :: a -> Partial b -> Partial a #
Eq a => Eq (Partial a) Source #
Methods (==) :: Partial a -> Partial a -> Bool # (/=) :: Partial a -> Partial a -> Bool #
Show a => Show (Partial a) Source #
Methods showsPrec :: Int -> Partial a -> ShowS # show :: Partial a -> String # showList :: [Partial a] -> ShowS #

data Callback a Source #

Callback functions

Constructors

Callback a Ident ReturnType [Argument a]

Instances

Functor Callback Source #
Methods fmap :: (a -> b) -> Callback a -> Callback b # (<$) :: a -> Callback b -> Callback a #
Eq a => Eq (Callback a) Source #
Methods (==) :: Callback a -> Callback a -> Bool # (/=) :: Callback a -> Callback a -> Bool #
Show a => Show (Callback a) Source #
Methods showsPrec :: Int -> Callback a -> ShowS # show :: Callback a -> String # showList :: [Callback a] -> ShowS #

data Dictionary a Source #

dictionary

Constructors

Dictionary a Ident (Maybe Ident) [DictionaryMember a]

Instances

Functor Dictionary Source #
Methods fmap :: (a -> b) -> Dictionary a -> Dictionary b # (<$) :: a -> Dictionary b -> Dictionary a #
Eq a => Eq (Dictionary a) Source #
Methods (==) :: Dictionary a -> Dictionary a -> Bool # (/=) :: Dictionary a -> Dictionary a -> Bool #
Show a => Show (Dictionary a) Source #
Methods showsPrec :: Int -> Dictionary a -> ShowS # show :: Dictionary a -> String # showList :: [Dictionary a] -> ShowS #

data Exception a Source #

exception

Constructors

Exception a Ident (Maybe Ident) [ExceptionMember a]

Instances

Functor Exception Source #
Methods fmap :: (a -> b) -> Exception a -> Exception b # (<$) :: a -> Exception b -> Exception a #
Eq a => Eq (Exception a) Source #
Methods (==) :: Exception a -> Exception a -> Bool # (/=) :: Exception a -> Exception a -> Bool #
Show a => Show (Exception a) Source #
Methods showsPrec :: Int -> Exception a -> ShowS # show :: Exception a -> String # showList :: [Exception a] -> ShowS #

data Enum a Source #

enum

Constructors

Enum a Ident [EnumValue]

Instances

Functor Enum Source #
Methods fmap :: (a -> b) -> Enum a -> Enum b # (<$) :: a -> Enum b -> Enum a #
Eq a => Eq (Enum a) Source #
Methods (==) :: Enum a -> Enum a -> Bool # (/=) :: Enum a -> Enum a -> Bool #
Show a => Show (Enum a) Source #
Methods showsPrec :: Int -> Enum a -> ShowS # show :: Enum a -> String # showList :: [Enum a] -> ShowS #

data Typedef a Source #

typedef

Constructors

Typedef a Type Ident

Instances

Functor Typedef Source #
Methods fmap :: (a -> b) -> Typedef a -> Typedef b # (<$) :: a -> Typedef b -> Typedef a #
Eq a => Eq (Typedef a) Source #
Methods (==) :: Typedef a -> Typedef a -> Bool # (/=) :: Typedef a -> Typedef a -> Bool #
Show a => Show (Typedef a) Source #
Methods showsPrec :: Int -> Typedef a -> ShowS # show :: Typedef a -> String # showList :: [Typedef a] -> ShowS #

data ImplementsStatement a Source #

implements statement

Constructors

ImplementsStatement a Ident Ident

Instances

Functor ImplementsStatement Source #
Methods fmap :: (a -> b) -> ImplementsStatement a -> ImplementsStatement b # (<$) :: a -> ImplementsStatement b -> ImplementsStatement a #
Eq a => Eq (ImplementsStatement a) Source #
Methods (==) :: ImplementsStatement a -> ImplementsStatement a -> Bool # (/=) :: ImplementsStatement a -> ImplementsStatement a -> Bool #
Show a => Show (ImplementsStatement a) Source #
Methods showsPrec :: Int -> ImplementsStatement a -> ShowS # show :: ImplementsStatement a -> String # showList :: [ImplementsStatement a] -> ShowS #

data InterfaceMember a Source #

Member of interface definition

Constructors

IMemConst (Const a)
IMemAttribute (Attribute a)
IMemOperation (Operation a)

Instances

Functor InterfaceMember Source #
Methods fmap :: (a -> b) -> InterfaceMember a -> InterfaceMember b # (<$) :: a -> InterfaceMember b -> InterfaceMember a #
Eq a => Eq (InterfaceMember a) Source #
Methods (==) :: InterfaceMember a -> InterfaceMember a -> Bool # (/=) :: InterfaceMember a -> InterfaceMember a -> Bool #
Show a => Show (InterfaceMember a) Source #
Methods showsPrec :: Int -> InterfaceMember a -> ShowS # show :: InterfaceMember a -> String # showList :: [InterfaceMember a] -> ShowS #

data DictionaryMember a Source #

Member of dictionary

Constructors

DictionaryMember a Type Ident (Maybe Default)

Instances

Functor DictionaryMember Source #
Methods fmap :: (a -> b) -> DictionaryMember a -> DictionaryMember b # (<$) :: a -> DictionaryMember b -> DictionaryMember a #
Eq a => Eq (DictionaryMember a) Source #
Methods (==) :: DictionaryMember a -> DictionaryMember a -> Bool # (/=) :: DictionaryMember a -> DictionaryMember a -> Bool #
Show a => Show (DictionaryMember a) Source #
Methods showsPrec :: Int -> DictionaryMember a -> ShowS # show :: DictionaryMember a -> String # showList :: [DictionaryMember a] -> ShowS #

data ExceptionMember a Source #

Member of exception definition

Constructors

ExConst a (Const a)
ExField a Type Ident

Instances

Functor ExceptionMember Source #
Methods fmap :: (a -> b) -> ExceptionMember a -> ExceptionMember b # (<$) :: a -> ExceptionMember b -> ExceptionMember a #
Eq a => Eq (ExceptionMember a) Source #
Methods (==) :: ExceptionMember a -> ExceptionMember a -> Bool # (/=) :: ExceptionMember a -> ExceptionMember a -> Bool #
Show a => Show (ExceptionMember a) Source #
Methods showsPrec :: Int -> ExceptionMember a -> ShowS # show :: ExceptionMember a -> String # showList :: [ExceptionMember a] -> ShowS #

data Attribute a Source #

Attribute member of interface

Constructors

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

Instances

Functor Attribute Source #
Methods fmap :: (a -> b) -> Attribute a -> Attribute b # (<$) :: a -> Attribute b -> Attribute a #
Eq a => Eq (Attribute a) Source #
Methods (==) :: Attribute a -> Attribute a -> Bool # (/=) :: Attribute a -> Attribute a -> Bool #
Show a => Show (Attribute a) Source #
Methods showsPrec :: Int -> Attribute a -> ShowS # show :: Attribute a -> String # showList :: [Attribute a] -> ShowS #

data Operation a Source #

Operation member of interface

Constructors

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

Instances

Functor Operation Source #
Methods fmap :: (a -> b) -> Operation a -> Operation b # (<$) :: a -> Operation b -> Operation a #
Eq a => Eq (Operation a) Source #
Methods (==) :: Operation a -> Operation a -> Bool # (/=) :: Operation a -> Operation a -> Bool #
Show a => Show (Operation a) Source #
Methods showsPrec :: Int -> Operation a -> ShowS # show :: Operation a -> String # showList :: [Operation a] -> ShowS #

data Argument a Source #

Argument of operation signature

Constructors

ArgOptional [ExtendedAttribute a] Type ArgumentName (Maybe Default)
ArgNonOpt [ExtendedAttribute a] Type (Maybe Ellipsis) ArgumentName

Instances

Functor Argument Source #
Methods fmap :: (a -> b) -> Argument a -> Argument b # (<$) :: a -> Argument b -> Argument a #
Eq a => Eq (Argument a) Source #
Methods (==) :: Argument a -> Argument a -> Bool # (/=) :: Argument a -> Argument a -> Bool #
Show a => Show (Argument a) Source #
Methods showsPrec :: Int -> Argument a -> ShowS # show :: Argument a -> String # showList :: [Argument a] -> ShowS #

newtype EnumValue Source #

Value of a enum

Constructors

EnumValue String

Instances

Eq EnumValue Source #
Methods (==) :: EnumValue -> EnumValue -> Bool # (/=) :: EnumValue -> EnumValue -> Bool #
Show EnumValue Source #
Methods showsPrec :: Int -> EnumValue -> ShowS # show :: EnumValue -> String # showList :: [EnumValue] -> ShowS #

data ArgumentName Source #

Name of argument

Constructors

ArgKey ArgumentNameKeyword
ArgIdent Ident

Instances

Eq ArgumentName Source #
Methods (==) :: ArgumentName -> ArgumentName -> Bool # (/=) :: ArgumentName -> ArgumentName -> Bool #
Show ArgumentName Source #
Methods showsPrec :: Int -> ArgumentName -> ShowS # show :: ArgumentName -> String # showList :: [ArgumentName] -> ShowS #

data Const a Source #

const

Constructors

Const a ConstType Ident ConstValue

Instances

Functor Const Source #
Methods fmap :: (a -> b) -> Const a -> Const b # (<$) :: a -> Const b -> Const a #
Eq a => Eq (Const a) Source #
Methods (==) :: Const a -> Const a -> Bool # (/=) :: Const a -> Const a -> Bool #
Show a => Show (Const a) Source #
Methods showsPrec :: Int -> Const a -> ShowS # show :: Const a -> String # showList :: [Const a] -> ShowS #

data Default Source #

default specification

Constructors

DefaultValue ConstValue
DefaultString String

Instances

Eq Default Source #
Methods (==) :: Default -> Default -> Bool # (/=) :: Default -> Default -> Bool #
Show Default Source #
Methods showsPrec :: Int -> Default -> ShowS # show :: Default -> String # showList :: [Default] -> ShowS #

data ConstValue Source #

Constant value

Constructors

ConstBooleanLiteral Bool
ConstFloatLiteral Double
ConstInteger Integer
ConstNull

Instances

Eq ConstValue Source #
Methods (==) :: ConstValue -> ConstValue -> Bool # (/=) :: ConstValue -> ConstValue -> Bool #
Show ConstValue Source #
Methods showsPrec :: Int -> ConstValue -> ShowS # show :: ConstValue -> String # showList :: [ConstValue] -> ShowS #

data Qualifier Source #

Qualifers

Constructors

QuaStatic
QSpecials [Special]

Instances

Eq Qualifier Source #
Methods (==) :: Qualifier -> Qualifier -> Bool # (/=) :: Qualifier -> Qualifier -> Bool #
Show Qualifier Source #
Methods showsPrec :: Int -> Qualifier -> ShowS # show :: Qualifier -> String # showList :: [Qualifier] -> ShowS #

data Special Source #

Special qualifier

Constructors

Getter
Setter
Deleter
LegacyCaller

Instances

Eq Special Source #
Methods (==) :: Special -> Special -> Bool # (/=) :: Special -> Special -> Bool #
Show Special Source #
Methods showsPrec :: Int -> Special -> ShowS # show :: Special -> String # showList :: [Special] -> ShowS #

data ArgumentNameKeyword Source #

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 Source #
Methods (==) :: ArgumentNameKeyword -> ArgumentNameKeyword -> Bool # (/=) :: ArgumentNameKeyword -> ArgumentNameKeyword -> Bool #
Show ArgumentNameKeyword Source #
Methods showsPrec :: Int -> ArgumentNameKeyword -> ShowS # show :: ArgumentNameKeyword -> String # showList :: [ArgumentNameKeyword] -> ShowS #

data Type Source #

Types

Constructors

TySingleType SingleType
TyUnionType UnionType (Maybe Null)

Instances

Eq Type Source #
Methods (==) :: Type -> Type -> Bool # (/=) :: Type -> Type -> Bool #
Show Type Source #
Methods showsPrec :: Int -> Type -> ShowS # show :: Type -> String # showList :: [Type] -> ShowS #

data SingleType Source #

Single type

Constructors

STyNonAny NonAnyType
STyAny (Maybe Null)

Instances

Eq SingleType Source #
Methods (==) :: SingleType -> SingleType -> Bool # (/=) :: SingleType -> SingleType -> Bool #
Show SingleType Source #
Methods showsPrec :: Int -> SingleType -> ShowS # show :: SingleType -> String # showList :: [SingleType] -> ShowS #

data NonAnyType Source #

Types that is not any

Constructors

TyPrim PrimitiveType (Maybe Null)
TyDOMString (Maybe Null)
TyIdent Ident (Maybe Null)
TySequence Type (Maybe Null)
TyObject (Maybe Null)
TyDate (Maybe Null)

Instances

Eq NonAnyType Source #
Methods (==) :: NonAnyType -> NonAnyType -> Bool # (/=) :: NonAnyType -> NonAnyType -> Bool #
Show NonAnyType Source #
Methods showsPrec :: Int -> NonAnyType -> ShowS # show :: NonAnyType -> String # showList :: [NonAnyType] -> ShowS #

data PrimitiveType Source #

Primitive type

Constructors

PrimIntegerType IntegerType
PrimFloatType FloatType
Boolean
Byte
Octet

Instances

Eq PrimitiveType Source #
Methods (==) :: PrimitiveType -> PrimitiveType -> Bool # (/=) :: PrimitiveType -> PrimitiveType -> Bool #
Show PrimitiveType Source #
Methods showsPrec :: Int -> PrimitiveType -> ShowS # show :: PrimitiveType -> String # showList :: [PrimitiveType] -> ShowS #

data IntegerType Source #

Integer type

Constructors

IntegerType (Maybe Unsigned) IntegerWidth

Instances

Eq IntegerType Source #
Methods (==) :: IntegerType -> IntegerType -> Bool # (/=) :: IntegerType -> IntegerType -> Bool #
Show IntegerType Source #
Methods showsPrec :: Int -> IntegerType -> ShowS # show :: IntegerType -> String # showList :: [IntegerType] -> ShowS #

data IntegerWidth Source #

Integer width, short, long etc.

Constructors

Short
Long Int

Instances

Eq IntegerWidth Source #
Methods (==) :: IntegerWidth -> IntegerWidth -> Bool # (/=) :: IntegerWidth -> IntegerWidth -> Bool #
Show IntegerWidth Source #
Methods showsPrec :: Int -> IntegerWidth -> ShowS # show :: IntegerWidth -> String # showList :: [IntegerWidth] -> ShowS #

data Unsigned Source #

unsigned modifier

Constructors

Unsigned

Instances

Eq Unsigned Source #
Methods (==) :: Unsigned -> Unsigned -> Bool # (/=) :: Unsigned -> Unsigned -> Bool #
Show Unsigned Source #
Methods showsPrec :: Int -> Unsigned -> ShowS # show :: Unsigned -> String # showList :: [Unsigned] -> ShowS #

data FloatType Source #

Float type

Constructors

TyFloat (Maybe Unrestricted)
TyDouble (Maybe Unrestricted)

Instances

Eq FloatType Source #
Methods (==) :: FloatType -> FloatType -> Bool # (/=) :: FloatType -> FloatType -> Bool #
Show FloatType Source #
Methods showsPrec :: Int -> FloatType -> ShowS # show :: FloatType -> String # showList :: [FloatType] -> ShowS #

type UnionType = [UnionMemberType] Source #

Union of several types

data UnionMemberType Source #

Union member type

Constructors

UnionTy UnionType (Maybe Null)
UnionTyNonAny NonAnyType

Instances

Eq UnionMemberType Source #
Methods (==) :: UnionMemberType -> UnionMemberType -> Bool # (/=) :: UnionMemberType -> UnionMemberType -> Bool #
Show UnionMemberType Source #
Methods showsPrec :: Int -> UnionMemberType -> ShowS # show :: UnionMemberType -> String # showList :: [UnionMemberType] -> ShowS #

data ReturnType Source #

Return value's type

Constructors

RetType Type
RetVoid

Instances

Eq ReturnType Source #
Methods (==) :: ReturnType -> ReturnType -> Bool # (/=) :: ReturnType -> ReturnType -> Bool #
Show ReturnType Source #
Methods showsPrec :: Int -> ReturnType -> ShowS # show :: ReturnType -> String # showList :: [ReturnType] -> ShowS #

data ConstType Source #

Constant's type

Constructors

ConstPrim PrimitiveType (Maybe Null)
ConstIdent Ident (Maybe Null)

Instances

Eq ConstType Source #
Methods (==) :: ConstType -> ConstType -> Bool # (/=) :: ConstType -> ConstType -> Bool #
Show ConstType Source #
Methods showsPrec :: Int -> ConstType -> ShowS # show :: ConstType -> String # showList :: [ConstType] -> ShowS #

data Null Source #

null keyword

Constructors

Null

Instances

Eq Null Source #
Methods (==) :: Null -> Null -> Bool # (/=) :: Null -> Null -> Bool #
Show Null Source #
Methods showsPrec :: Int -> Null -> ShowS # show :: Null -> String # showList :: [Null] -> ShowS #

data Ellipsis Source #

ellipsis marker

Constructors

Ellipsis

Instances

Eq Ellipsis Source #
Methods (==) :: Ellipsis -> Ellipsis -> Bool # (/=) :: Ellipsis -> Ellipsis -> Bool #
Show Ellipsis Source #
Methods showsPrec :: Int -> Ellipsis -> ShowS # show :: Ellipsis -> String # showList :: [Ellipsis] -> ShowS #

data ReadOnly Source #

readonly marker

Constructors

ReadOnly

Instances

Eq ReadOnly Source #
Methods (==) :: ReadOnly -> ReadOnly -> Bool # (/=) :: ReadOnly -> ReadOnly -> Bool #
Show ReadOnly Source #
Methods showsPrec :: Int -> ReadOnly -> ShowS # show :: ReadOnly -> String # showList :: [ReadOnly] -> ShowS #

data Inherit Source #

inherit marker

Constructors

Inherit

Instances

Eq Inherit Source #
Methods (==) :: Inherit -> Inherit -> Bool # (/=) :: Inherit -> Inherit -> Bool #
Show Inherit Source #
Methods showsPrec :: Int -> Inherit -> ShowS # show :: Inherit -> String # showList :: [Inherit] -> ShowS #

data Unrestricted Source #

unrestricted marker

Constructors

Unrestricted

Instances

Eq Unrestricted Source #
Methods (==) :: Unrestricted -> Unrestricted -> Bool # (/=) :: Unrestricted -> Unrestricted -> Bool #
Show Unrestricted Source #
Methods showsPrec :: Int -> Unrestricted -> ShowS # show :: Unrestricted -> String # showList :: [Unrestricted] -> ShowS #

newtype Ident Source #

Identifier

Constructors

Ident String

Instances

Eq Ident Source #
Methods (==) :: Ident -> Ident -> Bool # (/=) :: Ident -> Ident -> Bool #
Ord Ident Source #
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 Source #
Methods showsPrec :: Int -> Ident -> ShowS # show :: Ident -> String # showList :: [Ident] -> ShowS #