Module

DTS.Types

Package: purescript-dts
Repository: thought2/purescript-dts

#OSet Source

newtype OSet a

Constructors

OSet (OSet a)

Instances

(Eq a) => Semigroup (OSet a)
Newtype (OSet a) _
(Ord a) => Ord (OSet a)
(Eq a) => Eq (OSet a)
(Eq a) => Monoid (OSet a)

#PropModifiers Source

type PropModifiers = { optional :: Boolean, readonly :: Boolean }

#TsDeclVisibility Source

data TsDeclVisibility

Constructors

Public
Private

Instances

Eq TsDeclVisibility
Ord TsDeclVisibility

#TsDeclaration Source

data TsDeclaration

Represents a subset of TypeScript type declarations

Constructors

TsDeclTypeDef TsName TsDeclVisibility (OSet TsName) TsType
TsDeclValueDef TsName TsDeclVisibility TsType
TsDeclComments (Array String)

Instances

Eq TsDeclaration
Ord TsDeclaration

#TsFilePath Source

data TsFilePath

Constructors

TsFilePath String

Instances

Eq TsFilePath
Ord TsFilePath

#TsFnArg Source

data TsFnArg

Constructors

TsFnArg TsName TsType

Instances

Eq TsFnArg
Ord TsFnArg

#TsImportPath Source

data TsImportPath

Constructors

TsImportPath String

Instances

Eq TsImportPath
Ord TsImportPath

#TsModule Source

data TsModule

Constructors

TsModule (Array TsDeclaration)

#TsModuleFile Source

data TsModuleFile

Constructors

TsModuleFile TsFilePath TsModule

#TsModulePath Source

data TsModulePath

Constructors

TsModulePath String

Instances

Eq TsModulePath
Ord TsModulePath

#TsName Source

data TsName

Constructors

TsName String

Instances

#TsProgram Source

data TsProgram

A collection of TypeScript modules

Constructors

TsProgram (Map TsFilePath TsModule)

#TsQualName Source

data TsQualName

Constructors

TsQualName (Maybe TsImportPath) TsName

Instances

Eq TsQualName
Ord TsQualName

#TsRecordField Source

data TsRecordField

Constructors

TsRecordField String PropModifiers TsType

Instances

Eq TsRecordField
Ord TsRecordField

#TsType Source

data TsType

Represents a subset of TypeScript types

Constructors

TsTypeNumber
TsTypeString
TsTypeBoolean
TsTypeNull
TsTypeArray TsType
TsTypeReadonlyArray TsType
TsTypeIntersection (Array TsType)
TsTypeUnion (Array TsType)
TsTypeRecord (Array TsRecordField)
TsTypeFunction TsTypeArgsQuant (Array TsFnArg) TsType
TsTypeConstructor TsQualName TsTypeArgs
TsTypeUniqueSymbol
TsTypeVar TsName
TsTypeTypelevelString String
TsTypeVoid

Instances

Eq TsType
Ord TsType

#TsTypeArgs Source

newtype TsTypeArgs

Constructors

TsTypeArgs (Array TsType)

Instances

Eq TsTypeArgs
Ord TsTypeArgs

#TsTypeArgsQuant Source

newtype TsTypeArgsQuant

Constructors

TsTypeArgsQuant (OSet TsName)

Instances

Eq TsTypeArgsQuant
Ord TsTypeArgsQuant

#mapQuantifier Source

mapQuantifier :: (OSet TsName -> OSet TsName) -> TsType -> TsType

#printTsName Source

printTsName :: TsName -> String

Modules: DTS; DTS.Print; DTS.Types