diff options
Diffstat (limited to 'ddl/out/LambdaCube.TypeInfo.purs')
-rw-r--r-- | ddl/out/LambdaCube.TypeInfo.purs | 13 |
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 | ||
4 | module LambdaCube.TypeInfo where | 4 | module LambdaCube.TypeInfo where |
5 | import Prelude | 5 | import Prelude |
@@ -10,11 +10,13 @@ import Data.Map (Map(..)) | |||
10 | import Data.List (List(..)) | 10 | import Data.List (List(..)) |
11 | import Linear | 11 | import Linear |
12 | 12 | ||
13 | import Data.Argonaut.Combinators ((~>), (:=), (.?)) | 13 | import Data.Argonaut.Encode.Combinators ((~>), (:=)) |
14 | import Data.Argonaut.Decode.Combinators ((.?)) | ||
14 | import Data.Argonaut.Core (jsonEmptyObject) | 15 | import Data.Argonaut.Core (jsonEmptyObject) |
15 | import Data.Argonaut.Printer (printJson) | 16 | import Data.Argonaut.Printer (printJson) |
16 | import Data.Argonaut.Encode (EncodeJson, encodeJson) | 17 | import Data.Argonaut.Encode (class EncodeJson, encodeJson) |
17 | import Data.Argonaut.Decode (DecodeJson, decodeJson) | 18 | import Data.Argonaut.Decode (class DecodeJson, decodeJson) |
19 | import Partial.Unsafe (unsafeCrashWith) | ||
18 | 20 | ||
19 | import LambdaCube.IR | 21 | import 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 | ||
70 | instance encodeJsonTypeInfo :: EncodeJson TypeInfo where | 73 | instance 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 | ||
91 | instance encodeJsonCompileResult :: EncodeJson CompileResult where | 95 | instance 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 | ||