Safe Haskell	None
Language	Haskell98

Fay.Types

Description

All Fay types and instances.

Synopsis

data JsStmt
- = JsVar JsName JsExp
- | JsMapVar JsName JsExp
- | JsIf JsExp [JsStmt] [JsStmt]
- | JsEarlyReturn JsExp
- | JsThrow JsExp
- | JsWhile JsExp [JsStmt]
- | JsUpdate JsName JsExp
- | JsSetProp JsName JsName JsExp
- | JsSetQName (Maybe SrcSpan) QName JsExp
- | JsSetModule ModulePath JsExp
- | JsSetConstructor QName JsExp
- | JsSetPropExtern JsName JsName JsExp
- | JsContinue
- | JsBlock [JsStmt]
- | JsExpStmt JsExp
data JsExp
- = JsName JsName
- | JsRawExp String
- | JsSeq [JsExp]
- | JsFun (Maybe JsName) [JsName] [JsStmt] (Maybe JsExp)
- | JsLit JsLit
- | JsApp JsExp [JsExp]
- | JsNegApp JsExp
- | JsTernaryIf JsExp JsExp JsExp
- | JsNull
- | JsParen JsExp
- | JsGetProp JsExp JsName
- | JsLookup JsExp JsExp
- | JsUpdateProp JsExp JsName JsExp
- | JsGetPropExtern JsExp String
- | JsUpdatePropExtern JsExp JsName JsExp
- | JsList [JsExp]
- | JsNew JsName [JsExp]
- | JsThrowExp JsExp
- | JsInstanceOf JsExp JsName
- | JsIndex Int JsExp
- | JsEq JsExp JsExp
- | JsNeq JsExp JsExp
- | JsInfix String JsExp JsExp
- | JsObj [(String, JsExp)]
- | JsLitObj [(Name, JsExp)]
- | JsUndefined
- | JsAnd JsExp JsExp
- | JsOr JsExp JsExp
data JsLit
- = JsChar Char
- | JsStr String
- | JsInt Int
- | JsFloating Double
- | JsBool Bool
data JsName
- = JsNameVar QName
- | JsThis
- | JsParametrizedType
- | JsThunk
- | JsForce
- | JsApply
- | JsParam Integer
- | JsTmp Integer
- | JsConstructor QName
- | JsBuiltIn Name
- | JsModuleName ModuleName
data CompileError
- = Couldn'tFindImport ModuleName [FilePath]
- | EmptyDoBlock
- | FfiFormatBadChars SrcSpanInfo String
- | FfiFormatIncompleteArg SrcSpanInfo
- | FfiFormatInvalidJavaScript SrcSpanInfo String String
- | FfiFormatNoSuchArg SrcSpanInfo Int
- | FfiNeedsTypeSig Exp
- | GHCError String
- | InvalidDoBlock
- | ParseError SrcLoc String
- | ShouldBeDesugared String
- | UnableResolveQualified QName
- | UnsupportedDeclaration Decl
- | UnsupportedEnum Exp
- | UnsupportedExportSpec ExportSpec
- | UnsupportedExpression Exp
- | UnsupportedFieldPattern PatField
- | UnsupportedImport ImportDecl
- | UnsupportedLet
- | UnsupportedLetBinding Decl
- | UnsupportedLiteral Literal
- | UnsupportedModuleSyntax String Module
- | UnsupportedPattern Pat
- | UnsupportedQualStmt QualStmt
- | UnsupportedRecursiveDo
- | UnsupportedRhs Rhs
- | UnsupportedWhereInAlt Alt
- | UnsupportedWhereInMatch Match
newtype Compile a = Compile {
- unCompile :: RWST CompileReader CompileWriter CompileState (ExceptT CompileError (ModuleT (ModuleInfo Compile) IO)) a
}
type CompileModule a = ModuleT Symbols IO (Either CompileError (a, CompileState, CompileWriter))
class Printable a where
data Fay a
data CompileReader = CompileReader {
- readerConfig :: Config
- readerCompileLit :: Sign -> Literal -> Compile JsExp
- readerCompileDecls :: Bool -> [Decl] -> Compile [JsStmt]
}
data CompileResult = CompileResult {
- resOutput :: String
- resImported :: [(String, FilePath)]
- resSourceMappings :: Maybe [Mapping]
}
data CompileWriter = CompileWriter {
- writerCons :: [JsStmt]
- writerFayToJs :: [(String, JsExp)]
- writerJsToFay :: [(String, JsExp)]
}
data Config
data CompileState = CompileState {
- stateInterfaces :: Map ModuleName Symbols
- stateRecordTypes :: [(QName, [QName])]
- stateRecords :: [(QName, [Name])]
- stateNewtypes :: [(QName, Maybe QName, Type)]
- stateImported :: [(ModuleName, FilePath)]
- stateNameDepth :: Integer
- stateModuleName :: ModuleName
- stateJsModulePaths :: Set ModulePath
- stateUseFromString :: Bool
- stateTypeSigs :: Map QName Type
}
data FundamentalType
- = FunctionType [FundamentalType]
- | JsType FundamentalType
- | ListType FundamentalType
- | TupleType [FundamentalType]
- | UserDefined Name [FundamentalType]
- | Defined FundamentalType
- | Nullable FundamentalType
- | DateType
- | StringType
- | DoubleType
- | IntType
- | BoolType
- | PtrType
- | Automatic
- | UnknownType
data PrintState = PrintState {
- psLine :: Int
- psColumn :: Int
- psIndentLevel :: Int
- psNewline :: Bool
}
defaultPrintState :: PrintState
data PrintReader = PrintReader {
- prPretty :: Bool
- prPrettyThunks :: Bool
- prPrettyOperators :: Bool
}
defaultPrintReader :: PrintReader
data PrintWriter = PrintWriter {
- pwMappings :: [Mapping]
- pwOutput :: ShowS
}
pwOutputString :: PrintWriter -> String
newtype Printer = Printer {
- runPrinter :: RWS PrintReader PrintWriter PrintState ()
}
execPrinter :: Printer -> PrintReader -> PrintWriter
indented :: Printer -> Printer
askIf :: (PrintReader -> Bool) -> Printer -> Printer -> Printer
newline :: Printer
write :: String -> Printer
mapping :: SrcSpan -> Printer
data SerializeContext
- = SerializeAnywhere
- | SerializeUserArg Int
data ModulePath
mkModulePath :: ModuleName a -> ModulePath
mkModulePaths :: ModuleName a -> [ModulePath]
mkModulePathFromQName :: QName a -> ModulePath

