crux-0.7: Simple top-level library for Crucible Simulation
Safe HaskellSafe-Inferred
LanguageHaskell2010

Crux.UI.JS

Description

Utilites for generating JSON

Documentation

jsLoc :: ProgramLoc -> IO (Maybe JS) Source #

newtype JS Source #

Constructors

JS 

Fields

jsList :: [JS] -> JS Source #

(~>) :: a -> b -> (a, b) infix 1 Source #

jsObj :: [(String, JS)] -> JS Source #

jsBool :: Bool -> JS Source #

jsStr :: String -> JS Source #

jsNull :: JS Source #

jsMaybe :: Maybe JS -> JS Source #

jsNum :: Show a => a -> JS Source #