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.purs13
1 files changed, 9 insertions, 4 deletions
diff --git a/ddl/out/LambdaCube.TypeInfo.purs b/ddl/out/LambdaCube.TypeInfo.purs
index 2e357af..eee3d0c 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-04-01T16:25:35.327304000000Z 2-- 2016-09-15T19:44:48.120020034Z
3 3
4module LambdaCube.TypeInfo where 4module LambdaCube.TypeInfo where
5import Prelude 5import Prelude
@@ -10,11 +10,13 @@ import Data.Map (Map(..))
10import Data.List (List(..)) 10import Data.List (List(..))
11import Linear 11import Linear
12 12
13import Data.Argonaut.Combinators ((~>), (:=), (.?)) 13import Data.Argonaut.Encode.Combinators ((~>), (:=))
14import Data.Argonaut.Decode.Combinators ((.?))
14import Data.Argonaut.Core (jsonEmptyObject) 15import Data.Argonaut.Core (jsonEmptyObject)
15import Data.Argonaut.Printer (printJson) 16import Data.Argonaut.Printer (printJson)
16import Data.Argonaut.Encode (EncodeJson, encodeJson) 17import Data.Argonaut.Encode (class EncodeJson, encodeJson)
17import Data.Argonaut.Decode (DecodeJson, decodeJson) 18import Data.Argonaut.Decode (class DecodeJson, decodeJson)
19import Partial.Unsafe (unsafeCrashWith)
18 20
19import LambdaCube.IR 21import LambdaCube.IR
20 22
@@ -66,6 +68,7 @@ instance decodeJsonRange :: DecodeJson Range where
66 , endLine:endLine 68 , endLine:endLine
67 , endColumn:endColumn 69 , endColumn:endColumn
68 } 70 }
71 _ -> unsafeCrashWith "decodeJson @ Range"
69 72
70instance encodeJsonTypeInfo :: EncodeJson TypeInfo where 73instance encodeJsonTypeInfo :: EncodeJson TypeInfo where
71 encodeJson v = case v of 74 encodeJson v = case v of
@@ -87,6 +90,7 @@ instance decodeJsonTypeInfo :: DecodeJson TypeInfo where
87 { range:range 90 { range:range
88 , text:text 91 , text:text
89 } 92 }
93 _ -> unsafeCrashWith "decodeJson @ TypeInfo"
90 94
91instance encodeJsonCompileResult :: EncodeJson CompileResult where 95instance encodeJsonCompileResult :: EncodeJson CompileResult where
92 encodeJson v = case v of 96 encodeJson v = case v of
@@ -100,4 +104,5 @@ instance decodeJsonCompileResult :: DecodeJson CompileResult where
100 case tag of 104 case tag of
101 "CompileError" -> CompileError <$> obj .? "arg0" <*> obj .? "arg1" <*> obj .? "arg2" 105 "CompileError" -> CompileError <$> obj .? "arg0" <*> obj .? "arg1" <*> obj .? "arg2"
102 "Compiled" -> Compiled <$> obj .? "arg0" <*> obj .? "arg1" <*> obj .? "arg2" <*> obj .? "arg3" 106 "Compiled" -> Compiled <$> obj .? "arg0" <*> obj .? "arg1" <*> obj .? "arg2" <*> obj .? "arg3"
107 _ -> unsafeCrashWith "decodeJson @ CompileResult"
103 108