Documentation

data JsStmt Source #

Statement type.

Constructors

JsVar JsName JsExp
JsMapVar JsName JsExp
JsIf JsExp [JsStmt] [JsStmt]
JsEarlyReturn JsExp
JsThrow JsExp
JsWhile JsExp [JsStmt]
JsUpdate JsName JsExp
JsSetProp JsName JsName JsExp
JsSetQName (Maybe SrcSpan) QName JsExp
JsSetModule ModulePath JsExp
JsSetConstructor QName JsExp
JsSetPropExtern JsName JsName JsExp
JsContinue
JsBlock [JsStmt]
JsExpStmt JsExp

Instances

Eq JsStmt Source #
Instance details Methods (==) :: JsStmt -> JsStmt -> Bool # (/=) :: JsStmt -> JsStmt -> Bool #
Show JsStmt Source #
Instance details Methods showsPrec :: Int -> JsStmt -> ShowS # show :: JsStmt -> String # showList :: [JsStmt] -> ShowS #
Printable JsStmt Source #	Print a single statement.
Instance details Methods printJS :: JsStmt -> Printer Source #

data JsExp Source #

Expression type.

Constructors

JsName JsName
JsRawExp String
JsSeq [JsExp]
JsFun (Maybe JsName) [JsName] [JsStmt] (Maybe JsExp)
JsLit JsLit
JsApp JsExp [JsExp]
JsNegApp JsExp
JsTernaryIf JsExp JsExp JsExp
JsNull
JsParen JsExp
JsGetProp JsExp JsName
JsLookup JsExp JsExp
JsUpdateProp JsExp JsName JsExp
JsGetPropExtern JsExp String
JsUpdatePropExtern JsExp JsName JsExp
JsList [JsExp]
JsNew JsName [JsExp]
JsThrowExp JsExp
JsInstanceOf JsExp JsName
JsIndex Int JsExp
JsEq JsExp JsExp
JsNeq JsExp JsExp
JsInfix String JsExp JsExp
JsObj [(String, JsExp)]
JsLitObj [(Name, JsExp)]
JsUndefined
JsAnd JsExp JsExp
JsOr JsExp JsExp

