diff options
Diffstat (limited to 'ddl/out/LambdaCube.PipelineSchema.purs')
-rw-r--r-- | ddl/out/LambdaCube.PipelineSchema.purs | 13 |
1 files changed, 9 insertions, 4 deletions
diff --git a/ddl/out/LambdaCube.PipelineSchema.purs b/ddl/out/LambdaCube.PipelineSchema.purs index 315cc31..167193e 100644 --- a/ddl/out/LambdaCube.PipelineSchema.purs +++ b/ddl/out/LambdaCube.PipelineSchema.purs | |||
@@ -1,5 +1,5 @@ | |||
1 | -- generated file, do not modify! | 1 | -- generated file, do not modify! |
2 | -- 2016-04-01T16:25:35.172905000000Z | 2 | -- 2016-09-15T19:44:48.052942639Z |
3 | 3 | ||
4 | module LambdaCube.PipelineSchema where | 4 | module LambdaCube.PipelineSchema 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 | ||
@@ -107,6 +109,7 @@ instance decodeJsonStreamType :: DecodeJson StreamType where | |||
107 | "Attribute_M42F" -> pure Attribute_M42F | 109 | "Attribute_M42F" -> pure Attribute_M42F |
108 | "Attribute_M43F" -> pure Attribute_M43F | 110 | "Attribute_M43F" -> pure Attribute_M43F |
109 | "Attribute_M44F" -> pure Attribute_M44F | 111 | "Attribute_M44F" -> pure Attribute_M44F |
112 | _ -> unsafeCrashWith "decodeJson @ StreamType" | ||
110 | 113 | ||
111 | instance encodeJsonObjectArraySchema :: EncodeJson ObjectArraySchema where | 114 | instance encodeJsonObjectArraySchema :: EncodeJson ObjectArraySchema where |
112 | encodeJson v = case v of | 115 | encodeJson v = case v of |
@@ -128,6 +131,7 @@ instance decodeJsonObjectArraySchema :: DecodeJson ObjectArraySchema where | |||
128 | { primitive:primitive | 131 | { primitive:primitive |
129 | , attributes:attributes | 132 | , attributes:attributes |
130 | } | 133 | } |
134 | _ -> unsafeCrashWith "decodeJson @ ObjectArraySchema" | ||
131 | 135 | ||
132 | instance encodeJsonPipelineSchema :: EncodeJson PipelineSchema where | 136 | instance encodeJsonPipelineSchema :: EncodeJson PipelineSchema where |
133 | encodeJson v = case v of | 137 | encodeJson v = case v of |
@@ -149,4 +153,5 @@ instance decodeJsonPipelineSchema :: DecodeJson PipelineSchema where | |||
149 | { objectArrays:objectArrays | 153 | { objectArrays:objectArrays |
150 | , uniforms:uniforms | 154 | , uniforms:uniforms |
151 | } | 155 | } |
156 | _ -> unsafeCrashWith "decodeJson @ PipelineSchema" | ||
152 | 157 | ||