Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell98 |
Documentation
Cons (Vector n a) |
Instances
fromOrdinary :: T (Vector n a) -> Value n a Source #
toOrdinary :: Value n a -> T (Vector n a) Source #
fromMultiVector :: T n a -> Value n a Source #
toMultiVector :: Value n a -> T n a Source #
extract :: (Positive n, C x, T x ~ a, Value n x ~ v) => Value Word32 -> v -> CodeGenFunction r a Source #
insert :: (Positive n, C x, T x ~ a, Value n x ~ v) => Value Word32 -> a -> v -> CodeGenFunction r v Source #
modify :: (Positive n, C x, T x ~ a, Value n x ~ v) => Value Word32 -> (a -> CodeGenFunction r a) -> v -> CodeGenFunction r v Source #
shiftUpMultiZero :: (Positive n, C x, Value n x ~ v) => Int -> v -> CodeGenFunction r v Source #
shiftDown :: (Positive n, C x, T x ~ a, Value n x ~ v) => a -> v -> CodeGenFunction r (a, v) Source #
cumulate :: (Positive n, Additive a) => T a -> Value n a -> CodeGenFunction r (T a, Value n a) Source #
iterate :: (Positive n, C a) => (T a -> CodeGenFunction r (T a)) -> T a -> CodeGenFunction r (Value n a) Source #
scale :: (Positive n, PseudoRing a) => T a -> Value n a -> CodeGenFunction r (Value n a) Source #