diff options
author | Péter Diviánszky <divipp@gmail.com> | 2016-05-03 14:49:17 +0200 |
---|---|---|
committer | Péter Diviánszky <divipp@gmail.com> | 2016-05-03 14:49:17 +0200 |
commit | 1b49cc7e377e6c16d6c5bc4cced39dc20b8c0bec (patch) | |
tree | 79931726bcef4f09d556d588e00cd917f43b86e3 /testdata/Builtins.out | |
parent | 05521f428c8805a693b8ad4fa5dd139eaf562362 (diff) |
refactoring
Diffstat (limited to 'testdata/Builtins.out')
-rw-r--r-- | testdata/Builtins.out | 218 |
1 files changed, 109 insertions, 109 deletions
diff --git a/testdata/Builtins.out b/testdata/Builtins.out index 4010c01b..96574724 100644 --- a/testdata/Builtins.out +++ b/testdata/Builtins.out | |||
@@ -5,7 +5,7 @@ data VecS (_ :: Type) :: Nat -> Type where | |||
5 | V3 :: forall b . b -> b -> b -> VecS b (fromInt 3) | 5 | V3 :: forall b . b -> b -> b -> VecS b (fromInt 3) |
6 | V4 :: forall c . c -> c -> c -> c -> VecS c (fromInt 4) | 6 | V4 :: forall c . c -> c -> c -> c -> VecS c (fromInt 4) |
7 | mapVec | 7 | mapVec |
8 | = (\(a :: _) (b :: _) -> 'VecSCase | 8 | = (\(a :: _) (b :: _) -> case'VecS |
9 | \_ -> \_ -> _ :: _ | 9 | \_ -> \_ -> _ :: _ |
10 | \(c :: _) (d :: _) -> _rhs (V2 (a c) (a d)) | 10 | \(c :: _) (d :: _) -> _rhs (V2 (a c) (a d)) |
11 | \(e :: _) (f :: _) (g :: _) -> _rhs (V3 (a e) (a f) (a g)) | 11 | \(e :: _) (f :: _) (g :: _) -> _rhs (V3 (a e) (a f) (a g)) |
@@ -14,10 +14,10 @@ mapVec | |||
14 | :: forall (l :: _) (m :: _) (n :: _) . (l -> m) -> VecS l n -> VecS m n | 14 | :: forall (l :: _) (m :: _) (n :: _) . (l -> m) -> VecS l n -> VecS m n |
15 | 'Vec = (\(a :: _) (b :: _) -> _rhs ('VecS b a)) :: Nat -> Type -> Type | 15 | 'Vec = (\(a :: _) (b :: _) -> _rhs ('VecS b a)) :: Nat -> Type -> Type |
16 | 'VecScalar | 16 | 'VecScalar |
17 | = (\(a :: _) (b :: _) -> 'NatCase | 17 | = (\(a :: _) (b :: _) -> case'Nat |
18 | \_ -> _ :: _ | 18 | \_ -> _ :: _ |
19 | undefined | 19 | undefined |
20 | \(c :: _) -> 'NatCase | 20 | \(c :: _) -> case'Nat |
21 | \_ -> _ :: _ | 21 | \_ -> _ :: _ |
22 | (_rhs b) | 22 | (_rhs b) |
23 | \(d :: _) -> _rhs ('Vec (Succ (Succ d)) b) | 23 | \(d :: _) -> _rhs ('Vec (Succ (Succ d)) b) |
@@ -108,19 +108,19 @@ data Mat :: Nat -> Nat -> Type -> Type where | |||
108 | \_ -> _ | 108 | \_ -> _ |
109 | \(b :: _) (c :: _) -> match'Float | 109 | \(b :: _) (c :: _) -> match'Float |
110 | \_ -> _ | 110 | \_ -> _ |
111 | ('NatCase | 111 | (case'Nat |
112 | \_ -> _ :: _ | 112 | \_ -> _ :: _ |
113 | (_rhs ('Empty "no instance of 'Component on ???")) | 113 | (_rhs ('Empty "no instance of 'Component on ???")) |
114 | \(d :: _) -> 'NatCase | 114 | \(d :: _) -> case'Nat |
115 | \_ -> _ :: _ | 115 | \_ -> _ :: _ |
116 | (_rhs ('Empty "no instance of 'Component on ???")) | 116 | (_rhs ('Empty "no instance of 'Component on ???")) |
117 | \(e :: _) -> 'NatCase | 117 | \(e :: _) -> case'Nat |
118 | \_ -> _ :: _ | 118 | \_ -> _ :: _ |
119 | (_rhs 'Unit) | 119 | (_rhs 'Unit) |
120 | \(f :: _) -> 'NatCase | 120 | \(f :: _) -> case'Nat |
121 | \_ -> _ :: _ | 121 | \_ -> _ :: _ |
122 | (_rhs 'Unit) | 122 | (_rhs 'Unit) |
123 | \(g :: _) -> 'NatCase | 123 | \(g :: _) -> case'Nat |
124 | \_ -> _ :: _ | 124 | \_ -> _ :: _ |
125 | (_rhs 'Unit) | 125 | (_rhs 'Unit) |
126 | \_ -> _rhs ('Empty "no instance of 'Component on ???") | 126 | \_ -> _rhs ('Empty "no instance of 'Component on ???") |
@@ -132,19 +132,19 @@ data Mat :: Nat -> Nat -> Type -> Type where | |||
132 | b | 132 | b |
133 | (match'Bool | 133 | (match'Bool |
134 | \_ -> _ | 134 | \_ -> _ |
135 | ('NatCase | 135 | (case'Nat |
136 | \_ -> _ :: _ | 136 | \_ -> _ :: _ |
137 | (_rhs ('Empty "no instance of 'Component on ???")) | 137 | (_rhs ('Empty "no instance of 'Component on ???")) |
138 | \(h :: _) -> 'NatCase | 138 | \(h :: _) -> case'Nat |
139 | \_ -> _ :: _ | 139 | \_ -> _ :: _ |
140 | (_rhs ('Empty "no instance of 'Component on ???")) | 140 | (_rhs ('Empty "no instance of 'Component on ???")) |
141 | \(i :: _) -> 'NatCase | 141 | \(i :: _) -> case'Nat |
142 | \_ -> _ :: _ | 142 | \_ -> _ :: _ |
143 | (_rhs 'Unit) | 143 | (_rhs 'Unit) |
144 | \(j :: _) -> 'NatCase | 144 | \(j :: _) -> case'Nat |
145 | \_ -> _ :: _ | 145 | \_ -> _ :: _ |
146 | (_rhs 'Unit) | 146 | (_rhs 'Unit) |
147 | \(k :: _) -> 'NatCase | 147 | \(k :: _) -> case'Nat |
148 | \_ -> _ :: _ | 148 | \_ -> _ :: _ |
149 | (_rhs 'Unit) | 149 | (_rhs 'Unit) |
150 | \_ -> _rhs ('Empty "no instance of 'Component on ???") | 150 | \_ -> _rhs ('Empty "no instance of 'Component on ???") |
@@ -179,19 +179,19 @@ zero | |||
179 | \_ -> _ | 179 | \_ -> _ |
180 | \(e :: _) (f :: _) -> match'Float | 180 | \(e :: _) (f :: _) -> match'Float |
181 | \_ -> _ | 181 | \_ -> _ |
182 | ('NatCase | 182 | (case'Nat |
183 | \_ -> _ :: _ | 183 | \_ -> _ :: _ |
184 | (_rhs undefined) | 184 | (_rhs undefined) |
185 | \(g :: _) -> 'NatCase | 185 | \(g :: _) -> case'Nat |
186 | \_ -> _ :: _ | 186 | \_ -> _ :: _ |
187 | (_rhs undefined) | 187 | (_rhs undefined) |
188 | \(h :: _) -> 'NatCase | 188 | \(h :: _) -> case'Nat |
189 | \_ -> _ :: _ | 189 | \_ -> _ :: _ |
190 | (_rhs \(i := _rhs (V2 0.0 0.0)) -> i) | 190 | (_rhs \(i := _rhs (V2 0.0 0.0)) -> i) |
191 | \(j :: _) -> 'NatCase | 191 | \(j :: _) -> case'Nat |
192 | \_ -> _ :: _ | 192 | \_ -> _ :: _ |
193 | (_rhs \(k := _rhs (V3 0.0 0.0 0.0)) -> k) | 193 | (_rhs \(k := _rhs (V3 0.0 0.0 0.0)) -> k) |
194 | \(l :: _) -> 'NatCase | 194 | \(l :: _) -> case'Nat |
195 | \_ -> _ :: _ | 195 | \_ -> _ :: _ |
196 | (_rhs \(m := _rhs (V4 0.0 0.0 0.0 0.0)) -> m) | 196 | (_rhs \(m := _rhs (V4 0.0 0.0 0.0 0.0)) -> m) |
197 | \_ -> _rhs undefined | 197 | \_ -> _rhs undefined |
@@ -203,19 +203,19 @@ zero | |||
203 | e | 203 | e |
204 | (match'Bool | 204 | (match'Bool |
205 | \_ -> _ | 205 | \_ -> _ |
206 | ('NatCase | 206 | (case'Nat |
207 | \_ -> _ :: _ | 207 | \_ -> _ :: _ |
208 | (_rhs undefined) | 208 | (_rhs undefined) |
209 | \(n :: _) -> 'NatCase | 209 | \(n :: _) -> case'Nat |
210 | \_ -> _ :: _ | 210 | \_ -> _ :: _ |
211 | (_rhs undefined) | 211 | (_rhs undefined) |
212 | \(o :: _) -> 'NatCase | 212 | \(o :: _) -> case'Nat |
213 | \_ -> _ :: _ | 213 | \_ -> _ :: _ |
214 | (_rhs \(p := _rhs (V2 False False)) -> p) | 214 | (_rhs \(p := _rhs (V2 False False)) -> p) |
215 | \(q :: _) -> 'NatCase | 215 | \(q :: _) -> case'Nat |
216 | \_ -> _ :: _ | 216 | \_ -> _ :: _ |
217 | (_rhs \(r := _rhs (V3 False False False)) -> r) | 217 | (_rhs \(r := _rhs (V3 False False False)) -> r) |
218 | \(s :: _) -> 'NatCase | 218 | \(s :: _) -> case'Nat |
219 | \_ -> _ :: _ | 219 | \_ -> _ :: _ |
220 | (_rhs \(t := _rhs (V4 False False False False)) -> t) | 220 | (_rhs \(t := _rhs (V4 False False False False)) -> t) |
221 | \_ -> _rhs undefined | 221 | \_ -> _rhs undefined |
@@ -246,19 +246,19 @@ one | |||
246 | \_ -> _ | 246 | \_ -> _ |
247 | \(e :: _) (f :: _) -> match'Float | 247 | \(e :: _) (f :: _) -> match'Float |
248 | \_ -> _ | 248 | \_ -> _ |
249 | ('NatCase | 249 | (case'Nat |
250 | \_ -> _ :: _ | 250 | \_ -> _ :: _ |
251 | (_rhs undefined) | 251 | (_rhs undefined) |
252 | \(g :: _) -> 'NatCase | 252 | \(g :: _) -> case'Nat |
253 | \_ -> _ :: _ | 253 | \_ -> _ :: _ |
254 | (_rhs undefined) | 254 | (_rhs undefined) |
255 | \(h :: _) -> 'NatCase | 255 | \(h :: _) -> case'Nat |
256 | \_ -> _ :: _ | 256 | \_ -> _ :: _ |
257 | (_rhs \(i := _rhs (V2 1.0 1.0)) -> i) | 257 | (_rhs \(i := _rhs (V2 1.0 1.0)) -> i) |
258 | \(j :: _) -> 'NatCase | 258 | \(j :: _) -> case'Nat |
259 | \_ -> _ :: _ | 259 | \_ -> _ :: _ |
260 | (_rhs \(k := _rhs (V3 1.0 1.0 1.0)) -> k) | 260 | (_rhs \(k := _rhs (V3 1.0 1.0 1.0)) -> k) |
261 | \(l :: _) -> 'NatCase | 261 | \(l :: _) -> case'Nat |
262 | \_ -> _ :: _ | 262 | \_ -> _ :: _ |
263 | (_rhs \(m := _rhs (V4 1.0 1.0 1.0 1.0)) -> m) | 263 | (_rhs \(m := _rhs (V4 1.0 1.0 1.0 1.0)) -> m) |
264 | \_ -> _rhs undefined | 264 | \_ -> _rhs undefined |
@@ -270,19 +270,19 @@ one | |||
270 | e | 270 | e |
271 | (match'Bool | 271 | (match'Bool |
272 | \_ -> _ | 272 | \_ -> _ |
273 | ('NatCase | 273 | (case'Nat |
274 | \_ -> _ :: _ | 274 | \_ -> _ :: _ |
275 | (_rhs undefined) | 275 | (_rhs undefined) |
276 | \(n :: _) -> 'NatCase | 276 | \(n :: _) -> case'Nat |
277 | \_ -> _ :: _ | 277 | \_ -> _ :: _ |
278 | (_rhs undefined) | 278 | (_rhs undefined) |
279 | \(o :: _) -> 'NatCase | 279 | \(o :: _) -> case'Nat |
280 | \_ -> _ :: _ | 280 | \_ -> _ :: _ |
281 | (_rhs \(p := _rhs (V2 True True)) -> p) | 281 | (_rhs \(p := _rhs (V2 True True)) -> p) |
282 | \(q :: _) -> 'NatCase | 282 | \(q :: _) -> case'Nat |
283 | \_ -> _ :: _ | 283 | \_ -> _ :: _ |
284 | (_rhs \(r := _rhs (V3 True True True)) -> r) | 284 | (_rhs \(r := _rhs (V3 True True True)) -> r) |
285 | \(s :: _) -> 'NatCase | 285 | \(s :: _) -> case'Nat |
286 | \_ -> _ :: _ | 286 | \_ -> _ :: _ |
287 | (_rhs \(t := _rhs (V4 True True True True)) -> t) | 287 | (_rhs \(t := _rhs (V4 True True True True)) -> t) |
288 | \_ -> _rhs undefined | 288 | \_ -> _rhs undefined |
@@ -316,19 +316,19 @@ one | |||
316 | \_ -> _ | 316 | \_ -> _ |
317 | \(b :: _) (c :: _) -> match'Float | 317 | \(b :: _) (c :: _) -> match'Float |
318 | \_ -> _ | 318 | \_ -> _ |
319 | ('NatCase | 319 | (case'Nat |
320 | \_ -> _ :: _ | 320 | \_ -> _ :: _ |
321 | (_rhs ('Empty "no instance of 'Floating on ???")) | 321 | (_rhs ('Empty "no instance of 'Floating on ???")) |
322 | \(d :: _) -> 'NatCase | 322 | \(d :: _) -> case'Nat |
323 | \_ -> _ :: _ | 323 | \_ -> _ :: _ |
324 | (_rhs ('Empty "no instance of 'Floating on ???")) | 324 | (_rhs ('Empty "no instance of 'Floating on ???")) |
325 | \(e :: _) -> 'NatCase | 325 | \(e :: _) -> case'Nat |
326 | \_ -> _ :: _ | 326 | \_ -> _ :: _ |
327 | (_rhs 'Unit) | 327 | (_rhs 'Unit) |
328 | \(f :: _) -> 'NatCase | 328 | \(f :: _) -> case'Nat |
329 | \_ -> _ :: _ | 329 | \_ -> _ :: _ |
330 | (_rhs 'Unit) | 330 | (_rhs 'Unit) |
331 | \(g :: _) -> 'NatCase | 331 | \(g :: _) -> case'Nat |
332 | \_ -> _ :: _ | 332 | \_ -> _ :: _ |
333 | (_rhs 'Unit) | 333 | (_rhs 'Unit) |
334 | \_ -> _rhs ('Empty "no instance of 'Floating on ???") | 334 | \_ -> _rhs ('Empty "no instance of 'Floating on ???") |
@@ -342,35 +342,35 @@ one | |||
342 | a | 342 | a |
343 | (match'Mat | 343 | (match'Mat |
344 | \_ -> _ | 344 | \_ -> _ |
345 | \(h :: _) (i :: _) (j :: _) -> 'NatCase | 345 | \(h :: _) (i :: _) (j :: _) -> case'Nat |
346 | \_ -> _ :: _ | 346 | \_ -> _ :: _ |
347 | (_rhs ('Empty "no instance of 'Floating on ???")) | 347 | (_rhs ('Empty "no instance of 'Floating on ???")) |
348 | \(k :: _) -> 'NatCase | 348 | \(k :: _) -> case'Nat |
349 | \_ -> _ :: _ | 349 | \_ -> _ :: _ |
350 | (_rhs ('Empty "no instance of 'Floating on ???")) | 350 | (_rhs ('Empty "no instance of 'Floating on ???")) |
351 | \(l :: _) -> 'NatCase | 351 | \(l :: _) -> case'Nat |
352 | \_ -> _ :: _ | 352 | \_ -> _ :: _ |
353 | ('NatCase | 353 | (case'Nat |
354 | \_ -> _ :: _ | 354 | \_ -> _ :: _ |
355 | (_rhs ('Empty "no instance of 'Floating on ???")) | 355 | (_rhs ('Empty "no instance of 'Floating on ???")) |
356 | \(m :: _) -> 'NatCase | 356 | \(m :: _) -> case'Nat |
357 | \_ -> _ :: _ | 357 | \_ -> _ :: _ |
358 | (_rhs ('Empty "no instance of 'Floating on ???")) | 358 | (_rhs ('Empty "no instance of 'Floating on ???")) |
359 | \(n :: _) -> 'NatCase | 359 | \(n :: _) -> case'Nat |
360 | \_ -> _ :: _ | 360 | \_ -> _ :: _ |
361 | (match'Float | 361 | (match'Float |
362 | \_ -> _ | 362 | \_ -> _ |
363 | (_rhs 'Unit) | 363 | (_rhs 'Unit) |
364 | j | 364 | j |
365 | (_rhs ('Empty "no instance of 'Floating on ???"))) | 365 | (_rhs ('Empty "no instance of 'Floating on ???"))) |
366 | \(o :: _) -> 'NatCase | 366 | \(o :: _) -> case'Nat |
367 | \_ -> _ :: _ | 367 | \_ -> _ :: _ |
368 | (match'Float | 368 | (match'Float |
369 | \_ -> _ | 369 | \_ -> _ |
370 | (_rhs 'Unit) | 370 | (_rhs 'Unit) |
371 | j | 371 | j |
372 | (_rhs ('Empty "no instance of 'Floating on ???"))) | 372 | (_rhs ('Empty "no instance of 'Floating on ???"))) |
373 | \(p :: _) -> 'NatCase | 373 | \(p :: _) -> case'Nat |
374 | \_ -> _ :: _ | 374 | \_ -> _ :: _ |
375 | (match'Float | 375 | (match'Float |
376 | \_ -> _ | 376 | \_ -> _ |
@@ -383,29 +383,29 @@ one | |||
383 | n | 383 | n |
384 | m | 384 | m |
385 | i) | 385 | i) |
386 | \(q :: _) -> 'NatCase | 386 | \(q :: _) -> case'Nat |
387 | \_ -> _ :: _ | 387 | \_ -> _ :: _ |
388 | ('NatCase | 388 | (case'Nat |
389 | \_ -> _ :: _ | 389 | \_ -> _ :: _ |
390 | (_rhs ('Empty "no instance of 'Floating on ???")) | 390 | (_rhs ('Empty "no instance of 'Floating on ???")) |
391 | \(r :: _) -> 'NatCase | 391 | \(r :: _) -> case'Nat |
392 | \_ -> _ :: _ | 392 | \_ -> _ :: _ |
393 | (_rhs ('Empty "no instance of 'Floating on ???")) | 393 | (_rhs ('Empty "no instance of 'Floating on ???")) |
394 | \(s :: _) -> 'NatCase | 394 | \(s :: _) -> case'Nat |
395 | \_ -> _ :: _ | 395 | \_ -> _ :: _ |
396 | (match'Float | 396 | (match'Float |
397 | \_ -> _ | 397 | \_ -> _ |
398 | (_rhs 'Unit) | 398 | (_rhs 'Unit) |
399 | j | 399 | j |
400 | (_rhs ('Empty "no instance of 'Floating on ???"))) | 400 | (_rhs ('Empty "no instance of 'Floating on ???"))) |
401 | \(t :: _) -> 'NatCase | 401 | \(t :: _) -> case'Nat |
402 | \_ -> _ :: _ | 402 | \_ -> _ :: _ |
403 | (match'Float | 403 | (match'Float |
404 | \_ -> _ | 404 | \_ -> _ |
405 | (_rhs 'Unit) | 405 | (_rhs 'Unit) |
406 | j | 406 | j |
407 | (_rhs ('Empty "no instance of 'Floating on ???"))) | 407 | (_rhs ('Empty "no instance of 'Floating on ???"))) |
408 | \(u :: _) -> 'NatCase | 408 | \(u :: _) -> case'Nat |
409 | \_ -> _ :: _ | 409 | \_ -> _ :: _ |
410 | (match'Float | 410 | (match'Float |
411 | \_ -> _ | 411 | \_ -> _ |
@@ -418,29 +418,29 @@ one | |||
418 | s | 418 | s |
419 | r | 419 | r |
420 | i) | 420 | i) |
421 | \(v :: _) -> 'NatCase | 421 | \(v :: _) -> case'Nat |
422 | \_ -> _ :: _ | 422 | \_ -> _ :: _ |
423 | ('NatCase | 423 | (case'Nat |
424 | \_ -> _ :: _ | 424 | \_ -> _ :: _ |
425 | (_rhs ('Empty "no instance of 'Floating on ???")) | 425 | (_rhs ('Empty "no instance of 'Floating on ???")) |
426 | \(w :: _) -> 'NatCase | 426 | \(w :: _) -> case'Nat |
427 | \_ -> _ :: _ | 427 | \_ -> _ :: _ |
428 | (_rhs ('Empty "no instance of 'Floating on ???")) | 428 | (_rhs ('Empty "no instance of 'Floating on ???")) |
429 | \(x :: _) -> 'NatCase | 429 | \(x :: _) -> case'Nat |
430 | \_ -> _ :: _ | 430 | \_ -> _ :: _ |
431 | (match'Float | 431 | (match'Float |
432 | \_ -> _ | 432 | \_ -> _ |
433 | (_rhs 'Unit) | 433 | (_rhs 'Unit) |
434 | j | 434 | j |
435 | (_rhs ('Empty "no instance of 'Floating on ???"))) | 435 | (_rhs ('Empty "no instance of 'Floating on ???"))) |
436 | \(y :: _) -> 'NatCase | 436 | \(y :: _) -> case'Nat |
437 | \_ -> _ :: _ | 437 | \_ -> _ :: _ |
438 | (match'Float | 438 | (match'Float |
439 | \_ -> _ | 439 | \_ -> _ |
440 | (_rhs 'Unit) | 440 | (_rhs 'Unit) |
441 | j | 441 | j |
442 | (_rhs ('Empty "no instance of 'Floating on ???"))) | 442 | (_rhs ('Empty "no instance of 'Floating on ???"))) |
443 | \(z :: _) -> 'NatCase | 443 | \(z :: _) -> case'Nat |
444 | \_ -> _ :: _ | 444 | \_ -> _ :: _ |
445 | (match'Float | 445 | (match'Float |
446 | \_ -> _ | 446 | \_ -> _ |
@@ -645,26 +645,26 @@ PrimNoise2 :: forall (a :: _) . VecScalar a Float -> Vec (fromInt 2) Float | |||
645 | PrimNoise3 :: forall (a :: _) . VecScalar a Float -> Vec (fromInt 3) Float | 645 | PrimNoise3 :: forall (a :: _) . VecScalar a Float -> Vec (fromInt 3) Float |
646 | PrimNoise4 :: forall (a :: _) . VecScalar a Float -> Vec (fromInt 4) Float | 646 | PrimNoise4 :: forall (a :: _) . VecScalar a Float -> Vec (fromInt 4) Float |
647 | head | 647 | head |
648 | = \(a :: _) -> 'ListCase | 648 | = \(a :: _) -> case'List |
649 | \_ -> _ :: _ | 649 | \_ -> _ :: _ |
650 | (_rhs undefined) | 650 | (_rhs undefined) |
651 | \(b :: _) -> \_ -> _rhs b | 651 | \(b :: _) -> \_ -> _rhs b |
652 | a | 652 | a |
653 | ++ | 653 | ++ |
654 | = \(a :: _) (b :: _) -> 'ListCase | 654 | = \(a :: _) (b :: _) -> case'List |
655 | \_ -> _ :: _ | 655 | \_ -> _ :: _ |
656 | (_rhs b) | 656 | (_rhs b) |
657 | \(c :: _) (d :: _) -> _rhs (c : d ++ b) | 657 | \(c :: _) (d :: _) -> _rhs (c : d ++ b) |
658 | a | 658 | a |
659 | foldr | 659 | foldr |
660 | = \(a :: _) (b :: _) (c :: _) -> 'ListCase | 660 | = \(a :: _) (b :: _) (c :: _) -> case'List |
661 | \_ -> _ :: _ | 661 | \_ -> _ :: _ |
662 | (_rhs b) | 662 | (_rhs b) |
663 | \(d :: _) (e :: _) -> _rhs (a d (foldr a b e)) | 663 | \(d :: _) (e :: _) -> _rhs (a d (foldr a b e)) |
664 | c | 664 | c |
665 | concat = _rhs (foldr ++ []) | 665 | concat = _rhs (foldr ++ []) |
666 | map | 666 | map |
667 | = \(a :: _) (b :: _) -> 'ListCase | 667 | = \(a :: _) (b :: _) -> case'List |
668 | \_ -> _ :: _ | 668 | \_ -> _ :: _ |
669 | (_rhs []) | 669 | (_rhs []) |
670 | \(c :: _) (d :: _) -> _rhs (a c : map a d) | 670 | \(c :: _) (d :: _) -> _rhs (a c : map a d) |
@@ -673,7 +673,7 @@ concatMap | |||
673 | = (\(a :: _) (b :: _) -> _rhs (concat (map a b))) | 673 | = (\(a :: _) (b :: _) -> _rhs (concat (map a b))) |
674 | :: forall (c :: _) (d :: _) . (c -> [d]) -> [c] -> [d] | 674 | :: forall (c :: _) (d :: _) . (c -> [d]) -> [c] -> [d] |
675 | len | 675 | len |
676 | = \(a :: _) -> 'ListCase | 676 | = \(a :: _) -> case'List |
677 | \_ -> _ :: _ | 677 | \_ -> _ :: _ |
678 | (_rhs (fromInt 0)) | 678 | (_rhs (fromInt 0)) |
679 | \_ (b :: _) -> _rhs (fromInt 1 `primAddInt` len b) | 679 | \_ (b :: _) -> _rhs (fromInt 1 `primAddInt` len b) |
@@ -718,9 +718,9 @@ data SimpleFragment (_ :: Type) :: Type where | |||
718 | SimpleFragment :: forall a . Vec (fromInt 3) Float -> a -> SimpleFragment a | 718 | SimpleFragment :: forall a . Vec (fromInt 3) Float -> a -> SimpleFragment a |
719 | 'Fragment = \(a :: _) (b :: _) -> _rhs ('Vector a ('Maybe ('SimpleFragment b))) | 719 | 'Fragment = \(a :: _) (b :: _) -> _rhs ('Vector a ('Maybe ('SimpleFragment b))) |
720 | sFragmentCoords | 720 | sFragmentCoords |
721 | = \(a :: _) -> 'SimpleFragmentCase \_ -> _ :: _ \(b :: _) -> \_ -> _rhs b a | 721 | = \(a :: _) -> case'SimpleFragment \_ -> _ :: _ \(b :: _) -> \_ -> _rhs b a |
722 | sFragmentValue | 722 | sFragmentValue |
723 | = \(a :: _) -> 'SimpleFragmentCase \_ -> _ :: _ \_ (b :: _) -> _rhs b a | 723 | = \(a :: _) -> case'SimpleFragment \_ -> _ :: _ \_ (b :: _) -> _rhs b a |
724 | 'FragmentStream = \(a :: _) (b :: _) -> _rhs ['Fragment a b] | 724 | 'FragmentStream = \(a :: _) (b :: _) -> _rhs ['Fragment a b] |
725 | customizeDepth | 725 | customizeDepth |
726 | :: forall (a :: _) (b :: _) . (a -> Float) -> Fragment b a -> Fragment b a | 726 | :: forall (a :: _) (b :: _) . (a -> Float) -> Fragment b a -> Fragment b a |
@@ -745,7 +745,7 @@ data ImageKind :: Type where | |||
745 | Depth :: ImageKind | 745 | Depth :: ImageKind |
746 | Stencil :: ImageKind | 746 | Stencil :: ImageKind |
747 | imageType | 747 | imageType |
748 | = (\(a :: _) -> 'ImageKindCase | 748 | = (\(a :: _) -> case'ImageKind |
749 | \_ -> _ :: _ | 749 | \_ -> _ :: _ |
750 | \(b :: _) -> _rhs b | 750 | \(b :: _) -> _rhs b |
751 | (_rhs 'Float) | 751 | (_rhs 'Float) |
@@ -767,23 +767,23 @@ data Swizz :: Type where | |||
767 | Sz :: Swizz | 767 | Sz :: Swizz |
768 | Sw :: Swizz | 768 | Sw :: Swizz |
769 | swizzscalar | 769 | swizzscalar |
770 | = (\(a :: _) (b :: _) -> 'VecSCase | 770 | = (\(a :: _) (b :: _) -> case'VecS |
771 | \_ -> \_ -> _ :: _ | 771 | \_ -> \_ -> _ :: _ |
772 | \(c :: _) (d :: _) -> 'SwizzCase | 772 | \(c :: _) (d :: _) -> case'Swizz |
773 | \_ -> _ :: _ | 773 | \_ -> _ :: _ |
774 | (_rhs c) | 774 | (_rhs c) |
775 | (_rhs d) | 775 | (_rhs d) |
776 | (_rhs undefined) | 776 | (_rhs undefined) |
777 | (_rhs undefined) | 777 | (_rhs undefined) |
778 | b | 778 | b |
779 | \(e :: _) (f :: _) (g :: _) -> 'SwizzCase | 779 | \(e :: _) (f :: _) (g :: _) -> case'Swizz |
780 | \_ -> _ :: _ | 780 | \_ -> _ :: _ |
781 | (_rhs e) | 781 | (_rhs e) |
782 | (_rhs f) | 782 | (_rhs f) |
783 | (_rhs g) | 783 | (_rhs g) |
784 | (_rhs undefined) | 784 | (_rhs undefined) |
785 | b | 785 | b |
786 | \(h :: _) (i :: _) (j :: _) (k :: _) -> 'SwizzCase | 786 | \(h :: _) (i :: _) (j :: _) (k :: _) -> case'Swizz |
787 | \_ -> _ :: _ | 787 | \_ -> _ :: _ |
788 | (_rhs h) | 788 | (_rhs h) |
789 | (_rhs i) | 789 | (_rhs i) |
@@ -793,7 +793,7 @@ swizzscalar | |||
793 | a) | 793 | a) |
794 | :: forall (l :: _) (m :: _) . Vec m l -> Swizz -> l | 794 | :: forall (l :: _) (m :: _) . Vec m l -> Swizz -> l |
795 | definedVec | 795 | definedVec |
796 | = (\(a :: _) -> 'VecSCase | 796 | = (\(a :: _) -> case'VecS |
797 | \_ -> \_ -> _ :: _ | 797 | \_ -> \_ -> _ :: _ |
798 | \_ -> \_ -> _rhs True | 798 | \_ -> \_ -> _rhs True |
799 | \_ -> \_ -> \_ -> _rhs True | 799 | \_ -> \_ -> \_ -> _rhs True |
@@ -801,7 +801,7 @@ definedVec | |||
801 | a) | 801 | a) |
802 | :: forall (b :: _) (c :: _) . Vec c b -> Bool | 802 | :: forall (b :: _) (c :: _) . Vec c b -> Bool |
803 | swizzvector | 803 | swizzvector |
804 | = (\(a :: _) (b :: _) -> 'BoolCase | 804 | = (\(a :: _) (b :: _) -> case'Bool |
805 | \_ -> _ :: _ | 805 | \_ -> _ :: _ |
806 | (_rhs undefined) | 806 | (_rhs undefined) |
807 | (_rhs (mapVec (swizzscalar a) b)) | 807 | (_rhs (mapVec (swizzscalar a) b)) |
@@ -932,10 +932,10 @@ rasterizePrimitives | |||
932 | = (\(a :: _) -> match'Image \_ -> _ \(b :: _) -> \_ -> _rhs b a undefined) | 932 | = (\(a :: _) -> match'Image \_ -> _ \(b :: _) -> \_ -> _rhs b a undefined) |
933 | :: Type -> Nat | 933 | :: Type -> Nat |
934 | allSame | 934 | allSame |
935 | = (\(a :: _) -> 'ListCase | 935 | = (\(a :: _) -> case'List |
936 | \_ -> _ :: _ | 936 | \_ -> _ :: _ |
937 | (_rhs 'Unit) | 937 | (_rhs 'Unit) |
938 | \(b :: _) (c :: _) -> 'ListCase | 938 | \(b :: _) (c :: _) -> case'List |
939 | \_ -> _ :: _ | 939 | \_ -> _ :: _ |
940 | (_rhs 'Unit) | 940 | (_rhs 'Unit) |
941 | \(d :: _) (e :: _) -> _rhs ('T2 (b ~ d) (allSame (d : e))) | 941 | \(d :: _) (e :: _) -> _rhs ('T2 (b ~ d) (allSame (d : e))) |
@@ -946,10 +946,10 @@ sameLayerCounts = \(a :: _) -> _rhs (allSame (map 'ImageLC a)) | |||
946 | data FrameBuffer (_ :: Nat) (_ :: [ImageKind]) :: Type where | 946 | data FrameBuffer (_ :: Nat) (_ :: [ImageKind]) :: Type where |
947 | 947 | ||
948 | imageType' | 948 | imageType' |
949 | = (\(a :: _) -> 'ListCase | 949 | = (\(a :: _) -> case'List |
950 | \_ -> _ :: _ | 950 | \_ -> _ :: _ |
951 | (_rhs (map imageType a)) | 951 | (_rhs (map imageType a)) |
952 | \(b :: _) (c :: _) -> 'ImageKindCase | 952 | \(b :: _) (c :: _) -> case'ImageKind |
953 | \_ -> _ :: _ | 953 | \_ -> _ :: _ |
954 | \_ -> _rhs (map imageType a) | 954 | \_ -> _rhs (map imageType a) |
955 | (_rhs (map imageType c)) | 955 | (_rhs (map imageType c)) |
@@ -1017,7 +1017,7 @@ id :: forall a . a -> a | |||
1017 | V2 :: forall a . a -> a -> VecS a 2 | 1017 | V2 :: forall a . a -> a -> VecS a 2 |
1018 | V3 :: forall a . a -> a -> a -> VecS a 3 | 1018 | V3 :: forall a . a -> a -> a -> VecS a 3 |
1019 | V4 :: forall a . a -> a -> a -> a -> VecS a 4 | 1019 | V4 :: forall a . a -> a -> a -> a -> VecS a 4 |
1020 | 'VecSCase | 1020 | case'VecS |
1021 | :: forall a | 1021 | :: forall a |
1022 | . forall (b :: forall (c :: Nat) -> VecS a c -> Type) | 1022 | . forall (b :: forall (c :: Nat) -> VecS a c -> Type) |
1023 | -> (forall (d :: a) (e :: a) -> b 2 ('V2 d e)) | 1023 | -> (forall (d :: a) (e :: a) -> b 2 ('V2 d e)) |
@@ -1043,7 +1043,7 @@ M34F | |||
1043 | :: Vec 3 Float -> Vec 3 Float -> Vec 3 Float -> Vec 3 Float -> Mat 3 4 Float | 1043 | :: Vec 3 Float -> Vec 3 Float -> Vec 3 Float -> Vec 3 Float -> Mat 3 4 Float |
1044 | M44F | 1044 | M44F |
1045 | :: Vec 4 Float -> Vec 4 Float -> Vec 4 Float -> Vec 4 Float -> Mat 4 4 Float | 1045 | :: Vec 4 Float -> Vec 4 Float -> Vec 4 Float -> Vec 4 Float -> Mat 4 4 Float |
1046 | 'MatCase | 1046 | case'Mat |
1047 | :: forall (a :: forall (b :: Nat) (c :: Nat) d -> Mat b c d -> Type) | 1047 | :: forall (a :: forall (b :: Nat) (c :: Nat) d -> Mat b c d -> Type) |
1048 | -> (forall (e :: Vec 2 Float) (f :: Vec 2 Float) -> a 2 2 Float ('M22F e f)) | 1048 | -> (forall (e :: Vec 2 Float) (f :: Vec 2 Float) -> a 2 2 Float ('M22F e f)) |
1049 | -> (forall (g :: Vec 3 Float) (h :: Vec 3 Float) -> a 3 2 Float ('M32F g h)) | 1049 | -> (forall (g :: Vec 3 Float) (h :: Vec 3 Float) -> a 3 2 Float ('M32F g h)) |
@@ -1233,7 +1233,7 @@ len :: forall a . [a] -> Int | |||
1233 | 'Maybe :: Type -> Type | 1233 | 'Maybe :: Type -> Type |
1234 | Nothing :: forall a . Maybe a | 1234 | Nothing :: forall a . Maybe a |
1235 | Just :: forall a . a -> Maybe a | 1235 | Just :: forall a . a -> Maybe a |
1236 | 'MaybeCase | 1236 | case'Maybe |
1237 | :: forall a | 1237 | :: forall a |
1238 | . forall (b :: Maybe a -> Type) | 1238 | . forall (b :: Maybe a -> Type) |
1239 | -> b 'Nothing | 1239 | -> b 'Nothing |
@@ -1242,7 +1242,7 @@ match'Maybe | |||
1242 | :: forall (a :: Type -> Type) | 1242 | :: forall (a :: Type -> Type) |
1243 | -> (forall b -> a (Maybe b)) -> forall c -> a c -> a c | 1243 | -> (forall b -> a (Maybe b)) -> forall c -> a c -> a c |
1244 | 'Vector :: Nat -> Type -> Type | 1244 | 'Vector :: Nat -> Type -> Type |
1245 | 'VectorCase | 1245 | case'Vector |
1246 | :: forall (a :: Nat) b | 1246 | :: forall (a :: Nat) b |
1247 | . forall (c :: Vector a b -> Type) (d :: Vector a b) -> c d | 1247 | . forall (c :: Vector a b -> Type) (d :: Vector a b) -> c d |
1248 | match'Vector | 1248 | match'Vector |
@@ -1254,7 +1254,7 @@ Line :: PrimitiveType | |||
1254 | Point :: PrimitiveType | 1254 | Point :: PrimitiveType |
1255 | TriangleAdjacency :: PrimitiveType | 1255 | TriangleAdjacency :: PrimitiveType |
1256 | LineAdjacency :: PrimitiveType | 1256 | LineAdjacency :: PrimitiveType |
1257 | 'PrimitiveTypeCase | 1257 | case'PrimitiveType |
1258 | :: forall (a :: PrimitiveType -> Type) | 1258 | :: forall (a :: PrimitiveType -> Type) |
1259 | -> a 'Triangle | 1259 | -> a 'Triangle |
1260 | -> a 'Line | 1260 | -> a 'Line |
@@ -1267,7 +1267,7 @@ match'PrimitiveType | |||
1267 | PrimPoint :: forall a . a -> Primitive a 'Point | 1267 | PrimPoint :: forall a . a -> Primitive a 'Point |
1268 | PrimLine :: forall a . a -> a -> Primitive a 'Line | 1268 | PrimLine :: forall a . a -> a -> Primitive a 'Line |
1269 | PrimTriangle :: forall a . a -> a -> a -> Primitive a 'Triangle | 1269 | PrimTriangle :: forall a . a -> a -> a -> Primitive a 'Triangle |
1270 | 'PrimitiveCase | 1270 | case'Primitive |
1271 | :: forall a | 1271 | :: forall a |
1272 | . forall (b :: forall (c :: PrimitiveType) -> Primitive a c -> Type) | 1272 | . forall (b :: forall (c :: PrimitiveType) -> Primitive a c -> Type) |
1273 | -> (forall (d :: a) -> b 'Point ('PrimPoint d)) | 1273 | -> (forall (d :: a) -> b 'Point ('PrimPoint d)) |
@@ -1299,7 +1299,7 @@ fetchStream | |||
1299 | -> (len String c ~ len Type b) => PrimitiveStream a (HList b) | 1299 | -> (len String c ~ len Type b) => PrimitiveStream a (HList b) |
1300 | 'SimpleFragment :: Type -> Type | 1300 | 'SimpleFragment :: Type -> Type |
1301 | SimpleFragment :: forall a . Vec 3 Float -> a -> SimpleFragment a | 1301 | SimpleFragment :: forall a . Vec 3 Float -> a -> SimpleFragment a |
1302 | 'SimpleFragmentCase | 1302 | case'SimpleFragment |
1303 | :: forall a | 1303 | :: forall a |
1304 | . forall (b :: SimpleFragment a -> Type) | 1304 | . forall (b :: SimpleFragment a -> Type) |
1305 | -> (forall (c :: Vec 3 Float) (d :: a) -> b ('SimpleFragment c d)) | 1305 | -> (forall (c :: Vec 3 Float) (d :: a) -> b ('SimpleFragment c d)) |
@@ -1335,7 +1335,7 @@ mapFragments | |||
1335 | Color :: Type -> ImageKind | 1335 | Color :: Type -> ImageKind |
1336 | Depth :: ImageKind | 1336 | Depth :: ImageKind |
1337 | Stencil :: ImageKind | 1337 | Stencil :: ImageKind |
1338 | 'ImageKindCase | 1338 | case'ImageKind |
1339 | :: forall (a :: ImageKind -> Type) | 1339 | :: forall (a :: ImageKind -> Type) |
1340 | -> (forall b -> a ('Color b)) | 1340 | -> (forall b -> a ('Color b)) |
1341 | -> a 'Depth -> a 'Stencil -> forall (c :: ImageKind) -> a c | 1341 | -> a 'Depth -> a 'Stencil -> forall (c :: ImageKind) -> a c |
@@ -1343,7 +1343,7 @@ match'ImageKind | |||
1343 | :: forall (a :: Type -> Type) -> a ImageKind -> forall b -> a b -> a b | 1343 | :: forall (a :: Type -> Type) -> a ImageKind -> forall b -> a b -> a b |
1344 | imageType :: ImageKind -> Type | 1344 | imageType :: ImageKind -> Type |
1345 | 'Image :: Nat -> ImageKind -> Type | 1345 | 'Image :: Nat -> ImageKind -> Type |
1346 | 'ImageCase | 1346 | case'Image |
1347 | :: forall (a :: Nat) (b :: ImageKind) | 1347 | :: forall (a :: Nat) (b :: ImageKind) |
1348 | . forall (c :: Image a b -> Type) (d :: Image a b) -> c d | 1348 | . forall (c :: Image a b -> Type) (d :: Image a b) -> c d |
1349 | match'Image | 1349 | match'Image |
@@ -1363,7 +1363,7 @@ Sx :: Swizz | |||
1363 | Sy :: Swizz | 1363 | Sy :: Swizz |
1364 | Sz :: Swizz | 1364 | Sz :: Swizz |
1365 | Sw :: Swizz | 1365 | Sw :: Swizz |
1366 | 'SwizzCase | 1366 | case'Swizz |
1367 | :: forall (a :: Swizz -> Type) | 1367 | :: forall (a :: Swizz -> Type) |
1368 | -> a 'Sx -> a 'Sy -> a 'Sz -> a 'Sw -> forall (b :: Swizz) -> a b | 1368 | -> a 'Sx -> a 'Sy -> a 'Sz -> a 'Sw -> forall (b :: Swizz) -> a b |
1369 | match'Swizz :: forall (a :: Type -> Type) -> a Swizz -> forall b -> a b -> a b | 1369 | match'Swizz :: forall (a :: Type -> Type) -> a Swizz -> forall b -> a b -> a b |
@@ -1387,7 +1387,7 @@ OneMinusConstantColor :: BlendingFactor | |||
1387 | ConstantAlpha :: BlendingFactor | 1387 | ConstantAlpha :: BlendingFactor |
1388 | OneMinusConstantAlpha :: BlendingFactor | 1388 | OneMinusConstantAlpha :: BlendingFactor |
1389 | SrcAlphaSaturate :: BlendingFactor | 1389 | SrcAlphaSaturate :: BlendingFactor |
1390 | 'BlendingFactorCase | 1390 | case'BlendingFactor |
1391 | :: forall (a :: BlendingFactor -> Type) | 1391 | :: forall (a :: BlendingFactor -> Type) |
1392 | -> a 'ZeroBF | 1392 | -> a 'ZeroBF |
1393 | -> a 'OneBF | 1393 | -> a 'OneBF |
@@ -1412,7 +1412,7 @@ FuncSubtract :: BlendEquation | |||
1412 | FuncReverseSubtract :: BlendEquation | 1412 | FuncReverseSubtract :: BlendEquation |
1413 | Min :: BlendEquation | 1413 | Min :: BlendEquation |
1414 | Max :: BlendEquation | 1414 | Max :: BlendEquation |
1415 | 'BlendEquationCase | 1415 | case'BlendEquation |
1416 | :: forall (a :: BlendEquation -> Type) | 1416 | :: forall (a :: BlendEquation -> Type) |
1417 | -> a 'FuncAdd | 1417 | -> a 'FuncAdd |
1418 | -> a 'FuncSubtract | 1418 | -> a 'FuncSubtract |
@@ -1437,7 +1437,7 @@ CopyInverted :: LogicOperation | |||
1437 | OrInverted :: LogicOperation | 1437 | OrInverted :: LogicOperation |
1438 | Nand :: LogicOperation | 1438 | Nand :: LogicOperation |
1439 | Set :: LogicOperation | 1439 | Set :: LogicOperation |
1440 | 'LogicOperationCase | 1440 | case'LogicOperation |
1441 | :: forall (a :: LogicOperation -> Type) | 1441 | :: forall (a :: LogicOperation -> Type) |
1442 | -> a 'Clear | 1442 | -> a 'Clear |
1443 | -> a 'And | 1443 | -> a 'And |
@@ -1464,7 +1464,7 @@ OpIncrWrap :: StencilOperation | |||
1464 | OpDecr :: StencilOperation | 1464 | OpDecr :: StencilOperation |
1465 | OpDecrWrap :: StencilOperation | 1465 | OpDecrWrap :: StencilOperation |
1466 | OpInvert :: StencilOperation | 1466 | OpInvert :: StencilOperation |
1467 | 'StencilOperationCase | 1467 | case'StencilOperation |
1468 | :: forall (a :: StencilOperation -> Type) | 1468 | :: forall (a :: StencilOperation -> Type) |
1469 | -> a 'OpZero | 1469 | -> a 'OpZero |
1470 | -> a 'OpKeep | 1470 | -> a 'OpKeep |
@@ -1484,7 +1484,7 @@ Greater :: ComparisonFunction | |||
1484 | Notequal :: ComparisonFunction | 1484 | Notequal :: ComparisonFunction |
1485 | Gequal :: ComparisonFunction | 1485 | Gequal :: ComparisonFunction |
1486 | Always :: ComparisonFunction | 1486 | Always :: ComparisonFunction |
1487 | 'ComparisonFunctionCase | 1487 | case'ComparisonFunction |
1488 | :: forall (a :: ComparisonFunction -> Type) | 1488 | :: forall (a :: ComparisonFunction -> Type) |
1489 | -> a 'Never | 1489 | -> a 'Never |
1490 | -> a 'Less | 1490 | -> a 'Less |
@@ -1498,7 +1498,7 @@ match'ComparisonFunction | |||
1498 | 'ProvokingVertex :: Type | 1498 | 'ProvokingVertex :: Type |
1499 | LastVertex :: ProvokingVertex | 1499 | LastVertex :: ProvokingVertex |
1500 | FirstVertex :: ProvokingVertex | 1500 | FirstVertex :: ProvokingVertex |
1501 | 'ProvokingVertexCase | 1501 | case'ProvokingVertex |
1502 | :: forall (a :: ProvokingVertex -> Type) | 1502 | :: forall (a :: ProvokingVertex -> Type) |
1503 | -> a 'LastVertex -> a 'FirstVertex -> forall (b :: ProvokingVertex) -> a b | 1503 | -> a 'LastVertex -> a 'FirstVertex -> forall (b :: ProvokingVertex) -> a b |
1504 | match'ProvokingVertex | 1504 | match'ProvokingVertex |
@@ -1507,7 +1507,7 @@ match'ProvokingVertex | |||
1507 | CullFront :: CullMode | 1507 | CullFront :: CullMode |
1508 | CullBack :: CullMode | 1508 | CullBack :: CullMode |
1509 | CullNone :: CullMode | 1509 | CullNone :: CullMode |
1510 | 'CullModeCase | 1510 | case'CullMode |
1511 | :: forall (a :: CullMode -> Type) | 1511 | :: forall (a :: CullMode -> Type) |
1512 | -> a 'CullFront -> a 'CullBack -> a 'CullNone -> forall (b :: CullMode) -> a b | 1512 | -> a 'CullFront -> a 'CullBack -> a 'CullNone -> forall (b :: CullMode) -> a b |
1513 | match'CullMode | 1513 | match'CullMode |
@@ -1515,7 +1515,7 @@ match'CullMode | |||
1515 | 'PointSize :: Type -> Type | 1515 | 'PointSize :: Type -> Type |
1516 | PointSize :: forall a . Float -> PointSize a | 1516 | PointSize :: forall a . Float -> PointSize a |
1517 | ProgramPointSize :: forall a . (a -> Float) -> PointSize a | 1517 | ProgramPointSize :: forall a . (a -> Float) -> PointSize a |
1518 | 'PointSizeCase | 1518 | case'PointSize |
1519 | :: forall a | 1519 | :: forall a |
1520 | . forall (b :: PointSize a -> Type) | 1520 | . forall (b :: PointSize a -> Type) |
1521 | -> (forall (c :: Float) -> b ('PointSize c)) | 1521 | -> (forall (c :: Float) -> b ('PointSize c)) |
@@ -1528,7 +1528,7 @@ match'PointSize | |||
1528 | PolygonFill :: forall a . PolygonMode a | 1528 | PolygonFill :: forall a . PolygonMode a |
1529 | PolygonPoint :: forall a . PointSize a -> PolygonMode a | 1529 | PolygonPoint :: forall a . PointSize a -> PolygonMode a |
1530 | PolygonLine :: forall a . Float -> PolygonMode a | 1530 | PolygonLine :: forall a . Float -> PolygonMode a |
1531 | 'PolygonModeCase | 1531 | case'PolygonMode |
1532 | :: forall a | 1532 | :: forall a |
1533 | . forall (b :: PolygonMode a -> Type) | 1533 | . forall (b :: PolygonMode a -> Type) |
1534 | -> b 'PolygonFill | 1534 | -> b 'PolygonFill |
@@ -1541,7 +1541,7 @@ match'PolygonMode | |||
1541 | 'PolygonOffset :: Type | 1541 | 'PolygonOffset :: Type |
1542 | NoOffset :: PolygonOffset | 1542 | NoOffset :: PolygonOffset |
1543 | Offset :: Float -> Float -> PolygonOffset | 1543 | Offset :: Float -> Float -> PolygonOffset |
1544 | 'PolygonOffsetCase | 1544 | case'PolygonOffset |
1545 | :: forall (a :: PolygonOffset -> Type) | 1545 | :: forall (a :: PolygonOffset -> Type) |
1546 | -> a 'NoOffset | 1546 | -> a 'NoOffset |
1547 | -> (forall (b :: Float) (c :: Float) -> a ('Offset b c)) | 1547 | -> (forall (b :: Float) (c :: Float) -> a ('Offset b c)) |
@@ -1551,7 +1551,7 @@ match'PolygonOffset | |||
1551 | 'PointSpriteCoordOrigin :: Type | 1551 | 'PointSpriteCoordOrigin :: Type |
1552 | LowerLeft :: PointSpriteCoordOrigin | 1552 | LowerLeft :: PointSpriteCoordOrigin |
1553 | UpperLeft :: PointSpriteCoordOrigin | 1553 | UpperLeft :: PointSpriteCoordOrigin |
1554 | 'PointSpriteCoordOriginCase | 1554 | case'PointSpriteCoordOrigin |
1555 | :: forall (a :: PointSpriteCoordOrigin -> Type) | 1555 | :: forall (a :: PointSpriteCoordOrigin -> Type) |
1556 | -> a 'LowerLeft -> a 'UpperLeft -> forall (b :: PointSpriteCoordOrigin) -> a b | 1556 | -> a 'LowerLeft -> a 'UpperLeft -> forall (b :: PointSpriteCoordOrigin) -> a b |
1557 | match'PointSpriteCoordOrigin | 1557 | match'PointSpriteCoordOrigin |
@@ -1569,7 +1569,7 @@ PointCtx | |||
1569 | :: forall a | 1569 | :: forall a |
1570 | . PointSize a -> Float -> PointSpriteCoordOrigin -> RasterContext a 'Point | 1570 | . PointSize a -> Float -> PointSpriteCoordOrigin -> RasterContext a 'Point |
1571 | LineCtx :: forall a . Float -> ProvokingVertex -> RasterContext a 'Line | 1571 | LineCtx :: forall a . Float -> ProvokingVertex -> RasterContext a 'Line |
1572 | 'RasterContextCase | 1572 | case'RasterContext |
1573 | :: forall a | 1573 | :: forall a |
1574 | . forall (b :: forall (c :: PrimitiveType) -> RasterContext a c -> Type) | 1574 | . forall (b :: forall (c :: PrimitiveType) -> RasterContext a c -> Type) |
1575 | -> (forall (d :: CullMode) | 1575 | -> (forall (d :: CullMode) |
@@ -1590,7 +1590,7 @@ Blend | |||
1590 | :: (BlendEquation, BlendEquation) | 1590 | :: (BlendEquation, BlendEquation) |
1591 | -> ((BlendingFactor, BlendingFactor), (BlendingFactor, BlendingFactor)) | 1591 | -> ((BlendingFactor, BlendingFactor), (BlendingFactor, BlendingFactor)) |
1592 | -> Vec 4 Float -> Blending Float | 1592 | -> Vec 4 Float -> Blending Float |
1593 | 'BlendingCase | 1593 | case'Blending |
1594 | :: forall (a :: forall b -> Blending b -> Type) | 1594 | :: forall (a :: forall b -> Blending b -> Type) |
1595 | -> (forall c . a c ('NoBlending c)) | 1595 | -> (forall c . a c ('NoBlending c)) |
1596 | -> (forall d (e :: Integral d) | 1596 | -> (forall d (e :: Integral d) |
@@ -1604,12 +1604,12 @@ match'Blending | |||
1604 | :: forall (a :: Type -> Type) | 1604 | :: forall (a :: Type -> Type) |
1605 | -> (forall b -> a (Blending b)) -> forall c -> a c -> a c | 1605 | -> (forall b -> a (Blending b)) -> forall c -> a c -> a c |
1606 | 'StencilTests :: Type | 1606 | 'StencilTests :: Type |
1607 | 'StencilTestsCase | 1607 | case'StencilTests |
1608 | :: forall (a :: StencilTests -> Type) (b :: StencilTests) -> a b | 1608 | :: forall (a :: StencilTests -> Type) (b :: StencilTests) -> a b |
1609 | match'StencilTests | 1609 | match'StencilTests |
1610 | :: forall (a :: Type -> Type) -> a StencilTests -> forall b -> a b -> a b | 1610 | :: forall (a :: Type -> Type) -> a StencilTests -> forall b -> a b -> a b |
1611 | 'StencilOps :: Type | 1611 | 'StencilOps :: Type |
1612 | 'StencilOpsCase :: forall (a :: StencilOps -> Type) (b :: StencilOps) -> a b | 1612 | case'StencilOps :: forall (a :: StencilOps -> Type) (b :: StencilOps) -> a b |
1613 | match'StencilOps | 1613 | match'StencilOps |
1614 | :: forall (a :: Type -> Type) -> a StencilOps -> forall b -> a b -> a b | 1614 | :: forall (a :: Type -> Type) -> a StencilOps -> forall b -> a b -> a b |
1615 | 'FragmentOperation :: ImageKind -> Type | 1615 | 'FragmentOperation :: ImageKind -> Type |
@@ -1620,7 +1620,7 @@ ColorOp | |||
1620 | DepthOp :: ComparisonFunction -> Bool -> FragmentOperation 'Depth | 1620 | DepthOp :: ComparisonFunction -> Bool -> FragmentOperation 'Depth |
1621 | StencilOp | 1621 | StencilOp |
1622 | :: StencilTests -> StencilOps -> StencilOps -> FragmentOperation 'Stencil | 1622 | :: StencilTests -> StencilOps -> StencilOps -> FragmentOperation 'Stencil |
1623 | 'FragmentOperationCase | 1623 | case'FragmentOperation |
1624 | :: forall (a :: forall (b :: ImageKind) -> FragmentOperation b -> Type) | 1624 | :: forall (a :: forall (b :: ImageKind) -> FragmentOperation b -> Type) |
1625 | -> (forall c (d :: Nat) (e :: Num c) | 1625 | -> (forall c (d :: Nat) (e :: Num c) |
1626 | . forall (f :: Blending c) (g :: VecScalar d Bool) | 1626 | . forall (f :: Blending c) (g :: VecScalar d Bool) |
@@ -1637,7 +1637,7 @@ match'FragmentOperation | |||
1637 | Smooth :: forall a . Floating a => Interpolated a | 1637 | Smooth :: forall a . Floating a => Interpolated a |
1638 | NoPerspective :: forall a . Floating a => Interpolated a | 1638 | NoPerspective :: forall a . Floating a => Interpolated a |
1639 | Flat :: forall a . Interpolated a | 1639 | Flat :: forall a . Interpolated a |
1640 | 'InterpolatedCase | 1640 | case'Interpolated |
1641 | :: forall a | 1641 | :: forall a |
1642 | . forall (b :: Interpolated a -> Type) | 1642 | . forall (b :: Interpolated a -> Type) |
1643 | -> (forall (c :: Floating a) . b ('Smooth c)) | 1643 | -> (forall (c :: Floating a) . b ('Smooth c)) |
@@ -1662,7 +1662,7 @@ rasterizePrimitives | |||
1662 | allSame :: forall a . [a] -> Type | 1662 | allSame :: forall a . [a] -> Type |
1663 | sameLayerCounts :: [Type] -> Type | 1663 | sameLayerCounts :: [Type] -> Type |
1664 | 'FrameBuffer :: Nat -> [ImageKind] -> Type | 1664 | 'FrameBuffer :: Nat -> [ImageKind] -> Type |
1665 | 'FrameBufferCase | 1665 | case'FrameBuffer |
1666 | :: forall (a :: Nat) (b :: [ImageKind]) | 1666 | :: forall (a :: Nat) (b :: [ImageKind]) |
1667 | . forall (c :: FrameBuffer a b -> Type) (d :: FrameBuffer a b) -> c d | 1667 | . forall (c :: FrameBuffer a b -> Type) (d :: FrameBuffer a b) -> c d |
1668 | match'FrameBuffer | 1668 | match'FrameBuffer |
@@ -1708,7 +1708,7 @@ PrjImageColor | |||
1708 | -> Image 1 ('Color (Vec 4 Float)) | 1708 | -> Image 1 ('Color (Vec 4 Float)) |
1709 | 'Output :: Type | 1709 | 'Output :: Type |
1710 | ScreenOut :: forall (a :: Nat) (b :: [ImageKind]) . FrameBuffer a b -> Output | 1710 | ScreenOut :: forall (a :: Nat) (b :: [ImageKind]) . FrameBuffer a b -> Output |
1711 | 'OutputCase | 1711 | case'Output |
1712 | :: forall (a :: Output -> Type) | 1712 | :: forall (a :: Output -> Type) |
1713 | -> (forall (b :: Nat) (c :: [ImageKind]) | 1713 | -> (forall (b :: Nat) (c :: [ImageKind]) |
1714 | . forall (d :: FrameBuffer b c) -> a ('ScreenOut b c d)) | 1714 | . forall (d :: FrameBuffer b c) -> a ('ScreenOut b c d)) |
@@ -1718,7 +1718,7 @@ renderFrame :: forall (a :: Nat) (b :: [ImageKind]) . FrameBuffer a b -> Output | |||
1718 | 'Texture :: Type | 1718 | 'Texture :: Type |
1719 | Texture2DSlot :: String -> Texture | 1719 | Texture2DSlot :: String -> Texture |
1720 | Texture2D :: Vec 2 Int -> Image 1 ('Color (Vec 4 Float)) -> Texture | 1720 | Texture2D :: Vec 2 Int -> Image 1 ('Color (Vec 4 Float)) -> Texture |
1721 | 'TextureCase | 1721 | case'Texture |
1722 | :: forall (a :: Texture -> Type) | 1722 | :: forall (a :: Texture -> Type) |
1723 | -> (forall (b :: String) -> a ('Texture2DSlot b)) | 1723 | -> (forall (b :: String) -> a ('Texture2DSlot b)) |
1724 | -> (forall (c :: Vec 2 Int) (d :: Image 1 ('Color (Vec 4 Float))) | 1724 | -> (forall (c :: Vec 2 Int) (d :: Image 1 ('Color (Vec 4 Float))) |
@@ -1729,7 +1729,7 @@ match'Texture | |||
1729 | 'Filter :: Type | 1729 | 'Filter :: Type |
1730 | PointFilter :: Filter | 1730 | PointFilter :: Filter |
1731 | LinearFilter :: Filter | 1731 | LinearFilter :: Filter |
1732 | 'FilterCase | 1732 | case'Filter |
1733 | :: forall (a :: Filter -> Type) | 1733 | :: forall (a :: Filter -> Type) |
1734 | -> a 'PointFilter -> a 'LinearFilter -> forall (b :: Filter) -> a b | 1734 | -> a 'PointFilter -> a 'LinearFilter -> forall (b :: Filter) -> a b |
1735 | match'Filter :: forall (a :: Type -> Type) -> a Filter -> forall b -> a b -> a b | 1735 | match'Filter :: forall (a :: Type -> Type) -> a Filter -> forall b -> a b -> a b |
@@ -1737,7 +1737,7 @@ match'Filter :: forall (a :: Type -> Type) -> a Filter -> forall b -> a b -> a b | |||
1737 | Repeat :: EdgeMode | 1737 | Repeat :: EdgeMode |
1738 | MirroredRepeat :: EdgeMode | 1738 | MirroredRepeat :: EdgeMode |
1739 | ClampToEdge :: EdgeMode | 1739 | ClampToEdge :: EdgeMode |
1740 | 'EdgeModeCase | 1740 | case'EdgeMode |
1741 | :: forall (a :: EdgeMode -> Type) | 1741 | :: forall (a :: EdgeMode -> Type) |
1742 | -> a 'Repeat | 1742 | -> a 'Repeat |
1743 | -> a 'MirroredRepeat -> a 'ClampToEdge -> forall (b :: EdgeMode) -> a b | 1743 | -> a 'MirroredRepeat -> a 'ClampToEdge -> forall (b :: EdgeMode) -> a b |
@@ -1745,7 +1745,7 @@ match'EdgeMode | |||
1745 | :: forall (a :: Type -> Type) -> a EdgeMode -> forall b -> a b -> a b | 1745 | :: forall (a :: Type -> Type) -> a EdgeMode -> forall b -> a b -> a b |
1746 | 'Sampler :: Type | 1746 | 'Sampler :: Type |
1747 | Sampler :: Filter -> EdgeMode -> Texture -> Sampler | 1747 | Sampler :: Filter -> EdgeMode -> Texture -> Sampler |
1748 | 'SamplerCase | 1748 | case'Sampler |
1749 | :: forall (a :: Sampler -> Type) | 1749 | :: forall (a :: Sampler -> Type) |
1750 | -> (forall (b :: Filter) (c :: EdgeMode) (d :: Texture) -> a ('Sampler b c d)) | 1750 | -> (forall (b :: Filter) (c :: EdgeMode) (d :: Texture) -> a ('Sampler b c d)) |
1751 | -> forall (e :: Sampler) -> a e | 1751 | -> forall (e :: Sampler) -> a e |