Module

TsBridge.DTS

Package: purescript-ts-bridge
Repository: thought2/purescript-ts-bridge

#Error Source

data Error

Constructors

ErrUnquantifiedTypeVariables (Set TsName)
ErrIllegalSymbolName String
ErrTsName TsNameError
AtModule String Error
AtValue TsName Error

Instances

#OSet Source

newtype OSet a

Constructors

OSet (OSet a)

Instances

Newtype (OSet a) _
(Eq a) => Semigroup (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 String

Instances

Eq TsFilePath
Ord TsFilePath

#TsFnArg Source

data TsFnArg

Constructors

TsFnArg TsName TsType

Instances

Eq TsFnArg
Ord TsFnArg

#TsImport Source

data TsImport

Constructors

TsImport TsModuleAlias TsModulePath

Instances

Eq TsImport
Ord TsImport

#TsModule Source

data TsModule

Constructors

TsModule String (Set TsImport) (Array TsDeclaration)

#TsModuleAlias Source

newtype TsModuleAlias

Constructors

TsModuleAlias String

Instances

Eq TsModuleAlias
Ord TsModuleAlias

#TsModuleFile Source

data TsModuleFile

Constructors

TsModuleFile TsFilePath TsModule

#TsModulePath Source

data TsModulePath

Constructors

TsModulePath String

Instances

Eq TsModulePath
Ord TsModulePath

#TsName Source

data TsName

Instances

#TsNameError Source

data TsNameError

Constructors

Instances

#TsProgram Source

data TsProgram

A collection of TypeScript modules

Constructors

TsProgram (Map TsFilePath TsModule)

#TsQualName Source

data TsQualName

Constructors

TsQualName (Maybe TsModuleAlias) 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

#dtsFilePath Source

dtsFilePath :: String -> TsFilePath

#mapQuantifier Source

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

#mkTsName Source

mkTsName :: forall m. MonadThrow Error m => String -> m TsName

#printError Source

printError :: Error -> String

#printTsName Source

printTsName :: TsName -> String

#unsafeTsName Source

unsafeTsName :: String -> TsName

Modules: TsBridge; TsBridge.Cli; TsBridge.Core; TsBridge.DTS; TsBridge.DefaultImpls; TsBridge.Monad; TsBridge.Print