Safe Haskell	None
Language	Haskell98

Fay

Description

Main library entry point.

Synopsis

Documentation

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 #
Methods showsPrec :: Int -> CompileError -> ShowS # show :: CompileError -> String # showList :: [CompileError] -> ShowS #
MonadError CompileError Compile #
Methods throwError :: CompileError -> Compile a # catchError :: Compile a -> (CompileError -> Compile a) -> Compile a #

State of the compiler.

Constructors

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 #
Methods showsPrec :: Int -> CompileState -> ShowS # show :: CompileState -> String # showList :: [CompileState] -> ShowS #
MonadState CompileState Compile Source #
Methods get :: Compile CompileState # put :: CompileState -> Compile () # state :: (CompileState -> (a, CompileState)) -> Compile a #

Constructors

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

Instances

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

Compile the given file.

Compile a file returning the resulting internal state of the compiler. Don't use this directly, it's only exposed for the test suite.

Compile a file returning additional generated metadata.

Compile the given file and write the output to the given path, or if nothing given, stdout.

Compile the given file and write to the output, also generates HTML and sourcemap files if configured.

Convert a Haskell filename to a JS filename.

Print a compile error for human consumption.

Get the JS runtime source. This will return the user supplied runtime if it exists.

Get the default JS runtime source.