on master help sign in
Uniform vector constructors
5657db0Benjamin Saunders
lib/Prelude.idr+12
@@ -340,6 +340,18 @@ curry f a b = f (a, b)
340uncurry : (a -> b -> c) -> (a, b) -> c
340uncurry : (a -> b -> c) -> (a, b) -> c
341uncurry f (a, b) = f a b
341uncurry f (a, b) = f a b
342
342
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+
343---- some basic io
355---- some basic io
344
356
345partial
357partial