Module

DTS

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

Re-exports from DTS.Print

#TsSource Source

newtype TsSource

Constructors

TsSource String

Instances

#Path Source

newtype Path

Constructors

Path String

Instances

#printTsType Source

printTsType :: TsType -> TsSource

#printTsProgram Source

printTsProgram :: TsProgram -> Map Path TsSource

#printTsModule Source

printTsModule :: TsModule -> TsSource

#printTsDeclarations Source

printTsDeclarations :: Array TsDeclaration -> Array TsSource

#printTsDeclaration Source

printTsDeclaration :: TsDeclaration -> TsSource

Re-exports from DTS.Types

#TsTypeArgsQuant Source

newtype TsTypeArgsQuant

Constructors

TsTypeArgsQuant (OSet TsName)

Instances

Eq TsTypeArgsQuant
Ord TsTypeArgsQuant

#TsTypeArgs Source

newtype TsTypeArgs

Constructors

TsTypeArgs (Array TsType)

Instances

Eq TsTypeArgs
Ord TsTypeArgs

#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)
TsTypeTuple (Array TsType)
TsTypeReadonlyTuple (Array TsType)
TsTypeRecord (Array TsRecordField)
TsTypeFunction TsTypeArgsQuant (Array TsFnArg) TsType
TsTypeConstructor TsQualName TsTypeArgs
TsTypeUniqueSymbol
TsTypeVar TsName
TsTypeTypelevelString String
TsTypeTypelevelNumber Number
TsTypeVoid

Instances

Eq TsType
Ord TsType

#TsRecordField Source

data TsRecordField

Constructors

TsRecordField String PropModifiers TsType

Instances

Eq TsRecordField
Ord TsRecordField

#TsQualName Source

data TsQualName

Constructors

TsQualName (Maybe TsImportPath) TsName

Instances

Eq TsQualName
Ord TsQualName

#TsProgram Source

data TsProgram

A collection of TypeScript modules

Constructors

TsProgram (Map TsFilePath TsModule)

#TsName Source

data TsName

Constructors

TsName String

Instances

#TsModulePath Source

data TsModulePath

Constructors

TsModulePath String

Instances

Eq TsModulePath
Ord TsModulePath

#TsModuleFile Source

data TsModuleFile

Constructors

TsModuleFile TsFilePath TsModule

#TsModule Source

data TsModule

Constructors

TsModule (Array TsDeclaration)

#TsImportPath Source

data TsImportPath

Constructors

TsImportPath String

Instances

Eq TsImportPath
Ord TsImportPath

#TsFnArg Source

data TsFnArg

Constructors

TsFnArg TsName TsType

Instances

Eq TsFnArg
Ord TsFnArg

#TsFilePath Source

data TsFilePath

Constructors

TsFilePath String

Instances

Eq TsFilePath
Ord TsFilePath

#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

#TsDeclVisibility Source

data TsDeclVisibility

Constructors

Public
Private

Instances

Eq TsDeclVisibility
Ord TsDeclVisibility

#PropModifiers Source

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

#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)

#printTsName Source

printTsName :: TsName -> String

#mapQuantifier Source

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

Modules: DTS; DTS.Print; DTS.Types