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.purs16
1 files changed, 8 insertions, 8 deletions
diff --git a/ddl/out/LambdaCube.TypeInfo.purs b/ddl/out/LambdaCube.TypeInfo.purs
index 28854e1..a7b5705 100644
--- a/ddl/out/LambdaCube.TypeInfo.purs
+++ b/ddl/out/LambdaCube.TypeInfo.purs
@@ -1,14 +1,15 @@
1-- generated file, do not modify! 1-- generated file, do not modify!
2-- 2016-11-11T11:17:03.605012000000Z 2-- 2016-11-12T12:48:59.998839000000Z
3 3
4module LambdaCube.TypeInfo where 4module LambdaCube.TypeInfo where
5import Prelude 5import Prelude
6import Data.Generic 6import Data.Generic
7import Data.Either (Either(..))
7import Data.Maybe (Maybe(..)) 8import Data.Maybe (Maybe(..))
8import Data.StrMap (StrMap(..)) 9import Data.StrMap (StrMap(..))
9import Data.Map (Map(..)) 10import Data.Map (Map(..))
10import Data.List (List(..)) 11import Data.List (List(..))
11import Linear 12import LinearBase
12 13
13import Data.Argonaut.Encode.Combinators ((~>), (:=)) 14import Data.Argonaut.Encode.Combinators ((~>), (:=))
14import Data.Argonaut.Decode.Combinators ((.?)) 15import Data.Argonaut.Decode.Combinators ((.?))
@@ -16,7 +17,6 @@ import Data.Argonaut.Core (jsonEmptyObject)
16import Data.Argonaut.Printer (printJson) 17import Data.Argonaut.Printer (printJson)
17import Data.Argonaut.Encode (class EncodeJson, encodeJson) 18import Data.Argonaut.Encode (class EncodeJson, encodeJson)
18import Data.Argonaut.Decode (class DecodeJson, decodeJson) 19import Data.Argonaut.Decode (class DecodeJson, decodeJson)
19import Partial.Unsafe (unsafeCrashWith)
20 20
21import LambdaCube.IR 21import LambdaCube.IR
22 22
@@ -82,7 +82,7 @@ instance decodeJsonRange :: DecodeJson Range where
82 , endLine:endLine 82 , endLine:endLine
83 , endColumn:endColumn 83 , endColumn:endColumn
84 } 84 }
85 _ -> unsafeCrashWith "decodeJson @ Range" 85 _ -> Left ("decodeJsonRange - unknown tag: " <> tag)
86 86
87instance encodeJsonTypeInfo :: EncodeJson TypeInfo where 87instance encodeJsonTypeInfo :: EncodeJson TypeInfo where
88 encodeJson v = case v of 88 encodeJson v = case v of
@@ -104,7 +104,7 @@ instance decodeJsonTypeInfo :: DecodeJson TypeInfo where
104 { range:range 104 { range:range
105 , text:text 105 , text:text
106 } 106 }
107 _ -> unsafeCrashWith "decodeJson @ TypeInfo" 107 _ -> Left ("decodeJsonTypeInfo - unknown tag: " <> tag)
108 108
109instance encodeJsonWarningInfo :: EncodeJson WarningInfo where 109instance encodeJsonWarningInfo :: EncodeJson WarningInfo where
110 encodeJson v = case v of 110 encodeJson v = case v of
@@ -126,7 +126,7 @@ instance decodeJsonWarningInfo :: DecodeJson WarningInfo where
126 { wRange:wRange 126 { wRange:wRange
127 , wText:wText 127 , wText:wText
128 } 128 }
129 _ -> unsafeCrashWith "decodeJson @ WarningInfo" 129 _ -> Left ("decodeJsonWarningInfo - unknown tag: " <> tag)
130 130
131instance encodeJsonErrorInfo :: EncodeJson ErrorInfo where 131instance encodeJsonErrorInfo :: EncodeJson ErrorInfo where
132 encodeJson v = case v of 132 encodeJson v = case v of
@@ -148,7 +148,7 @@ instance decodeJsonErrorInfo :: DecodeJson ErrorInfo where
148 { eRange:eRange 148 { eRange:eRange
149 , eText:eText 149 , eText:eText
150 } 150 }
151 _ -> unsafeCrashWith "decodeJson @ ErrorInfo" 151 _ -> Left ("decodeJsonErrorInfo - unknown tag: " <> tag)
152 152
153instance encodeJsonCompileResult :: EncodeJson CompileResult where 153instance encodeJsonCompileResult :: EncodeJson CompileResult where
154 encodeJson v = case v of 154 encodeJson v = case v of
@@ -162,5 +162,5 @@ instance decodeJsonCompileResult :: DecodeJson CompileResult where
162 case tag of 162 case tag of
163 "CompileError" -> CompileError <$> obj .? "arg0" <*> obj .? "arg1" <*> obj .? "arg2" <*> obj .? "arg3" 163 "CompileError" -> CompileError <$> obj .? "arg0" <*> obj .? "arg1" <*> obj .? "arg2" <*> obj .? "arg3"
164 "Compiled" -> Compiled <$> obj .? "arg0" <*> obj .? "arg1" <*> obj .? "arg2" <*> obj .? "arg3" <*> obj .? "arg4" 164 "Compiled" -> Compiled <$> obj .? "arg0" <*> obj .? "arg1" <*> obj .? "arg2" <*> obj .? "arg3" <*> obj .? "arg4"
165 _ -> unsafeCrashWith "decodeJson @ CompileResult" 165 _ -> Left ("decodeJsonCompileResult - unknown tag: " <> tag)
166 166