summaryrefslogtreecommitdiff
path: root/ddl/out/LambdaCube.TypeInfo.hs
diff options
context:
space:
mode:
Diffstat (limited to 'ddl/out/LambdaCube.TypeInfo.hs')
-rw-r--r--ddl/out/LambdaCube.TypeInfo.hs8
1 files changed, 4 insertions, 4 deletions
diff --git a/ddl/out/LambdaCube.TypeInfo.hs b/ddl/out/LambdaCube.TypeInfo.hs
index 38a3e48..77ccbfd 100644
--- a/ddl/out/LambdaCube.TypeInfo.hs
+++ b/ddl/out/LambdaCube.TypeInfo.hs
@@ -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{-# LANGUAGE OverloadedStrings, RecordWildCards #-} 4{-# LANGUAGE OverloadedStrings, RecordWildCards #-}
5module LambdaCube.TypeInfo where 5module LambdaCube.TypeInfo where
@@ -37,7 +37,7 @@ data TypeInfo
37 37
38data CompileResult 38data CompileResult
39 = CompileError (Vector Range) String (Vector TypeInfo) 39 = CompileError (Vector Range) String (Vector TypeInfo)
40 | Compiled String Pipeline (Vector TypeInfo) 40 | Compiled String String Pipeline (Vector TypeInfo)
41 deriving (Show, Eq, Ord) 41 deriving (Show, Eq, Ord)
42 42
43 43
@@ -92,13 +92,13 @@ instance FromJSON TypeInfo where
92instance ToJSON CompileResult where 92instance ToJSON CompileResult where
93 toJSON v = case v of 93 toJSON v = case v of
94 CompileError arg0 arg1 arg2 -> object [ "tag" .= ("CompileError" :: Text), "arg0" .= arg0, "arg1" .= arg1, "arg2" .= arg2] 94 CompileError arg0 arg1 arg2 -> object [ "tag" .= ("CompileError" :: Text), "arg0" .= arg0, "arg1" .= arg1, "arg2" .= arg2]
95 Compiled arg0 arg1 arg2 -> object [ "tag" .= ("Compiled" :: Text), "arg0" .= arg0, "arg1" .= arg1, "arg2" .= arg2] 95 Compiled arg0 arg1 arg2 arg3 -> object [ "tag" .= ("Compiled" :: Text), "arg0" .= arg0, "arg1" .= arg1, "arg2" .= arg2, "arg3" .= arg3]
96 96
97instance FromJSON CompileResult where 97instance FromJSON CompileResult where
98 parseJSON (Object obj) = do 98 parseJSON (Object obj) = do
99 tag <- obj .: "tag" 99 tag <- obj .: "tag"
100 case tag :: Text of 100 case tag :: Text 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 parseJSON _ = mzero 103 parseJSON _ = mzero
104 104