Instances

Eq JsExp Source #
Instance details Methods (==) :: JsExp -> JsExp -> Bool # (/=) :: JsExp -> JsExp -> Bool #
Show JsExp Source #
Instance details Methods showsPrec :: Int -> JsExp -> ShowS # show :: JsExp -> String # showList :: [JsExp] -> ShowS #
Printable JsExp Source #	Print an expression.
Instance details Methods printJS :: JsExp -> Printer Source #

data JsLit Source #

Literal value type.

Constructors

JsChar Char
JsStr String
JsInt Int
JsFloating Double
JsBool Bool

Instances

Eq JsLit Source #
Instance details Methods (==) :: JsLit -> JsLit -> Bool # (/=) :: JsLit -> JsLit -> Bool #
Show JsLit Source #
Instance details Methods showsPrec :: Int -> JsLit -> ShowS # show :: JsLit -> String # showList :: [JsLit] -> ShowS #
IsString JsLit Source #	Just handy to have.
Instance details Methods fromString :: String -> JsLit #
Printable JsLit Source #	Print literals.
Instance details Methods printJS :: JsLit -> Printer Source #

data JsName Source #

A name of some kind.

Constructors

JsNameVar QName
JsThis
JsParametrizedType
JsThunk
JsForce
JsApply
JsParam Integer
JsTmp Integer
JsConstructor QName
JsBuiltIn Name
JsModuleName ModuleName

Instances

Eq JsName Source #
Instance details Methods (==) :: JsName -> JsName -> Bool # (/=) :: JsName -> JsName -> Bool #
Show JsName Source #
Instance details Methods showsPrec :: Int -> JsName -> ShowS # show :: JsName -> String # showList :: [JsName] -> ShowS #
Printable JsName Source #	Print one of the kinds of names.
Instance details Methods printJS :: JsName -> Printer Source #

data CompileError Source #

Error type.

Constructors

Couldn'tFindImport ModuleName [FilePath]
EmptyDoBlock
FfiFormatBadChars SrcSpanInfo String
FfiFormatIncompleteArg SrcSpanInfo
FfiFormatInvalidJavaScript SrcSpanInfo String String
FfiFormatNoSuchArg SrcSpanInfo Int
FfiNeedsTypeSig Exp
GHCError String
InvalidDoBlock
ParseError SrcLoc String
ShouldBeDesugared String
UnableResolveQualified QName
UnsupportedDeclaration Decl
UnsupportedEnum Exp
UnsupportedExportSpec ExportSpec
UnsupportedExpression Exp
UnsupportedFieldPattern PatField
UnsupportedImport ImportDecl
UnsupportedLet
UnsupportedLetBinding Decl
UnsupportedLiteral Literal
UnsupportedModuleSyntax String Module
UnsupportedPattern Pat
UnsupportedQualStmt QualStmt
UnsupportedRecursiveDo
UnsupportedRhs Rhs
UnsupportedWhereInAlt Alt
UnsupportedWhereInMatch Match

Instances

Show CompileError Source #
Instance details Methods showsPrec :: Int -> CompileError -> ShowS # show :: CompileError -> String # showList :: [CompileError] -> ShowS #
MonadError CompileError Compile #
Instance details Methods throwError :: CompileError -> Compile a # catchError :: Compile a -> (CompileError -> Compile a) -> Compile a #

newtype Compile a Source #

Compile monad.

Constructors

Compile
Fields unCompile :: RWST CompileReader CompileWriter CompileState (ExceptT CompileError (ModuleT (ModuleInfo Compile) IO)) a Uns the compiler

Instances

