Language.Fay.Types

All Fay types and instances.

Documentation

data JsStmt

Statement type.

Constructors

JsVar JsName JsExp

JsIf JsExp [JsStmt] [JsStmt]

JsEarlyReturn JsExp

JsThrow JsExp

JsWhile JsExp [JsStmt]

JsUpdate JsName JsExp

JsSetProp JsName JsName JsExp

JsContinue

Instances

Eq JsStmt

Show JsStmt

Printable JsStmt

Print a single statement.

CompilesTo Module [JsStmt]

CompilesTo Decl [JsStmt]

Printable [JsStmt]

Print a list of statements.

data JsExp

Expression type.

Constructors

JsName JsName

JsRawName String

JsFun [JsParam] [JsStmt] (Maybe JsExp)

JsLit JsLit

JsApp JsExp [JsExp]

JsTernaryIf JsExp JsExp JsExp

JsNull

JsSequence [JsExp]

JsParen JsExp

JsGetProp JsExp JsName

JsUpdateProp JsExp JsName JsExp

JsGetPropExtern JsExp JsName

JsUpdatePropExtern JsExp JsName JsExp

JsList [JsExp]

JsNew JsName [JsExp]

JsThrowExp JsExp

JsInstanceOf JsExp JsName

JsIndex Int JsExp

JsEq JsExp JsExp

JsInfix String JsExp JsExp

Instances

Eq JsExp

Show JsExp

Printable JsExp

Print an expression.

CompilesTo Exp JsExp

data JsLit

Literal value type.

Constructors

JsChar Char

JsStr String

JsInt Int

JsFloating Double

JsBool Bool

Instances

Eq JsLit

Show JsLit

Printable JsLit

Print literals. These need some special encoding for JS-format literals. Could use the Text.JSON library.

type JsParam = JsName

Convenience type for function parameters.

type JsName = QName

To be used to force name sanitization eventually.

data CompileError

Error type.

Constructors

ParseError SrcLoc String

UnsupportedDeclaration Decl

UnsupportedExportSpec ExportSpec

UnsupportedMatchSyntax Match

UnsupportedWhereInMatch Match

UnsupportedExpression Exp

UnsupportedLiteral Literal

UnsupportedLetBinding Decl

UnsupportedOperator QOp

UnsupportedPattern Pat

UnsupportedRhs Rhs

UnsupportedGuardedAlts GuardedAlts

EmptyDoBlock

UnsupportedModuleSyntax Module

LetUnsupported

InvalidDoBlock

RecursiveDoUnsupported

FfiNeedsTypeSig Decl

Instances

Eq CompileError

Data CompileError

Show CompileError

Typeable CompileError

Exception CompileError

Error CompileError

MonadError CompileError Compile

newtype Compile a

Compile monad.

Constructors

Compile

Fields

unCompile :: StateT CompileState (ErrorT CompileError IO) a

Instances

Monad Compile

Functor Compile

Applicative Compile

MonadIO Compile

MonadError CompileError Compile

MonadState CompileState Compile

class (Parseable from, Printable to) => CompilesTo from to | from -> to where

Just a convenience class to generalize the parsing/printing of various types of syntax.

Methods

compileTo :: from -> Compile to

Instances

CompilesTo Exp JsExp

CompilesTo Module [JsStmt]

CompilesTo Decl [JsStmt]

class Printable a where

Print some value.

Methods

printJS :: a -> String

Instances

Printable ModuleName

Print module name.

Printable SpecialCon

Print special constructors (tuples, list, etc.)

Printable QName

Print (and properly encode to JS) a qualified name.

Printable Name

Print (and properly encode) a name.

Printable JsLit

Print literals. These need some special encoding for JS-format literals. Could use the Text.JSON library.

Printable JsExp

Print an expression.

Printable JsStmt

Print a single statement.

Printable [JsStmt]

Print a list of statements.

data Fay a

The JavaScript FFI interfacing monad.

Instances

Monad Fay

Foreign a => Foreign (Fay a)

JS values are foreignable.

data CompileConfig

Configuration of the compiler.

Constructors

CompileConfig

Fields

configTCO :: Bool

configInlineForce :: Bool

configFlattenApps :: Bool

configExportBuiltins :: Bool

Instances

Show CompileConfig

Default CompileConfig

Default configuration.

data CompileState

State of the compiler.

Constructors

CompileState

Fields

stateConfig :: CompileConfig

stateExports :: [Name]

stateExportAll :: Bool

stateModuleName :: ModuleName

Instances

Show CompileState

MonadState CompileState Compile

data FayReturnType

Constructors

FayArray

FayList

FayString

FayBool

FayNone

Instances

Eq FayReturnType

Read FayReturnType

Show FayReturnType