Documentation

cons :: (Positive n, C a) => Vector n a -> NVVector n a Source #

fst :: NVVector n (a, b) -> NVVector n a Source #

snd :: NVVector n (a, b) -> NVVector n b Source #

fst3 :: NVVector n (a, b, c) -> NVVector n a Source #

snd3 :: NVVector n (a, b, c) -> NVVector n b Source #

thd3 :: NVVector n (a, b, c) -> NVVector n c Source #

zip :: NVVector n a -> NVVector n b -> NVVector n (a, b) Source #

zip3 :: NVVector n a -> NVVector n b -> NVVector n c -> NVVector n (a, b, c) Source #

unzip :: NVVector n (a, b) -> (NVVector n a, NVVector n b) Source #

unzip3 :: NVVector n (a, b, c) -> (NVVector n a, NVVector n b, NVVector n c) Source #

swap :: NVVector n (a, b) -> NVVector n (b, a) Source #

mapFst :: (NVVector n a0 -> NVVector n a1) -> NVVector n (a0, b) -> NVVector n (a1, b) Source #

mapSnd :: (NVVector n b0 -> NVVector n b1) -> NVVector n (a, b0) -> NVVector n (a, b1) Source #

mapFst3 :: (NVVector n a0 -> NVVector n a1) -> NVVector n (a0, b, c) -> NVVector n (a1, b, c) Source #

mapSnd3 :: (NVVector n b0 -> NVVector n b1) -> NVVector n (a, b0, c) -> NVVector n (a, b1, c) Source #

mapThd3 :: (NVVector n c0 -> NVVector n c1) -> NVVector n (a, b, c0) -> NVVector n (a, b, c1) Source #

extract :: (Positive n, C a) => Value Word32 -> NVVector n a -> CodeGenFunction r (T a) Source #

insert :: (Positive n, C a) => Value Word32 -> T a -> NVVector n a -> CodeGenFunction r (NVVector n a) Source #

replicate :: (Positive n, C a) => T a -> CodeGenFunction r (NVVector n a) Source #

iterate :: (Positive n, C a) => (T a -> CodeGenFunction r (T a)) -> T a -> CodeGenFunction r (NVVector n a) Source #

dissect :: (Positive n, C a) => NVVector n a -> CodeGenFunction r [T a] Source #

dissect1 :: (Positive n, C a) => NVVector n a -> CodeGenFunction r (T [] (T a)) Source #

select :: (Positive n, Select a) => NVVector n Bool -> NVVector n a -> NVVector n a -> CodeGenFunction r (NVVector n a) Source #

cmp :: (Positive n, Comparison a) => CmpPredicate -> NVVector n a -> NVVector n a -> CodeGenFunction r (NVVector n Bool) Source #

take :: (Positive n, Positive m, C a) => NVVector n a -> CodeGenFunction r (NVVector m a) Source #

takeRev :: (Positive n, Positive m, C a) => NVVector n a -> CodeGenFunction r (NVVector m a) Source #

class (Repr i ~ Value ir, CmpRet ir, IsInteger ir, IntegerConstant ir) => NativeInteger i ir Source #

class (Repr a ~ Value ar, CmpRet ar, RationalConstant ar, IsFloating ar) => NativeFloating a ar Source #

fromIntegral :: (NativeInteger i ir, NativeFloating a ar, ShapeOf ir ~ ShapeOf ar) => T i -> CodeGenFunction r (T a) Source #

truncateToInt :: (NativeInteger i ir, NativeFloating a ar, ShapeOf ir ~ ShapeOf ar) => T a -> CodeGenFunction r (T i) Source #

splitFractionToInt :: (NativeInteger i ir, NativeFloating a ar, ShapeOf ir ~ ShapeOf ar) => T a -> CodeGenFunction r (T (i, a)) Source #