Monad Compile Source #
Instance details Methods (>>=) :: Compile a -> (a -> Compile b) -> Compile b # (>>) :: Compile a -> Compile b -> Compile b # return :: a -> Compile a # fail :: String -> Compile a #
Functor Compile Source #
Instance details Methods fmap :: (a -> b) -> Compile a -> Compile b # (<$) :: a -> Compile b -> Compile a #
Applicative Compile Source #
Instance details Methods pure :: a -> Compile a # (<>) :: Compile (a -> b) -> Compile a -> Compile b # liftA2 :: (a -> b -> c) -> Compile a -> Compile b -> Compile c # (>) :: Compile a -> Compile b -> Compile b # (<*) :: Compile a -> Compile b -> Compile a #
MonadIO Compile Source #
Instance details Methods liftIO :: IO a -> Compile a #
MonadWriter CompileWriter Compile Source #
Instance details Methods writer :: (a, CompileWriter) -> Compile a # tell :: CompileWriter -> Compile () # listen :: Compile a -> Compile (a, CompileWriter) # pass :: Compile (a, CompileWriter -> CompileWriter) -> Compile a #
MonadState CompileState Compile Source #
Instance details Methods get :: Compile CompileState # put :: CompileState -> Compile () # state :: (CompileState -> (a, CompileState)) -> Compile a #
MonadReader CompileReader Compile Source #
Instance details Methods ask :: Compile CompileReader # local :: (CompileReader -> CompileReader) -> Compile a -> Compile a # reader :: (CompileReader -> a) -> Compile a #
MonadError CompileError Compile Source #
Instance details Methods throwError :: CompileError -> Compile a # catchError :: Compile a -> (CompileError -> Compile a) -> Compile a #

type CompileModule a = ModuleT Symbols IO (Either CompileError (a, CompileState, CompileWriter)) Source #

class Printable a where Source #

Print some value.

Minimal complete definition

printJS

Methods

printJS :: a -> Printer Source #

Instances

Printable ModulePath Source #	Print a module path.
Instance details Methods printJS :: ModulePath -> Printer Source #
Printable JsLit Source #	Print literals.
Instance details Methods printJS :: JsLit -> Printer Source #
Printable JsName Source #	Print one of the kinds of names.
Instance details Methods printJS :: JsName -> Printer Source #
Printable JsExp Source #	Print an expression.
Instance details Methods printJS :: JsExp -> Printer Source #
Printable JsStmt Source #	Print a single statement.
Instance details Methods printJS :: JsStmt -> Printer Source #
Printable (ModuleName l) Source #	Print module name.
Instance details Methods printJS :: ModuleName l -> Printer Source #
Printable (Name l) Source #	Print (and properly encode) a name.
Instance details Methods printJS :: Name l -> Printer Source #
Printable (QName l) Source #	Print (and properly encode to JS) a qualified name.
Instance details Methods printJS :: QName l -> Printer Source #
Printable (SpecialCon l) Source #	Print special constructors (tuples, list, etc.)
Instance details Methods printJS :: SpecialCon l -> Printer Source #

data Fay a Source #

The JavaScript FFI interfacing monad.

Instances

Monad Fay Source #
Instance details Methods (>>=) :: Fay a -> (a -> Fay b) -> Fay b # (>>) :: Fay a -> Fay b -> Fay b # return :: a -> Fay a # fail :: String -> Fay a #
Functor Fay Source #
Instance details Methods fmap :: (a -> b) -> Fay a -> Fay b # (<$) :: a -> Fay b -> Fay a #
Applicative Fay Source #
Instance details Methods pure :: a -> Fay a # (<>) :: Fay (a -> b) -> Fay a -> Fay b # liftA2 :: (a -> b -> c) -> Fay a -> Fay b -> Fay c # (>) :: Fay a -> Fay b -> Fay b # (<*) :: Fay a -> Fay b -> Fay a #

data CompileReader Source #

Configuration and globals for the compiler.

Constructors

CompileReader
Fields readerConfig :: Config The compilation configuration. readerCompileLit :: Sign -> Literal -> Compile JsExp readerCompileDecls :: Bool -> [Decl] -> Compile [JsStmt]

Instances

MonadReader CompileReader Compile Source #
Instance details Methods ask :: Compile CompileReader # local :: (CompileReader -> CompileReader) -> Compile a -> Compile a # reader :: (CompileReader -> a) -> Compile a #

data CompileResult Source #

Constructors

CompileResult
Fields resOutput :: String resImported :: [(String, FilePath)] resSourceMappings :: Maybe [Mapping]

Instances

Show CompileResult Source #
Instance details Methods showsPrec :: Int -> CompileResult -> ShowS # show :: CompileResult -> String # showList :: [CompileResult] -> ShowS #

data CompileWriter Source #

Things written out by the compiler.

Constructors

