WebIDL

data Type

Constructors

• UnionType { unifies :: Array Type }
• ArrayType { elementType :: String, nesting :: Int }
• NamedType { typeName :: String }
• GenericType { family :: String, typeArgument :: Type }
• NullableType Type

Instances

• Generic Type _
• Show Type

readType :: Foreign -> F Type

newtype Argument

Constructors

• Argument { idlType :: Type, name :: String, optional :: Boolean, variadic :: Boolean }

Instances

• Generic Argument _
• Show Argument

readArgument :: Foreign -> F Argument

data Member

Constructors

• OperationMember { arguments :: Array Argument, creator :: Boolean, deleter :: Boolean, getter :: Boolean, idlType :: Type, legacycaller :: Boolean, name :: Maybe String, setter :: Boolean, static :: Boolean, stringifier :: Boolean }
• AttributeMember { idlType :: Type, inherit :: Boolean, name :: String, readonly :: Boolean, static :: Boolean, stringifier :: Boolean }
• ConstantMember { idlType :: String, name :: String, nullable :: Boolean }
• FieldMember { idlType :: Type, name :: String, required :: Boolean }
• OtherMember String

Instances

• Generic Member _
• Show Member

readMember :: Foreign -> F Member

data Node

A node represented as a PureScript data type.

Constructors

• InterfaceNode { inheritance :: Maybe String, members :: Array Member, name :: String, partial :: Boolean }
• ImplementsNode { implements :: String, target :: String }
• TypeDefNode { idlType :: Type, name :: String }
• CallbackNode { arguments :: Array Argument, idlType :: Type, name :: String }
• DictionaryNode { inheritance :: Maybe String, members :: Array Member, name :: String, partial :: Boolean }
• ExceptionNode { inheritance :: Maybe String, members :: Array Member, name :: String }
• EnumNode { name :: String, values :: Array String }
• OtherNode String

Instances

• Generic Node _
• Show Node

readNode :: Foreign -> F Node

parse :: String -> Either (Either Error (NonEmptyList ForeignError)) (Array Node)

Parse a WebIDL string.