Language.Fay.Compiler.Misc

Miscellaneous functions used throughout the compiler.

Documentation

unname :: Name -> String

Extra the string from an ident.

fayBuiltin :: String -> QName

Make an identifier from the built-in HJ module.

thunk :: JsExp -> JsExp

Wrap an expression in a thunk.

stmtsThunk :: [JsStmt] -> JsExp

Wrap an expression in a thunk.

uniqueNames :: [JsName]

Generate unique names.

resolveName :: QName -> Compile QName

Resolve a given maybe-qualified name to a fully qualifed name.

simpleImport :: NameScope -> Bool

Do have have a simple import X import on our hands?

qualify :: Name -> Compile QName

Qualify a name for the current module.

bindToplevel :: SrcLoc -> Bool -> Name -> JsExp -> Compile JsStmt

Make a top-level binding.

withScope :: Compile a -> Compile a

Create a temporary scope and discard it after the given computation.

generateScope :: Compile a -> Compile ()

Run a compiler and just get the scope information.

bindVar :: Name -> Compile ()

Bind a variable in the current scope.

emitExport :: ExportSpec -> Compile ()

Emit exported names.

force :: JsExp -> JsExp

Force an expression in a thunk.

isConstant :: JsExp -> Bool

Is a JS expression a literal (constant)?

parseResult :: ((SrcLoc, String) -> b) -> (a -> b) -> ParseResult a -> b

Extract the string from a qname. qname :: QName -> String qname (UnQual (Ident str)) = str qname (UnQual (Symbol sym)) = jsEncodeName sym qname i = error $ qname: Expected unqualified ident, found: ++ show i -- FIXME:

Deconstruct a parse result (a la maybe, foldr, either).

config :: (CompileConfig -> a) -> Compile a

Get a config option.

optimizePatConditions :: [[JsStmt]] -> [[JsStmt]]

Optimize pattern matching conditions by merging conditions in common.

throw :: String -> JsExp -> JsStmt

Throw a JS exception.

throwExp :: String -> JsExp -> JsExp

Throw a JS exception (in an expression).

isWildCardAlt :: Alt -> Bool

Is an alt a wildcard?

isWildCardPat :: Pat -> Bool

Is a pattern a wildcard?

withScopedTmpJsName :: (JsName -> Compile a) -> Compile a

Generate a temporary, SCOPED name for testing conditions and such.

withScopedTmpName :: (Name -> Compile a) -> Compile a

Generate a temporary, SCOPED name for testing conditions and such. We don't have name tracking yet, so instead we use this.