CompileWriter
Fields writerCons :: [JsStmt] Constructors. writerFayToJs :: [(String, JsExp)] Fay to JS dispatchers. writerJsToFay :: [(String, JsExp)] JS to Fay dispatchers.

Instances

Show CompileWriter Source #
Instance details Methods showsPrec :: Int -> CompileWriter -> ShowS # show :: CompileWriter -> String # showList :: [CompileWriter] -> ShowS #
Semigroup CompileWriter Source #	Simple concatenating instance.
Instance details Methods (<>) :: CompileWriter -> CompileWriter -> CompileWriter # sconcat :: NonEmpty CompileWriter -> CompileWriter # stimes :: Integral b => b -> CompileWriter -> CompileWriter #
Monoid CompileWriter Source #	Simple concatenating instance.
Instance details Methods mempty :: CompileWriter # mappend :: CompileWriter -> CompileWriter -> CompileWriter # mconcat :: [CompileWriter] -> CompileWriter #
MonadWriter CompileWriter Compile Source #
Instance details Methods writer :: (a, CompileWriter) -> Compile a # tell :: CompileWriter -> Compile () # listen :: Compile a -> Compile (a, CompileWriter) # pass :: Compile (a, CompileWriter -> CompileWriter) -> Compile a #

data Config Source #

Configuration of the compiler. The fields with a leading underscore

Instances

Show Config Source #
Instance details Methods showsPrec :: Int -> Config -> ShowS # show :: Config -> String # showList :: [Config] -> ShowS #
Default Config Source #	Default configuration.
Instance details Methods def :: Config

data CompileState Source #

State of the compiler.

Constructors

CompileState

Fields

stateInterfaces :: Map ModuleName Symbols
Exported identifiers for all modules
stateRecordTypes :: [(QName, [QName])]
Map types to constructors
stateRecords :: [(QName, [Name])]
Map constructors to fields
stateNewtypes :: [(QName, Maybe QName, Type)]
Newtype constructor, destructor, wrapped type tuple
stateImported :: [(ModuleName, FilePath)]
Map of all imported modules and their source locations.
stateNameDepth :: Integer
Depth of the current lexical scope, used for creating unshadowing variables.
stateModuleName :: ModuleName
Name of the module currently being compiled.
stateJsModulePaths :: Set ModulePath
Module paths that have code generated for them.
stateUseFromString :: Bool
Use JS Strings instead of [Char] for string literals?
stateTypeSigs :: Map QName Type
Module level declarations having explicit type signatures

Instances

Show CompileState Source #
Instance details Methods showsPrec :: Int -> CompileState -> ShowS # show :: CompileState -> String # showList :: [CompileState] -> ShowS #
MonadState CompileState Compile Source #
Instance details Methods get :: Compile CompileState # put :: CompileState -> Compile () # state :: (CompileState -> (a, CompileState)) -> Compile a #

data FundamentalType Source #

These are the data types that are serializable directly to native JS data types. Strings, floating points and arrays. The others are: actions in the JS monad, which are thunks that shouldn't be forced when serialized but wrapped up as JS zero-arg functions, and unknown types can't be converted but should at least be forced.

Instances

Show FundamentalType Source #
Instance details Methods showsPrec :: Int -> FundamentalType -> ShowS # show :: FundamentalType -> String # showList :: [FundamentalType] -> ShowS #

data PrintState Source #

The state of the pretty printer.

Constructors

PrintState
Fields psLine :: Int The current line. psColumn :: Int Current column. psIndentLevel :: Int Current indentation level. psNewline :: Bool Just outputted a newline?

defaultPrintState :: PrintState Source #

Default state.

data PrintReader Source #

Global options of the printer

Constructors

PrintReader
Fields prPretty :: Bool Are we to pretty print? prPrettyThunks :: Bool Use pretty thunk names? prPrettyOperators :: Bool Use pretty operators?

defaultPrintReader :: PrintReader Source #

default printer options (non-pretty printing)

data PrintWriter Source #

Output of printer

Constructors

PrintWriter
Fields pwMappings :: [Mapping] Source mappings. pwOutput :: ShowS The current output.

Instances

