summaryrefslogtreecommitdiff
path: root/ddl/out/LambdaCube.TypeInfo.purs
diff options
context:
space:
mode:
Diffstat (limited to 'ddl/out/LambdaCube.TypeInfo.purs')
-rw-r--r--ddl/out/LambdaCube.TypeInfo.purs8
1 files changed, 4 insertions, 4 deletions
diff --git a/ddl/out/LambdaCube.TypeInfo.purs b/ddl/out/LambdaCube.TypeInfo.purs
index 87af438..1b7cef8 100644
--- a/ddl/out/LambdaCube.TypeInfo.purs
+++ b/ddl/out/LambdaCube.TypeInfo.purs
@@ -1,5 +1,5 @@
1-- generated file, do not modify! 1-- generated file, do not modify!
2-- 2016-02-26T11:37:22.609565000000Z 2-- 2016-03-01T13:00:40.810157000000Z
3 3
4module LambdaCube.TypeInfo where 4module LambdaCube.TypeInfo where
5import Prelude 5import Prelude
@@ -36,7 +36,7 @@ data TypeInfo
36 36
37data CompileResult 37data CompileResult
38 = CompileError (Array Range) String (Array TypeInfo) 38 = CompileError (Array Range) String (Array TypeInfo)
39 | Compiled String Pipeline (Array TypeInfo) 39 | Compiled String String Pipeline (Array TypeInfo)
40 40
41 41
42 42
@@ -91,7 +91,7 @@ instance decodeJsonTypeInfo :: DecodeJson TypeInfo where
91instance encodeJsonCompileResult :: EncodeJson CompileResult where 91instance encodeJsonCompileResult :: EncodeJson CompileResult where
92 encodeJson v = case v of 92 encodeJson v = case v of
93 CompileError arg0 arg1 arg2 -> "tag" := "CompileError" ~> "arg0" := arg0 ~> "arg1" := arg1 ~> "arg2" := arg2 ~> jsonEmptyObject 93 CompileError arg0 arg1 arg2 -> "tag" := "CompileError" ~> "arg0" := arg0 ~> "arg1" := arg1 ~> "arg2" := arg2 ~> jsonEmptyObject
94 Compiled arg0 arg1 arg2 -> "tag" := "Compiled" ~> "arg0" := arg0 ~> "arg1" := arg1 ~> "arg2" := arg2 ~> jsonEmptyObject 94 Compiled arg0 arg1 arg2 arg3 -> "tag" := "Compiled" ~> "arg0" := arg0 ~> "arg1" := arg1 ~> "arg2" := arg2 ~> "arg3" := arg3 ~> jsonEmptyObject
95 95
96instance decodeJsonCompileResult :: DecodeJson CompileResult where 96instance decodeJsonCompileResult :: DecodeJson CompileResult where
97 decodeJson json = do 97 decodeJson json = do
@@ -99,5 +99,5 @@ instance decodeJsonCompileResult :: DecodeJson CompileResult where
99 tag <- obj .? "tag" 99 tag <- obj .? "tag"
100 case tag of 100 case tag of
101 "CompileError" -> CompileError <$> obj .? "arg0" <*> obj .? "arg1" <*> obj .? "arg2" 101 "CompileError" -> CompileError <$> obj .? "arg0" <*> obj .? "arg1" <*> obj .? "arg2"
102 "Compiled" -> Compiled <$> obj .? "arg0" <*> obj .? "arg1" <*> obj .? "arg2" 102 "Compiled" -> Compiled <$> obj .? "arg0" <*> obj .? "arg1" <*> obj .? "arg2" <*> obj .? "arg3"
103 103