on master help sign in
Uniform vector constructors
commit5657db0092b4df5ac6f584207ec56c01effa6c0b authorBenjamin Saunders <besaunde@sfu.ca> dateFri 12 Jul 2013, 21:02 (13 years ago) parentc3e143f
1 file changed+12
lib/Prelude.idr+12
lib/Prelude.idr+12
@@ -340,6 +340,18 @@ curry f a b = f (a, b)
340340uncurry : (a -> b -> c) -> (a, b) -> c
341341uncurry f (a, b) = f a b
342342
343+uniformB8x16 : Bits8 -> Bits8x16
344+uniformB8x16 x = prim__mkB8x16 x x x x x x x x x x x x x x x x
345+
346+uniformB16x8 : Bits16 -> Bits16x8
347+uniformB16x8 x = prim__mkB16x8 x x x x x x x x
348+
349+uniformB32x4 : Bits32 -> Bits32x4
350+uniformB32x4 x = prim__mkB32x4 x x x x
351+
352+uniformB64x2 : Bits64 -> Bits64x2
353+uniformB64x2 x = prim__mkB64x2 x x
354+
343355---- some basic io
344356
345357partial