Module Vector

(**) :: Ring a => VecComp a => a -> Vector a -> Vector a

Ring_Vector_a_super0 :: VecComp a => Ring a => Additive (Vector a)

allVector :: (a -> <b> Boolean) -> Vector a -> <b> Boolean

anyVector :: (a -> <b> Boolean) -> Vector a -> <b> Boolean

concatVector :: Vector a -> Vector a -> Vector a

containsVector :: a -> Vector a -> Boolean

copyFromMVector :: MVector a -> Integer -> MVector a -> Integer -> Integer -> <Proc> ()

copyFromVector :: Vector a -> Integer -> MVector a -> Integer -> Integer -> <Proc> ()

dotp :: Ring a => VecComp a => Vector a -> Vector a -> a

foldlVector :: (a -> b -> <c> a) -> a -> Vector b -> <c> a

iterVector :: (a -> <c> b) -> Vector a -> <c> ()

l1Norm :: OrderedRing a => Sequence (b a) => IndexedSequence b => b a -> a

mapFirstVector :: (a -> <c> Maybe b) -> Vector a -> <c> Maybe b

mapVector :: VecComp a => VecComp b => (a -> b) -> Vector a -> Vector b

maxNorm :: IndexedSequence a => OrderedRing b => Sequence (a b) => a b -> b

mvector :: VecComp a => [a] -> <Proc> MVector a

norm :: Real a => Sequence (b a) => IndexedSequence b => b a -> a

normSq :: Sequence (a b) => IndexedSequence a => Ring b => a b -> b

singletonVector :: VecComp a => a -> Vector a

vector :: VecComp a => [a] -> Vector a

vectorF :: VecComp a => Integer -> (Integer -> <b> a) -> <b> Vector a

vectorToList :: Vector a -> [a]

zipVectorsWith :: VecComp a => VecComp b => VecComp c => (a -> b -> c) -> Vector a -> Vector b -> Vector c