Semigroup PrintWriter Source #
Instance details Methods (<>) :: PrintWriter -> PrintWriter -> PrintWriter # sconcat :: NonEmpty PrintWriter -> PrintWriter # stimes :: Integral b => b -> PrintWriter -> PrintWriter #
Monoid PrintWriter Source #	Output concatenation
Instance details Methods mempty :: PrintWriter # mappend :: PrintWriter -> PrintWriter -> PrintWriter # mconcat :: [PrintWriter] -> PrintWriter #

pwOutputString :: PrintWriter -> String Source #

newtype Printer Source #

The printer.

Constructors

Printer
Fields runPrinter :: RWS PrintReader PrintWriter PrintState ()

Instances

IsString Printer Source #	Write out a string, updating the current position information.
Instance details Methods fromString :: String -> Printer #
Semigroup Printer Source #
Instance details Methods (<>) :: Printer -> Printer -> Printer # sconcat :: NonEmpty Printer -> Printer # stimes :: Integral b => b -> Printer -> Printer #
Monoid Printer Source #
Instance details Methods mempty :: Printer # mappend :: Printer -> Printer -> Printer # mconcat :: [Printer] -> Printer #

execPrinter :: Printer -> PrintReader -> PrintWriter Source #

indented :: Printer -> Printer Source #

Print the given printer indented.

askIf :: (PrintReader -> Bool) -> Printer -> Printer -> Printer Source #

exec one of Printers depending on PrintReader property.

newline :: Printer Source #

Output a newline and makes next line indented when prPretty is True. Does nothing when prPretty is False

write :: String -> Printer Source #

Write out a raw string, respecting the indentation Note: if you pass a string with newline characters, it will print them out even if prPretty is set to False. Also next line won't be indented. If you want write a smart newline (that is the one which will be written out only if prPretty is true, and after which the line will be indented) use newline)

mapping :: SrcSpan -> Printer Source #

Generate a mapping from the Haskell location to the current point in the output.

data SerializeContext Source #

The serialization context indicates whether we're currently serializing some value or a particular field in a user-defined data type.

Constructors

SerializeAnywhere
SerializeUserArg Int

Instances

Eq SerializeContext Source #
Instance details Methods (==) :: SerializeContext -> SerializeContext -> Bool # (/=) :: SerializeContext -> SerializeContext -> Bool #
Read SerializeContext Source #
Instance details Methods readsPrec :: Int -> ReadS SerializeContext # readList :: ReadS [SerializeContext] # readPrec :: ReadPrec SerializeContext # readListPrec :: ReadPrec [SerializeContext] #
Show SerializeContext Source #
Instance details Methods showsPrec :: Int -> SerializeContext -> ShowS # show :: SerializeContext -> String # showList :: [SerializeContext] -> ShowS #

data ModulePath Source #

The name of a module split into a list for code generation.

Instances

Eq ModulePath Source #
Instance details Methods (==) :: ModulePath -> ModulePath -> Bool # (/=) :: ModulePath -> ModulePath -> Bool #
Ord ModulePath Source #
Instance details Methods compare :: ModulePath -> ModulePath -> Ordering # (<) :: ModulePath -> ModulePath -> Bool # (<=) :: ModulePath -> ModulePath -> Bool # (>) :: ModulePath -> ModulePath -> Bool # (>=) :: ModulePath -> ModulePath -> Bool # max :: ModulePath -> ModulePath -> ModulePath # min :: ModulePath -> ModulePath -> ModulePath #
Show ModulePath Source #
Instance details Methods showsPrec :: Int -> ModulePath -> ShowS # show :: ModulePath -> String # showList :: [ModulePath] -> ShowS #
Printable ModulePath Source #	Print a module path.
Instance details Methods printJS :: ModulePath -> Printer Source #

mkModulePath :: ModuleName a -> ModulePath Source #

Construct the complete ModulePath from a ModuleName.

mkModulePaths :: ModuleName a -> [ModulePath] Source #

Construct intermediate module paths from a ModuleName. mkModulePaths A.B => [[A], [A,B]]

mkModulePathFromQName :: QName a -> ModulePath Source #

Converting a QName to a ModulePath is only relevant for constructors since they can conflict with module names.

FunctionType [FundamentalType]
JsType FundamentalType
ListType FundamentalType
TupleType [FundamentalType]
UserDefined Name [FundamentalType]
Defined FundamentalType
Nullable FundamentalType
DateType
StringType
DoubleType
IntType
BoolType
PtrType
Automatic
UnknownType