aern2-mfun-0.2.9.0: Multi-variate real function optimisation and proving
Safe HaskellNone
LanguageHaskell2010

AERN2.Linear.Vector.Type

Documentation

type Vector a = Vector a Source #

(+++) :: Vector a -> Vector a -> Vector a Source #

drop :: Int -> Vector a -> Vector a Source #

take :: Int -> Vector a -> Vector a Source #

empty :: Vector a Source #

singleton :: a -> Vector a Source #

cons :: a -> Vector a -> Vector a Source #

fromList :: [a] -> Vector a Source #

map :: (a -> b) -> Vector a -> Vector b Source #

imap :: (Integer -> a -> b) -> Vector a -> Vector b Source #

enumFromTo :: Enum a => a -> a -> Vector a Source #

slice :: Integer -> Integer -> Vector a -> Vector a Source #

foldl' :: (b -> a -> b) -> b -> Vector a -> b Source #

zipWith :: (a -> b -> c) -> Vector a -> Vector b -> Vector c Source #

(!) :: Vector a -> Integer -> a Source #

length :: Vector a -> Integer Source #

intLength :: Vector a -> Int Source #

inftyNorm :: (HasIntegers a, CanMinMaxSameType a) => Vector a -> a Source #

find :: (a -> Bool) -> Vector a -> Maybe a Source #

elem :: Eq a => a -> Vector a -> Bool Source #

toList :: Vector a -> [a] Source #

zip :: Vector a -> Vector b -> Vector (a, b) Source #

null :: Vector a -> Bool Source #

any :: (a -> Bool) -> Vector a -> Bool Source #

all :: (a -> Bool) -> Vector a -> Bool Source #

Orphan instances

(HasAccuracy a, HasPrecision a) => HasAccuracy (Vector a) Source # 
Instance details

Methods

getAccuracy :: Vector a -> Accuracy #

getFiniteAccuracy :: Vector a -> Accuracy #

HasPrecision a => HasPrecision (Vector a) Source # 
Instance details

Methods

getPrecision :: Vector a -> Precision #

CanSetPrecision a => CanSetPrecision (Vector a) Source # 
Instance details

Methods

setPrecision :: Precision -> Vector a -> Vector a #

CanMulAsymmetric (CN MPBall) (Vector (CN MPBall)) Source # 
Instance details

Associated Types

type MulType (CN MPBall) (Vector (CN MPBall)) #

Methods

mul :: CN MPBall -> Vector (CN MPBall) -> MulType (CN MPBall) (Vector (CN MPBall)) #

(CanAddSameType a, CanMulSameType a, HasIntegers a) => CanMulAsymmetric (Vector a) (Vector a) Source # 
Instance details

Associated Types

type MulType (Vector a) (Vector a) #

Methods

mul :: Vector a -> Vector a -> MulType (Vector a) (Vector a) #

CanAddSameType a => CanAddAsymmetric (Vector a) (Vector a) Source # 
Instance details

Associated Types

type AddType (Vector a) (Vector a) #

Methods

add :: Vector a -> Vector a -> AddType (Vector a) (Vector a) #

CanSubSameType a => CanSub (Vector a) (Vector a) Source # 
Instance details

Associated Types

type SubType (Vector a) (Vector a) #

Methods

sub :: Vector a -> Vector a -> SubType (Vector a) (Vector a) #