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 #
Methods (==) :: Field -> Field -> Bool # (/=) :: Field -> Field -> Bool #
Show Field Source #
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 #
Methods (==) :: TSType -> TSType -> Bool # (/=) :: TSType -> TSType -> Bool #
Show TSType Source #
Methods showsPrec :: Int -> TSType -> ShowS # show :: TSType -> String # showList :: [TSType] -> ShowS #

qnUnit :: Qualified (ProperName a) Source #

tyFn0 :: Type Source #

tyFn2 :: Type Source #

tyFn3 :: Type Source #

tyFn4 :: Type Source #

tyFn5 :: Type Source #

tyFn6 :: Type Source #

tyFn7 :: Type Source #

tyFn8 :: Type Source #

tyFn9 :: Type Source #

tyFn10 :: Type 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 #

qnStrMap :: Qualified (ProperName a) Source #

tyStrMap :: Type Source #

tyEff :: Type Source #

qnEffect :: Qualified (ProperName a) Source #

tyEffect :: Type Source #

tyVariant :: Type Source #

qnNullable :: Qualified (ProperName a) Source #

tyNullable :: Type Source #

constraintToType :: Constraint -> Type Source #

data TypeTranslationContext f Source #

Constructors

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

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

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

pursTypeToTSType :: forall f. Monad f => Type -> 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 :: Kind -> Bool Source #

numberOfTypeParams :: Kind -> Int Source #

isLessSimpleKind :: Kind -> Bool Source #

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