Fay.Types

Description

Synopsis

• data JsStmt
  • = JsVar 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 (ErrorT CompileError (ModuleT (ModuleInfo Compile) IO)) a
  }
• type CompileModule a = ModuleT Symbols IO (Either CompileError (a, CompileState, CompileWriter))
• class Printable a where
  • printJS :: a -> Printer ()
• data Fay a
• data CompileReader = CompileReader {
  • readerConfig :: Config
  • readerCompileLit :: Sign -> Literal -> Compile JsExp
  • readerCompileDecls :: Bool -> [Decl] -> Compile [JsStmt]
  }
• 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 {
  • psPretty :: Bool
  • psLine :: Int
  • psColumn :: Int
  • psMappings :: [Mapping]
  • psIndentLevel :: Int
  • psOutput :: [String]
  • psNewline :: Bool
  }
• defaultPrintState :: PrintState
• newtype Printer a = Printer {
  • runPrinter :: State PrintState a
  }
• data SerializeContext
  • = SerializeAnywhere
  • | SerializeUserArg Int
• data ModulePath
• mkModulePath :: ModuleName a -> ModulePath
• mkModulePaths :: ModuleName a -> [ModulePath]
• mkModulePathFromQName :: QName a -> ModulePath

Documentation