Safe Haskell	Safe-Inferred

Language.TypeScript.Types

Description

Documentation

data Comment Source

Constructors

Comment
Fields text :: [String] other :: [(String, String)]

Instances

Data Comment
Show Comment
Typeable Comment
Monoid Comment

type CommentPlaceholder = Either (Int, Int) Comment Source

data Exported Source

Constructors

Exported

Instances

Data Exported
Show Exported
Typeable Exported

data EntityName Source

Constructors

EntityName (Maybe ModuleName) String

Instances

Data EntityName
Show EntityName
Typeable EntityName

data Interface Source

Constructors

Interface CommentPlaceholder String (Maybe [TypeParameter]) (Maybe [TypeRef]) TypeBody

Instances

Data Interface
Show Interface
Typeable Interface

data TypeRef Source

Constructors

TypeRef TypeName (Maybe [Type])

Instances

Data TypeRef
Show TypeRef
Typeable TypeRef

data Static Source

Constructors

Static

Instances

Data Static
Show Static
Typeable Static

data Optional Source

Constructors

Optional

Instances

Data Optional
Show Optional
Typeable Optional

data TypeBody Source

Constructors

TypeBody [(CommentPlaceholder, TypeMember)]

Instances

Data TypeBody
Show TypeBody
Typeable TypeBody

data IndexSignature Source

Constructors

IndexSignature String StringOrNumber Type

Instances

Data IndexSignature
Show IndexSignature
Typeable IndexSignature

data ParameterListAndReturnType Source

Constructors

ParameterListAndReturnType (Maybe [TypeParameter]) [Parameter] (Maybe Type)

Instances

Data ParameterListAndReturnType
Show ParameterListAndReturnType
Typeable ParameterListAndReturnType

data Parameter Source

Constructors

RequiredOrOptionalParameter (Maybe PublicOrPrivate) String (Maybe Optional) (Maybe Type)
RestParameter String (Maybe Type)

Instances

Data Parameter
Show Parameter
Typeable Parameter

data StringOrNumber Source

Constructors

String
Number

Instances

Data StringOrNumber
Show StringOrNumber
Typeable StringOrNumber

data PublicOrPrivate Source

Constructors

Public
Private

Instances

Data PublicOrPrivate
Show PublicOrPrivate
Typeable PublicOrPrivate

data TypeParameter Source

Constructors

TypeParameter String (Maybe Type)

Instances

Data TypeParameter
Show TypeParameter
Typeable TypeParameter

data Type Source

Constructors

Predefined PredefinedType
TypeReference TypeRef
ObjectType TypeBody
ArrayType Type
FunctionType (Maybe [TypeParameter]) [Parameter] Type
ConstructorType (Maybe [TypeParameter]) [Parameter] Type

Instances

Data Type
Show Type
Typeable Type

data TypeName Source

Constructors

TypeName (Maybe ModuleName) String

Instances

Data TypeName
Show TypeName
Typeable TypeName

data ModuleName Source

Constructors

ModuleName [String]

Instances

Data ModuleName
Show ModuleName
Typeable ModuleName

data PredefinedType Source

Constructors

AnyType
NumberType
BooleanType
StringType
VoidType

Instances

Data PredefinedType
Show PredefinedType
Typeable PredefinedType

InterfaceDeclaration CommentPlaceholder (Maybe Exported) Interface
ImportDeclaration (Maybe Exported) String EntityName
ExportDeclaration String
ExternalImportDeclaration (Maybe Exported) String String
AmbientDeclaration CommentPlaceholder (Maybe Exported) Ambient

AmbientVariableDeclaration CommentPlaceholder String (Maybe Type)
AmbientFunctionDeclaration CommentPlaceholder String ParameterListAndReturnType
AmbientClassDeclaration CommentPlaceholder String (Maybe [TypeParameter]) (Maybe [TypeRef]) (Maybe [TypeRef]) [(CommentPlaceholder, AmbientClassBodyElement)]
AmbientInterfaceDeclaration Interface
AmbientEnumDeclaration CommentPlaceholder String [(String, Maybe Integer)]
AmbientModuleDeclaration CommentPlaceholder [String] [Ambient]
AmbientExternalModuleDeclaration CommentPlaceholder String [Ambient]

PropertySignature String (Maybe Optional) (Maybe Type)
CallSignature ParameterListAndReturnType
ConstructSignature (Maybe [TypeParameter]) [Parameter] (Maybe Type)
TypeIndexSignature IndexSignature
MethodSignature String (Maybe Optional) ParameterListAndReturnType

Data DeclarationElement
Show DeclarationElement
Typeable DeclarationElement

AmbientConstructorDeclaration [Parameter]
AmbientMemberDeclaration (Maybe PublicOrPrivate) (Maybe Static) String (Either (Maybe Type) ParameterListAndReturnType)
AmbientIndexSignature IndexSignature

Data AmbientClassBodyElement
Show AmbientClassBodyElement
Typeable AmbientClassBodyElement