diff options
Diffstat (limited to 'ddl/out/LambdaCube.TypeInfo.purs')
-rw-r--r-- | ddl/out/LambdaCube.TypeInfo.purs | 8 |
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 | ||
4 | module LambdaCube.TypeInfo where | 4 | module LambdaCube.TypeInfo where |
5 | import Prelude | 5 | import Prelude |
@@ -36,7 +36,7 @@ data TypeInfo | |||
36 | 36 | ||
37 | data CompileResult | 37 | data 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 | |||
91 | instance encodeJsonCompileResult :: EncodeJson CompileResult where | 91 | instance 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 | ||
96 | instance decodeJsonCompileResult :: DecodeJson CompileResult where | 96 | instance 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 | ||