blob: bab2a91f72056088a06a98e58221b19a2027c1d9 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
|
-- generated file, do not modify!
-- 2016-11-15T20:33:23.372931000000Z
module LambdaCube.PipelineSchema where
import Prelude
import Data.Generic
import Data.Either (Either(..))
import Data.Maybe (Maybe(..))
import Data.StrMap (StrMap(..))
import Data.Map (Map(..))
import Data.List (List(..))
import LambdaCube.LinearBase
import Data.Argonaut.Encode.Combinators ((~>), (:=))
import Data.Argonaut.Decode.Combinators ((.?))
import Data.Argonaut.Core (jsonEmptyObject)
import Data.Argonaut.Printer (printJson)
import Data.Argonaut.Encode (class EncodeJson, encodeJson)
import Data.Argonaut.Decode (class DecodeJson, decodeJson)
import LambdaCube.IR
data StreamType
= Attribute_Word
| Attribute_V2U
| Attribute_V3U
| Attribute_V4U
| Attribute_Int
| Attribute_V2I
| Attribute_V3I
| Attribute_V4I
| Attribute_Float
| Attribute_V2F
| Attribute_V3F
| Attribute_V4F
| Attribute_M22F
| Attribute_M23F
| Attribute_M24F
| Attribute_M32F
| Attribute_M33F
| Attribute_M34F
| Attribute_M42F
| Attribute_M43F
| Attribute_M44F
data ObjectArraySchema
= ObjectArraySchema
{ primitive :: FetchPrimitive
, attributes :: StrMap StreamType
}
data PipelineSchema
= PipelineSchema
{ objectArrays :: StrMap ObjectArraySchema
, uniforms :: StrMap InputType
}
derive instance genericStreamType :: Generic StreamType
instance showStreamType :: Show StreamType where show = gShow
instance eqStreamType :: Eq StreamType where eq = gEq
instance encodeJsonStreamType :: EncodeJson StreamType where
encodeJson v = case v of
Attribute_Word -> "tag" := "Attribute_Word" ~> jsonEmptyObject
Attribute_V2U -> "tag" := "Attribute_V2U" ~> jsonEmptyObject
Attribute_V3U -> "tag" := "Attribute_V3U" ~> jsonEmptyObject
Attribute_V4U -> "tag" := "Attribute_V4U" ~> jsonEmptyObject
Attribute_Int -> "tag" := "Attribute_Int" ~> jsonEmptyObject
Attribute_V2I -> "tag" := "Attribute_V2I" ~> jsonEmptyObject
Attribute_V3I -> "tag" := "Attribute_V3I" ~> jsonEmptyObject
Attribute_V4I -> "tag" := "Attribute_V4I" ~> jsonEmptyObject
Attribute_Float -> "tag" := "Attribute_Float" ~> jsonEmptyObject
Attribute_V2F -> "tag" := "Attribute_V2F" ~> jsonEmptyObject
Attribute_V3F -> "tag" := "Attribute_V3F" ~> jsonEmptyObject
Attribute_V4F -> "tag" := "Attribute_V4F" ~> jsonEmptyObject
Attribute_M22F -> "tag" := "Attribute_M22F" ~> jsonEmptyObject
Attribute_M23F -> "tag" := "Attribute_M23F" ~> jsonEmptyObject
Attribute_M24F -> "tag" := "Attribute_M24F" ~> jsonEmptyObject
Attribute_M32F -> "tag" := "Attribute_M32F" ~> jsonEmptyObject
Attribute_M33F -> "tag" := "Attribute_M33F" ~> jsonEmptyObject
Attribute_M34F -> "tag" := "Attribute_M34F" ~> jsonEmptyObject
Attribute_M42F -> "tag" := "Attribute_M42F" ~> jsonEmptyObject
Attribute_M43F -> "tag" := "Attribute_M43F" ~> jsonEmptyObject
Attribute_M44F -> "tag" := "Attribute_M44F" ~> jsonEmptyObject
instance decodeJsonStreamType :: DecodeJson StreamType where
decodeJson json = do
obj <- decodeJson json
tag <- obj .? "tag"
case tag of
"Attribute_Word" -> pure Attribute_Word
"Attribute_V2U" -> pure Attribute_V2U
"Attribute_V3U" -> pure Attribute_V3U
"Attribute_V4U" -> pure Attribute_V4U
"Attribute_Int" -> pure Attribute_Int
"Attribute_V2I" -> pure Attribute_V2I
"Attribute_V3I" -> pure Attribute_V3I
"Attribute_V4I" -> pure Attribute_V4I
"Attribute_Float" -> pure Attribute_Float
"Attribute_V2F" -> pure Attribute_V2F
"Attribute_V3F" -> pure Attribute_V3F
"Attribute_V4F" -> pure Attribute_V4F
"Attribute_M22F" -> pure Attribute_M22F
"Attribute_M23F" -> pure Attribute_M23F
"Attribute_M24F" -> pure Attribute_M24F
"Attribute_M32F" -> pure Attribute_M32F
"Attribute_M33F" -> pure Attribute_M33F
"Attribute_M34F" -> pure Attribute_M34F
"Attribute_M42F" -> pure Attribute_M42F
"Attribute_M43F" -> pure Attribute_M43F
"Attribute_M44F" -> pure Attribute_M44F
_ -> Left ("decodeJsonStreamType - unknown tag: " <> tag)
instance encodeJsonObjectArraySchema :: EncodeJson ObjectArraySchema where
encodeJson v = case v of
ObjectArraySchema r ->
"tag" := "ObjectArraySchema" ~>
"primitive" := r.primitive ~>
"attributes" := r.attributes ~>
jsonEmptyObject
instance decodeJsonObjectArraySchema :: DecodeJson ObjectArraySchema where
decodeJson json = do
obj <- decodeJson json
tag <- obj .? "tag"
case tag of
"ObjectArraySchema" -> do
primitive <- obj .? "primitive"
attributes <- obj .? "attributes"
pure $ ObjectArraySchema
{ primitive:primitive
, attributes:attributes
}
_ -> Left ("decodeJsonObjectArraySchema - unknown tag: " <> tag)
instance encodeJsonPipelineSchema :: EncodeJson PipelineSchema where
encodeJson v = case v of
PipelineSchema r ->
"tag" := "PipelineSchema" ~>
"objectArrays" := r.objectArrays ~>
"uniforms" := r.uniforms ~>
jsonEmptyObject
instance decodeJsonPipelineSchema :: DecodeJson PipelineSchema where
decodeJson json = do
obj <- decodeJson json
tag <- obj .? "tag"
case tag of
"PipelineSchema" -> do
objectArrays <- obj .? "objectArrays"
uniforms <- obj .? "uniforms"
pure $ PipelineSchema
{ objectArrays:objectArrays
, uniforms:uniforms
}
_ -> Left ("decodeJsonPipelineSchema - unknown tag: " <> tag)
|
