Safe Haskell	None
Language	Haskell2010

Language.PureScript.TsdGen.Types

Documentation

data Field Source #

Constructors

Field
Fields fieldLabel :: !Label fieldType :: !TSType fieldIsOptional :: !Bool
NewSignature [Text] [TSType] TSType

Instances

Eq Field Source #
Instance details Defined in Language.PureScript.TsdGen.Types Methods (==) :: Field -> Field -> Bool # (/=) :: Field -> Field -> Bool #
Show Field Source #
Instance details Defined in Language.PureScript.TsdGen.Types Methods showsPrec :: Int -> Field -> ShowS # show :: Field -> String # showList :: [Field] -> ShowS #

mkField :: Label -> TSType -> Field Source #

mkOptionalField :: Label -> TSType -> Field Source #

data TSType Source #

Constructors

TSAny
TSUndefined
TSNull
TSNever
TSNumber
TSBoolean
TSString
TSFunction [Text] [TSType] TSType
TSArray TSType
TSRecord [Field]
TSStrMap TSType
TSTyVar Text
TSNamed (Maybe Text) Text [TSType]
TSStringLit PSString
TSUnion [TSType]
TSIntersection [TSType]
TSUnknown Text
TSCommented TSType Text

Instances

Eq TSType Source #
Instance details Defined in Language.PureScript.TsdGen.Types Methods (==) :: TSType -> TSType -> Bool # (/=) :: TSType -> TSType -> Bool #
Show TSType Source #
Instance details Defined in Language.PureScript.TsdGen.Types Methods showsPrec :: Int -> TSType -> ShowS # show :: TSType -> String # showList :: [TSType] -> ShowS #

qnUnit :: Qualified (ProperName a) Source #

tyFn0 :: SourceType Source #

tyFn2 :: SourceType Source #

tyFn3 :: SourceType Source #

tyFn4 :: SourceType Source #

tyFn5 :: SourceType Source #

tyFn6 :: SourceType Source #

tyFn7 :: SourceType Source #

tyFn8 :: SourceType Source #

tyFn9 :: SourceType Source #

tyFn10 :: SourceType Source #

modDataFunctionUncurried :: Maybe ModuleName Source #

qnFn0 :: Qualified (ProperName a) Source #

qnFn2 :: Qualified (ProperName a) Source #

qnFn3 :: Qualified (ProperName a) Source #

qnFn4 :: Qualified (ProperName a) Source #

qnFn5 :: Qualified (ProperName a) Source #

qnFn6 :: Qualified (ProperName a) Source #

qnFn7 :: Qualified (ProperName a) Source #

qnFn8 :: Qualified (ProperName a) Source #

qnFn9 :: Qualified (ProperName a) Source #

qnFn10 :: Qualified (ProperName a) Source #

tyEffectFn1 :: SourceType Source #

tyEffectFn2 :: SourceType Source #

tyEffectFn3 :: SourceType Source #

tyEffectFn4 :: SourceType Source #

tyEffectFn5 :: SourceType Source #

tyEffectFn6 :: SourceType Source #

tyEffectFn7 :: SourceType Source #

tyEffectFn8 :: SourceType Source #

tyEffectFn9 :: SourceType Source #

tyEffectFn10 :: SourceType Source #

modEffectUncurried :: Maybe ModuleName Source #

qnEffectFn1 :: Qualified (ProperName a) Source #

qnEffectFn2 :: Qualified (ProperName a) Source #

qnEffectFn3 :: Qualified (ProperName a) Source #

qnEffectFn4 :: Qualified (ProperName a) Source #

qnEffectFn5 :: Qualified (ProperName a) Source #

qnEffectFn6 :: Qualified (ProperName a) Source #

qnEffectFn7 :: Qualified (ProperName a) Source #

qnEffectFn8 :: Qualified (ProperName a) Source #

qnEffectFn9 :: Qualified (ProperName a) Source #

qnEffectFn10 :: Qualified (ProperName a) Source #

qnStrMap :: Qualified (ProperName a) Source #

tyStrMap :: SourceType Source #

tyEff :: Type SourceAnn Source #

qnEffect :: Qualified (ProperName a) Source #

tyEffect :: Type SourceAnn Source #

tyVariant :: Type SourceAnn Source #

qnNullable :: Qualified (ProperName a) Source #

tyNullable :: Type SourceAnn Source #

qnForeignObject :: Qualified (ProperName a) Source #

tyForeignObject :: Type SourceAnn Source #

constraintToType :: SourceConstraint -> SourceType Source #

data TypeTranslationContext f Source #

Constructors

TypeTranslationContext
Fields ttcBoundTyVars :: [Text] ttcUnboundTyVars :: [Text] ttcScopedVarKinds :: Maybe [(Text, SourceKind)] ttcGetModuleId :: ModuleName -> f (Maybe Text) ttcEnvironment :: Environment ttcCurrentModuleName :: ModuleName

type TypeTranslationT f = ReaderT (TypeTranslationContext f) (ExceptT MultipleErrors f) Source #

tsFunction :: forall f. Monad f => (SourceType -> TypeTranslationT f TSType) -> [SourceType] -> SourceType -> TypeTranslationT f TSType Source #

pursTypeToTSType :: forall f. Monad f => SourceType -> TypeTranslationT f TSType Source #

showTSType :: TSType -> Text Source #

showParenIf :: Bool -> Text -> Text Source #

showField :: Field -> Text Source #

showFunctionParameters :: [TSType] -> Text Source #

objectPropertyToString :: PSString -> Text Source #

isIdentifierStart :: Char -> Bool Source #

isIdentifierPart :: Char -> Bool Source #

isIdentifierName :: Text -> Bool Source #

showTSTypePrec :: Int -> TSType -> Text Source #

isSimpleKind :: SourceKind -> Bool Source #

numberOfTypeParams :: SourceKind -> Int Source #

isLessSimpleKind :: SourceKind -> Bool Source #

extractTypes :: SourceKind -> [(a, Maybe SourceKind)] -> Maybe [a] Source #