diff options
Diffstat (limited to 'ddl/out/TestData.purs')
-rw-r--r-- | ddl/out/TestData.purs | 17 |
1 files changed, 13 insertions, 4 deletions
diff --git a/ddl/out/TestData.purs b/ddl/out/TestData.purs index b30d329..2ac59b8 100644 --- a/ddl/out/TestData.purs +++ b/ddl/out/TestData.purs | |||
@@ -1,5 +1,5 @@ | |||
1 | -- generated file, do not modify! | 1 | -- generated file, do not modify! |
2 | -- 2016-04-01T16:25:35.381981000000Z | 2 | -- 2016-09-15T19:44:48.147167874Z |
3 | 3 | ||
4 | module TestData where | 4 | module TestData 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 | import LambdaCube.Mesh | 22 | import LambdaCube.Mesh |
@@ -95,6 +97,7 @@ instance decodeJsonClientInfo :: DecodeJson ClientInfo where | |||
95 | { clientName:clientName | 97 | { clientName:clientName |
96 | , clientBackend:clientBackend | 98 | , clientBackend:clientBackend |
97 | } | 99 | } |
100 | _ -> unsafeCrashWith "decodeJson @ ClientInfo" | ||
98 | 101 | ||
99 | instance encodeJsonFrame :: EncodeJson Frame where | 102 | instance encodeJsonFrame :: EncodeJson Frame where |
100 | encodeJson v = case v of | 103 | encodeJson v = case v of |
@@ -119,6 +122,7 @@ instance decodeJsonFrame :: DecodeJson Frame where | |||
119 | , frameUniforms:frameUniforms | 122 | , frameUniforms:frameUniforms |
120 | , frameTextures:frameTextures | 123 | , frameTextures:frameTextures |
121 | } | 124 | } |
125 | _ -> unsafeCrashWith "decodeJson @ Frame" | ||
122 | 126 | ||
123 | instance encodeJsonScene :: EncodeJson Scene where | 127 | instance encodeJsonScene :: EncodeJson Scene where |
124 | encodeJson v = case v of | 128 | encodeJson v = case v of |
@@ -146,6 +150,7 @@ instance decodeJsonScene :: DecodeJson Scene where | |||
146 | , renderTargetHeight:renderTargetHeight | 150 | , renderTargetHeight:renderTargetHeight |
147 | , frames:frames | 151 | , frames:frames |
148 | } | 152 | } |
153 | _ -> unsafeCrashWith "decodeJson @ Scene" | ||
149 | 154 | ||
150 | instance encodeJsonPipelineInfo :: EncodeJson PipelineInfo where | 155 | instance encodeJsonPipelineInfo :: EncodeJson PipelineInfo where |
151 | encodeJson v = case v of | 156 | encodeJson v = case v of |
@@ -167,6 +172,7 @@ instance decodeJsonPipelineInfo :: DecodeJson PipelineInfo where | |||
167 | { pipelineName:pipelineName | 172 | { pipelineName:pipelineName |
168 | , pipeline:pipeline | 173 | , pipeline:pipeline |
169 | } | 174 | } |
175 | _ -> unsafeCrashWith "decodeJson @ PipelineInfo" | ||
170 | 176 | ||
171 | instance encodeJsonRenderJob :: EncodeJson RenderJob where | 177 | instance encodeJsonRenderJob :: EncodeJson RenderJob where |
172 | encodeJson v = case v of | 178 | encodeJson v = case v of |
@@ -197,6 +203,7 @@ instance decodeJsonRenderJob :: DecodeJson RenderJob where | |||
197 | , scenes:scenes | 203 | , scenes:scenes |
198 | , pipelines:pipelines | 204 | , pipelines:pipelines |
199 | } | 205 | } |
206 | _ -> unsafeCrashWith "decodeJson @ RenderJob" | ||
200 | 207 | ||
201 | instance encodeJsonFrameResult :: EncodeJson FrameResult where | 208 | instance encodeJsonFrameResult :: EncodeJson FrameResult where |
202 | encodeJson v = case v of | 209 | encodeJson v = case v of |
@@ -221,6 +228,7 @@ instance decodeJsonFrameResult :: DecodeJson FrameResult where | |||
221 | , frImageWidth:frImageWidth | 228 | , frImageWidth:frImageWidth |
222 | , frImageHeight:frImageHeight | 229 | , frImageHeight:frImageHeight |
223 | } | 230 | } |
231 | _ -> unsafeCrashWith "decodeJson @ FrameResult" | ||
224 | 232 | ||
225 | instance encodeJsonRenderJobResult :: EncodeJson RenderJobResult where | 233 | instance encodeJsonRenderJobResult :: EncodeJson RenderJobResult where |
226 | encodeJson v = case v of | 234 | encodeJson v = case v of |
@@ -234,4 +242,5 @@ instance decodeJsonRenderJobResult :: DecodeJson RenderJobResult where | |||
234 | case tag of | 242 | case tag of |
235 | "RenderJobResult" -> RenderJobResult <$> obj .? "arg0" | 243 | "RenderJobResult" -> RenderJobResult <$> obj .? "arg0" |
236 | "RenderJobError" -> RenderJobError <$> obj .? "arg0" | 244 | "RenderJobError" -> RenderJobError <$> obj .? "arg0" |
245 | _ -> unsafeCrashWith "decodeJson @ RenderJobResult" | ||
237 | 246 | ||