git.iko.soy/elk
on dcce951 help sign in
elk/src/Generate/JavaScript/BuiltIn.hs
130 lines 2.8 kB history raw
1module Generate.JavaScript.BuiltIn
2 ( character, string
3 , list
4 , recordUpdate
5 , eq, cmp
6 , effect, outgoingPort, incomingPort
7 , crash
8 )
9 where
11import qualified Language.ECMAScript3.Syntax as JS
13import qualified AST.Module.Name as ModuleName
14import Generate.JavaScript.Helpers ((<|), (==>), call)
15import qualified Generate.JavaScript.Variable as Var
16import qualified Reporting.Region as R
20utils :: String -> [JS.Expression ()] -> JS.Expression ()
21utils func args =
22 Var.coreNative "Utils" func `call` args
25nativeList :: String -> [JS.Expression ()] -> JS.Expression ()
26nativeList func args =
27 Var.coreNative "List" func `call` args
31-- LITERALS
34character :: Char -> JS.Expression ()
35character char =
36 utils "chr" [ JS.StringLit () [char] ]
39string :: String -> JS.Expression ()
40string str =
41 JS.StringLit () str
45-- LISTS
48list :: [JS.Expression ()] -> JS.Expression ()
49list elements =
50 nativeList "fromArray" [ JS.ArrayLit () elements ]
54-- RECORDS
57recordUpdate :: JS.Expression () -> [(String, JS.Expression ())] -> JS.Expression ()
58recordUpdate record fields =
59 utils "update"
60 [ record
61 , JS.ObjectLit () (map (uncurry (==>)) fields)
62 ]
66-- COMPARISIONS
69eq :: JS.Expression () -> JS.Expression () -> JS.Expression ()
70eq left right =
71 utils "eq" [ left, right ]
74cmp :: JS.Expression () -> JS.Expression () -> JS.Expression ()
75cmp left right =
76 utils "cmp" [ left, right ]
80-- EFFECTS
83effect :: ModuleName.Canonical -> JS.Expression ()
84effect effectName =
85 Var.coreNative "Platform" "leaf" <|
86 JS.StringLit () (ModuleName.canonicalToString effectName)
89outgoingPort :: String -> JS.Expression () -> JS.Expression ()
90outgoingPort name converter =
91 Var.coreNative "Platform" "outgoingPort" `call` [ JS.StringLit () name, converter ]
94incomingPort :: String -> JS.Expression () -> JS.Expression ()
95incomingPort name converter =
96 Var.coreNative "Platform" "incomingPort" `call` [ JS.StringLit () name, converter ]
100-- CRASH
103crash :: ModuleName.Canonical -> R.Region -> Maybe (JS.Expression ()) -> JS.Expression ()
104crash home region maybeCaseCrashValue =
105 let
106 homeString =
107 JS.StringLit () (ModuleName.canonicalToString home)
108 in
109 case maybeCaseCrashValue of
110 Nothing ->
111 utils "crash" [ homeString, regionToJs region ]
113 Just crashValue ->
114 utils "crashCase" [ homeString, regionToJs region, crashValue ]
117regionToJs :: R.Region -> JS.Expression ()
118regionToJs (R.Region start end) =
119 JS.ObjectLit ()
120 [ "start" ==> positionToJs start
121 , "end" ==> positionToJs end
122 ]
125positionToJs :: R.Position -> JS.Expression ()
126positionToJs (R.Position line column) =
127 JS.ObjectLit ()
128 [ "line" ==> JS.IntLit () line
129 , "column" ==> JS.IntLit () column
130 ]