Copyright	(C) Frank Staals
License	see the LICENSE file
Maintainer	Frank Staals
Safe Haskell	None
Language	GHC2024

HGeometry.Vector

Contents

Special vector operations
Orphan instances

Description

D-dimensional Vectors

Synopsis

data family Vector (d :: Nat) r
class HasComponents vector vector' where
- components :: IndexedTraversal1 Int vector vector' (IxValue vector) (IxValue vector')
module HGeometry.Vector.Class
isScalarMultipleOf :: forall r vector (d :: Nat). (Eq r, Num r, Metric_ vector d r) => vector -> vector -> Bool
scalarMultiple :: forall r vector (d :: Nat). (Eq r, Fractional r, Additive_ vector d r) => vector -> vector -> Maybe r
sameDirection :: forall vector (d :: Nat) r. (Additive_ vector d r, Num r, Eq r) => vector -> vector -> Bool
cross :: Num r => Vector 3 r -> Vector 3 r -> Vector 3 r

Documentation

data family Vector (d :: Nat) r Source #

Data type representing d-dimensional vectors storing elements of type r.

Instances

Instances details

FoldableWithIndex Int (Vector 1) Source #

Instance details

Defined in HGeometry.Vector.Type

Methods

ifoldMap :: Monoid m => (Int -> a -> m) -> Vector 1 a -> m Source #

ifoldMap' :: Monoid m => (Int -> a -> m) -> Vector 1 a -> m Source #

ifoldr :: (Int -> a -> b -> b) -> b -> Vector 1 a -> b Source #

ifoldl :: (Int -> b -> a -> b) -> b -> Vector 1 a -> b Source #

ifoldr' :: (Int -> a -> b -> b) -> b -> Vector 1 a -> b Source #

ifoldl' :: (Int -> b -> a -> b) -> b -> Vector 1 a -> b Source #

FoldableWithIndex Int (Vector 2) Source #

Instance details

Defined in HGeometry.Vector.Type

Methods

ifoldMap :: Monoid m => (Int -> a -> m) -> Vector 2 a -> m Source #

ifoldMap' :: Monoid m => (Int -> a -> m) -> Vector 2 a -> m Source #

ifoldr :: (Int -> a -> b -> b) -> b -> Vector 2 a -> b Source #

ifoldl :: (Int -> b -> a -> b) -> b -> Vector 2 a -> b Source #

ifoldr' :: (Int -> a -> b -> b) -> b -> Vector 2 a -> b Source #

ifoldl' :: (Int -> b -> a -> b) -> b -> Vector 2 a -> b Source #

FoldableWithIndex Int (Vector 3) Source #

Instance details

Defined in HGeometry.Vector.Type

Methods

ifoldMap :: Monoid m => (Int -> a -> m) -> Vector 3 a -> m Source #

ifoldMap' :: Monoid m => (Int -> a -> m) -> Vector 3 a -> m Source #

ifoldr :: (Int -> a -> b -> b) -> b -> Vector 3 a -> b Source #

ifoldl :: (Int -> b -> a -> b) -> b -> Vector 3 a -> b Source #

ifoldr' :: (Int -> a -> b -> b) -> b -> Vector 3 a -> b Source #

ifoldl' :: (Int -> b -> a -> b) -> b -> Vector 3 a -> b Source #

FoldableWithIndex Int (Vector 4) Source #

Instance details

Defined in HGeometry.Vector.Type

Methods

ifoldMap :: Monoid m => (Int -> a -> m) -> Vector 4 a -> m Source #

ifoldMap' :: Monoid m => (Int -> a -> m) -> Vector 4 a -> m Source #

ifoldr :: (Int -> a -> b -> b) -> b -> Vector 4 a -> b Source #

ifoldl :: (Int -> b -> a -> b) -> b -> Vector 4 a -> b Source #

ifoldr' :: (Int -> a -> b -> b) -> b -> Vector 4 a -> b Source #

ifoldl' :: (Int -> b -> a -> b) -> b -> Vector 4 a -> b Source #

FunctorWithIndex Int (Vector 1) Source #

Instance details

Defined in HGeometry.Vector.Type

Methods

imap :: (Int -> a -> b) -> Vector 1 a -> Vector 1 b Source #

FunctorWithIndex Int (Vector 2) Source #

Instance details

Defined in HGeometry.Vector.Type

Methods

imap :: (Int -> a -> b) -> Vector 2 a -> Vector 2 b Source #

FunctorWithIndex Int (Vector 3) Source #

Instance details

Defined in HGeometry.Vector.Type

Methods

imap :: (Int -> a -> b) -> Vector 3 a -> Vector 3 b Source #

FunctorWithIndex Int (Vector 4) Source #

Instance details

Defined in HGeometry.Vector.Type

Methods

imap :: (Int -> a -> b) -> Vector 4 a -> Vector 4 b Source #

TraversableWithIndex Int (Vector 1) Source #

Instance details

Defined in HGeometry.Vector.Type

Methods

itraverse :: Applicative f => (Int -> a -> f b) -> Vector 1 a -> f (Vector 1 b) Source #

TraversableWithIndex Int (Vector 2) Source #

Instance details

Defined in HGeometry.Vector.Type

Methods

itraverse :: Applicative f => (Int -> a -> f b) -> Vector 2 a -> f (Vector 2 b) Source #

TraversableWithIndex Int (Vector 3) Source #

Instance details

Defined in HGeometry.Vector.Type

Methods

itraverse :: Applicative f => (Int -> a -> f b) -> Vector 3 a -> f (Vector 3 b) Source #

TraversableWithIndex Int (Vector 4) Source #

Instance details

Defined in HGeometry.Vector.Type

Methods

itraverse :: Applicative f => (Int -> a -> f b) -> Vector 4 a -> f (Vector 4 b) Source #

(Vector Vector r, Vector_ (Vector d r) d r) => Vector Vector (Vector d r) Source #

Instance details

Defined in HGeometry.Vector

Methods

basicUnsafeFreeze :: Mutable Vector s (Vector d r) -> ST s (Vector (Vector d r)) Source #

basicUnsafeThaw :: Vector (Vector d r) -> ST s (Mutable Vector s (Vector d r)) Source #

basicLength :: Vector (Vector d r) -> Int Source #

basicUnsafeSlice :: Int -> Int -> Vector (Vector d r) -> Vector (Vector d r) Source #

basicUnsafeIndexM :: Vector (Vector d r) -> Int -> Box (Vector d r) Source #

basicUnsafeCopy :: Mutable Vector s (Vector d r) -> Vector (Vector d r) -> ST s () Source #

elemseq :: Vector (Vector d r) -> Vector d r -> b -> b Source #

(MVector MVector r, Vector_ (Vector d r) d r) => MVector MVector (Vector d r) Source #

Instance details

Defined in HGeometry.Vector

Methods

basicLength :: MVector s (Vector d r) -> Int Source #

basicUnsafeSlice :: Int -> Int -> MVector s (Vector d r) -> MVector s (Vector d r) Source #

basicOverlaps :: MVector s (Vector d r) -> MVector s (Vector d r) -> Bool Source #

basicUnsafeNew :: Int -> ST s (MVector s (Vector d r)) Source #

basicInitialize :: MVector s (Vector d r) -> ST s () Source #

basicUnsafeReplicate :: Int -> Vector d r -> ST s (MVector s (Vector d r)) Source #

basicUnsafeRead :: MVector s (Vector d r) -> Int -> ST s (Vector d r) Source #

basicUnsafeWrite :: MVector s (Vector d r) -> Int -> Vector d r -> ST s () Source #

basicClear :: MVector s (Vector d r) -> ST s () Source #

basicSet :: MVector s (Vector d r) -> Vector d r -> ST s () Source #

basicUnsafeCopy :: MVector s (Vector d r) -> MVector s (Vector d r) -> ST s () Source #

basicUnsafeMove :: MVector s (Vector d r) -> MVector s (Vector d r) -> ST s () Source #

basicUnsafeGrow :: MVector s (Vector d r) -> Int -> ST s (MVector s (Vector d r)) Source #

Foldable1 (Vector 1) Source #

Instance details

Defined in HGeometry.Vector.Type

Methods

fold1 :: Semigroup m => Vector 1 m -> m Source #

foldMap1 :: Semigroup m => (a -> m) -> Vector 1 a -> m Source #

foldMap1' :: Semigroup m => (a -> m) -> Vector 1 a -> m Source #

toNonEmpty :: Vector 1 a -> NonEmpty a Source #

maximum :: Ord a => Vector 1 a -> a Source #

minimum :: Ord a => Vector 1 a -> a Source #

head :: Vector 1 a -> a Source #

last :: Vector 1 a -> a Source #

foldrMap1 :: (a -> b) -> (a -> b -> b) -> Vector 1 a -> b Source #

foldlMap1' :: (a -> b) -> (b -> a -> b) -> Vector 1 a -> b Source #

foldlMap1 :: (a -> b) -> (b -> a -> b) -> Vector 1 a -> b Source #

foldrMap1' :: (a -> b) -> (a -> b -> b) -> Vector 1 a -> b Source #

Foldable1 (Vector 2) Source #

Instance details

Defined in HGeometry.Vector.Type

Methods

fold1 :: Semigroup m => Vector 2 m -> m Source #

foldMap1 :: Semigroup m => (a -> m) -> Vector 2 a -> m Source #

foldMap1' :: Semigroup m => (a -> m) -> Vector 2 a -> m Source #

toNonEmpty :: Vector 2 a -> NonEmpty a Source #

maximum :: Ord a => Vector 2 a -> a Source #

minimum :: Ord a => Vector 2 a -> a Source #

head :: Vector 2 a -> a Source #

last :: Vector 2 a -> a Source #

foldrMap1 :: (a -> b) -> (a -> b -> b) -> Vector 2 a -> b Source #

foldlMap1' :: (a -> b) -> (b -> a -> b) -> Vector 2 a -> b Source #

foldlMap1 :: (a -> b) -> (b -> a -> b) -> Vector 2 a -> b Source #

foldrMap1' :: (a -> b) -> (a -> b -> b) -> Vector 2 a -> b Source #

Foldable1 (Vector 3) Source #

Instance details

Defined in HGeometry.Vector.Type

Methods

fold1 :: Semigroup m => Vector 3 m -> m Source #

foldMap1 :: Semigroup m => (a -> m) -> Vector 3 a -> m Source #

foldMap1' :: Semigroup m => (a -> m) -> Vector 3 a -> m Source #

toNonEmpty :: Vector 3 a -> NonEmpty a Source #

maximum :: Ord a => Vector 3 a -> a Source #

minimum :: Ord a => Vector 3 a -> a Source #

head :: Vector 3 a -> a Source #

last :: Vector 3 a -> a Source #

foldrMap1 :: (a -> b) -> (a -> b -> b) -> Vector 3 a -> b Source #

foldlMap1' :: (a -> b) -> (b -> a -> b) -> Vector 3 a -> b Source #

foldlMap1 :: (a -> b) -> (b -> a -> b) -> Vector 3 a -> b Source #

foldrMap1' :: (a -> b) -> (a -> b -> b) -> Vector 3 a -> b Source #

Foldable1 (Vector 4) Source #

Instance details

Defined in HGeometry.Vector.Type

Methods

fold1 :: Semigroup m => Vector 4 m -> m Source #

foldMap1 :: Semigroup m => (a -> m) -> Vector 4 a -> m Source #

foldMap1' :: Semigroup m => (a -> m) -> Vector 4 a -> m Source #

toNonEmpty :: Vector 4 a -> NonEmpty a Source #

maximum :: Ord a => Vector 4 a -> a Source #

minimum :: Ord a => Vector 4 a -> a Source #

head :: Vector 4 a -> a Source #

last :: Vector 4 a -> a Source #

foldrMap1 :: (a -> b) -> (a -> b -> b) -> Vector 4 a -> b Source #

foldlMap1' :: (a -> b) -> (b -> a -> b) -> Vector 4 a -> b Source #

foldlMap1 :: (a -> b) -> (b -> a -> b) -> Vector 4 a -> b Source #

foldrMap1' :: (a -> b) -> (a -> b -> b) -> Vector 4 a -> b Source #

Applicative (Vector 1) Source #

Instance details

Defined in HGeometry.Vector.Type

Methods

pure :: a -> Vector 1 a Source #

(<*>) :: Vector 1 (a -> b) -> Vector 1 a -> Vector 1 b Source #

liftA2 :: (a -> b -> c) -> Vector 1 a -> Vector 1 b -> Vector 1 c Source #

(*>) :: Vector 1 a -> Vector 1 b -> Vector 1 b Source #

(<*) :: Vector 1 a -> Vector 1 b -> Vector 1 a Source #

Applicative (Vector 2) Source #

Instance details

Defined in HGeometry.Vector.Type

Methods

pure :: a -> Vector 2 a Source #

(<*>) :: Vector 2 (a -> b) -> Vector 2 a -> Vector 2 b Source #

liftA2 :: (a -> b -> c) -> Vector 2 a -> Vector 2 b -> Vector 2 c Source #

(*>) :: Vector 2 a -> Vector 2 b -> Vector 2 b Source #

(<*) :: Vector 2 a -> Vector 2 b -> Vector 2 a Source #

Applicative (Vector 3) Source #

Instance details

Defined in HGeometry.Vector.Type

Methods

pure :: a -> Vector 3 a Source #

(<*>) :: Vector 3 (a -> b) -> Vector 3 a -> Vector 3 b Source #

liftA2 :: (a -> b -> c) -> Vector 3 a -> Vector 3 b -> Vector 3 c Source #

(*>) :: Vector 3 a -> Vector 3 b -> Vector 3 b Source #

(<*) :: Vector 3 a -> Vector 3 b -> Vector 3 a Source #

Applicative (Vector 4) Source #

Instance details

Defined in HGeometry.Vector.Type

Methods

pure :: a -> Vector 4 a Source #

(<*>) :: Vector 4 (a -> b) -> Vector 4 a -> Vector 4 b Source #

liftA2 :: (a -> b -> c) -> Vector 4 a -> Vector 4 b -> Vector 4 c Source #

(*>) :: Vector 4 a -> Vector 4 b -> Vector 4 b Source #

(<*) :: Vector 4 a -> Vector 4 b -> Vector 4 a Source #

Functor (Vector 1) Source #

Instance details

Defined in HGeometry.Vector.Type

Methods

fmap :: (a -> b) -> Vector 1 a -> Vector 1 b Source #

(<$) :: a -> Vector 1 b -> Vector 1 a Source #

Functor (Vector 2) Source #

Instance details

Defined in HGeometry.Vector.Type

Methods

fmap :: (a -> b) -> Vector 2 a -> Vector 2 b Source #

(<$) :: a -> Vector 2 b -> Vector 2 a Source #

Functor (Vector 3) Source #

Instance details

Defined in HGeometry.Vector.Type

Methods

fmap :: (a -> b) -> Vector 3 a -> Vector 3 b Source #

(<$) :: a -> Vector 3 b -> Vector 3 a Source #

Functor (Vector 4) Source #

Instance details

Defined in HGeometry.Vector.Type

Methods

fmap :: (a -> b) -> Vector 4 a -> Vector 4 b Source #

(<$) :: a -> Vector 4 b -> Vector 4 a Source #

Foldable (Vector 1) Source #

Instance details

Defined in HGeometry.Vector.Type

Methods

fold :: Monoid m => Vector 1 m -> m Source #

foldMap :: Monoid m => (a -> m) -> Vector 1 a -> m Source #

foldMap' :: Monoid m => (a -> m) -> Vector 1 a -> m Source #

foldr :: (a -> b -> b) -> b -> Vector 1 a -> b Source #

foldr' :: (a -> b -> b) -> b -> Vector 1 a -> b Source #

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

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

foldr1 :: (a -> a -> a) -> Vector 1 a -> a Source #

foldl1 :: (a -> a -> a) -> Vector 1 a -> a Source #

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

null :: Vector 1 a -> Bool Source #

length :: Vector 1 a -> Int Source #

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

maximum :: Ord a => Vector 1 a -> a Source #

minimum :: Ord a => Vector 1 a -> a Source #

sum :: Num a => Vector 1 a -> a Source #

product :: Num a => Vector 1 a -> a Source #

Foldable (Vector 2) Source #

Instance details

Defined in HGeometry.Vector.Type

Methods

fold :: Monoid m => Vector 2 m -> m Source #

foldMap :: Monoid m => (a -> m) -> Vector 2 a -> m Source #

foldMap' :: Monoid m => (a -> m) -> Vector 2 a -> m Source #

foldr :: (a -> b -> b) -> b -> Vector 2 a -> b Source #

foldr' :: (a -> b -> b) -> b -> Vector 2 a -> b Source #

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

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

foldr1 :: (a -> a -> a) -> Vector 2 a -> a Source #

foldl1 :: (a -> a -> a) -> Vector 2 a -> a Source #

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

null :: Vector 2 a -> Bool Source #

length :: Vector 2 a -> Int Source #

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

maximum :: Ord a => Vector 2 a -> a Source #

minimum :: Ord a => Vector 2 a -> a Source #

sum :: Num a => Vector 2 a -> a Source #

product :: Num a => Vector 2 a -> a Source #

Foldable (Vector 3) Source #

Instance details

Defined in HGeometry.Vector.Type

Methods

fold :: Monoid m => Vector 3 m -> m Source #

foldMap :: Monoid m => (a -> m) -> Vector 3 a -> m Source #

foldMap' :: Monoid m => (a -> m) -> Vector 3 a -> m Source #

foldr :: (a -> b -> b) -> b -> Vector 3 a -> b Source #

foldr' :: (a -> b -> b) -> b -> Vector 3 a -> b Source #

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

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

foldr1 :: (a -> a -> a) -> Vector 3 a -> a Source #

foldl1 :: (a -> a -> a) -> Vector 3 a -> a Source #

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

null :: Vector 3 a -> Bool Source #

length :: Vector 3 a -> Int Source #

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

maximum :: Ord a => Vector 3 a -> a Source #

minimum :: Ord a => Vector 3 a -> a Source #

sum :: Num a => Vector 3 a -> a Source #

product :: Num a => Vector 3 a -> a Source #

Foldable (Vector 4) Source #

Instance details

Defined in HGeometry.Vector.Type

Methods

fold :: Monoid m => Vector 4 m -> m Source #

foldMap :: Monoid m => (a -> m) -> Vector 4 a -> m Source #

foldMap' :: Monoid m => (a -> m) -> Vector 4 a -> m Source #

foldr :: (a -> b -> b) -> b -> Vector 4 a -> b Source #

foldr' :: (a -> b -> b) -> b -> Vector 4 a -> b Source #

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

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

foldr1 :: (a -> a -> a) -> Vector 4 a -> a Source #

foldl1 :: (a -> a -> a) -> Vector 4 a -> a Source #

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

null :: Vector 4 a -> Bool Source #

length :: Vector 4 a -> Int Source #

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

maximum :: Ord a => Vector 4 a -> a Source #

minimum :: Ord a => Vector 4 a -> a Source #

sum :: Num a => Vector 4 a -> a Source #

product :: Num a => Vector 4 a -> a Source #

Traversable (Vector 1) Source #

Instance details

Defined in HGeometry.Vector.Type

Methods

traverse :: Applicative f => (a -> f b) -> Vector 1 a -> f (Vector 1 b) Source #

sequenceA :: Applicative f => Vector 1 (f a) -> f (Vector 1 a) Source #

mapM :: Monad m => (a -> m b) -> Vector 1 a -> m (Vector 1 b) Source #

sequence :: Monad m => Vector 1 (m a) -> m (Vector 1 a) Source #

Traversable (Vector 2) Source #

Instance details

Defined in HGeometry.Vector.Type

Methods

traverse :: Applicative f => (a -> f b) -> Vector 2 a -> f (Vector 2 b) Source #

sequenceA :: Applicative f => Vector 2 (f a) -> f (Vector 2 a) Source #

mapM :: Monad m => (a -> m b) -> Vector 2 a -> m (Vector 2 b) Source #

sequence :: Monad m => Vector 2 (m a) -> m (Vector 2 a) Source #

Traversable (Vector 3) Source #

Instance details

Defined in HGeometry.Vector.Type

Methods

traverse :: Applicative f => (a -> f b) -> Vector 3 a -> f (Vector 3 b) Source #

sequenceA :: Applicative f => Vector 3 (f a) -> f (Vector 3 a) Source #

mapM :: Monad m => (a -> m b) -> Vector 3 a -> m (Vector 3 b) Source #

sequence :: Monad m => Vector 3 (m a) -> m (Vector 3 a) Source #

Traversable (Vector 4) Source #

Instance details

Defined in HGeometry.Vector.Type

Methods

traverse :: Applicative f => (a -> f b) -> Vector 4 a -> f (Vector 4 b) Source #

sequenceA :: Applicative f => Vector 4 (f a) -> f (Vector 4 a) Source #

mapM :: Monad m => (a -> m b) -> Vector 4 a -> m (Vector 4 b) Source #

sequence :: Monad m => Vector 4 (m a) -> m (Vector 4 a) Source #

Semialign (Vector 1) Source #

Instance details

Defined in HGeometry.Vector.Type

Methods

align :: Vector 1 a -> Vector 1 b -> Vector 1 (These a b) Source #

alignWith :: (These a b -> c) -> Vector 1 a -> Vector 1 b -> Vector 1 c Source #

Semialign (Vector 2) Source #

Instance details

Defined in HGeometry.Vector.Type

Methods

align :: Vector 2 a -> Vector 2 b -> Vector 2 (These a b) Source #

alignWith :: (These a b -> c) -> Vector 2 a -> Vector 2 b -> Vector 2 c Source #

Semialign (Vector 3) Source #

Instance details

Defined in HGeometry.Vector.Type

Methods

align :: Vector 3 a -> Vector 3 b -> Vector 3 (These a b) Source #

alignWith :: (These a b -> c) -> Vector 3 a -> Vector 3 b -> Vector 3 c Source #

Semialign (Vector 4) Source #

Instance details

Defined in HGeometry.Vector.Type

Methods

align :: Vector 4 a -> Vector 4 b -> Vector 4 (These a b) Source #

alignWith :: (These a b -> c) -> Vector 4 a -> Vector 4 b -> Vector 4 c Source #

Zip (Vector 1) Source #

Instance details

Defined in HGeometry.Vector.Type

Methods

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

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

Zip (Vector 2) Source #

Instance details

Defined in HGeometry.Vector.Type

Methods

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

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

Zip (Vector 3) Source #

Instance details

Defined in HGeometry.Vector.Type

Methods

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

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

Zip (Vector 4) Source #

Instance details

Defined in HGeometry.Vector.Type

Methods

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

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

Traversable1 (Vector 1) Source #

Instance details

Defined in HGeometry.Vector.Type

Methods

traverse1 :: Apply f => (a -> f b) -> Vector 1 a -> f (Vector 1 b) Source #

sequence1 :: Apply f => Vector 1 (f b) -> f (Vector 1 b) Source #

Traversable1 (Vector 2) Source #

Instance details

Defined in HGeometry.Vector.Type

Methods

traverse1 :: Apply f => (a -> f b) -> Vector 2 a -> f (Vector 2 b) Source #

sequence1 :: Apply f => Vector 2 (f b) -> f (Vector 2 b) Source #

Traversable1 (Vector 3) Source #

Instance details

Defined in HGeometry.Vector.Type

Methods

traverse1 :: Apply f => (a -> f b) -> Vector 3 a -> f (Vector 3 b) Source #

sequence1 :: Apply f => Vector 3 (f b) -> f (Vector 3 b) Source #

Traversable1 (Vector 4) Source #

Instance details

Defined in HGeometry.Vector.Type

Methods

traverse1 :: Apply f => (a -> f b) -> Vector 4 a -> f (Vector 4 b) Source #

sequence1 :: Apply f => Vector 4 (f b) -> f (Vector 4 b) Source #

FromJSON r => FromJSON (Vector 1 r) Source #

Instance details

Defined in HGeometry.Vector.Type

Methods

parseJSON :: Value -> Parser (Vector 1 r) Source #

parseJSONList :: Value -> Parser [Vector 1 r] Source #

omittedField :: Maybe (Vector 1 r) Source #

FromJSON r => FromJSON (Vector 2 r) Source #

Instance details

Defined in HGeometry.Vector.Type

Methods

parseJSON :: Value -> Parser (Vector 2 r) Source #

parseJSONList :: Value -> Parser [Vector 2 r] Source #

omittedField :: Maybe (Vector 2 r) Source #

FromJSON r => FromJSON (Vector 3 r) Source #

Instance details

Defined in HGeometry.Vector.Type

Methods

parseJSON :: Value -> Parser (Vector 3 r) Source #

parseJSONList :: Value -> Parser [Vector 3 r] Source #

omittedField :: Maybe (Vector 3 r) Source #

FromJSON r => FromJSON (Vector 4 r) Source #

Instance details

Defined in HGeometry.Vector.Type

Methods

parseJSON :: Value -> Parser (Vector 4 r) Source #

parseJSONList :: Value -> Parser [Vector 4 r] Source #

omittedField :: Maybe (Vector 4 r) Source #

(ToJSON r, HasComponents (Vector d r) (Vector d r)) => ToJSON (Vector d r) Source #

Instance details

Defined in HGeometry.Vector.Type

Methods

toJSON :: Vector d r -> Value Source #

toEncoding :: Vector d r -> Encoding Source #

toJSONList :: [Vector d r] -> Value Source #

toEncodingList :: [Vector d r] -> Encoding Source #

omitField :: Vector d r -> Bool Source #

NFData r => NFData (Vector 1 r) Source #

Instance details

Defined in HGeometry.Vector.Type

Methods

rnf :: Vector 1 r -> () Source #

NFData r => NFData (Vector 2 r) Source #

Instance details

Defined in HGeometry.Vector.Type

Methods

rnf :: Vector 2 r -> () Source #

NFData r => NFData (Vector 3 r) Source #

Instance details

Defined in HGeometry.Vector.Type

Methods

rnf :: Vector 3 r -> () Source #

NFData r => NFData (Vector 4 r) Source #

Instance details

Defined in HGeometry.Vector.Type

Methods

rnf :: Vector 4 r -> () Source #

Generic (Vector 1 r) Source #

Instance details

Defined in HGeometry.Vector.Type

Associated Types

type Rep (Vector 1 r)
Instance details Defined in HGeometry.Vector.Type type Rep (Vector 1 r) = D1 ('MetaData "Vector" "HGeometry.Vector.Type" "hgeometry-vector-1.0.0.0-inplace" 'True) (C1 ('MetaCons "MkVector1" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (V1 r))))

Methods

from :: Vector 1 r -> Rep (Vector 1 r) x Source #

to :: Rep (Vector 1 r) x -> Vector 1 r Source #

Generic (Vector 2 r) Source #

Instance details

Defined in HGeometry.Vector.Type

Associated Types

type Rep (Vector 2 r)
Instance details Defined in HGeometry.Vector.Type type Rep (Vector 2 r) = D1 ('MetaData "Vector" "HGeometry.Vector.Type" "hgeometry-vector-1.0.0.0-inplace" 'True) (C1 ('MetaCons "MkVector2" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (V2 r))))

Methods

from :: Vector 2 r -> Rep (Vector 2 r) x Source #

to :: Rep (Vector 2 r) x -> Vector 2 r Source #

Generic (Vector 3 r) Source #

Instance details

Defined in HGeometry.Vector.Type

Associated Types

type Rep (Vector 3 r)
Instance details Defined in HGeometry.Vector.Type type Rep (Vector 3 r) = D1 ('MetaData "Vector" "HGeometry.Vector.Type" "hgeometry-vector-1.0.0.0-inplace" 'True) (C1 ('MetaCons "MkVector3" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (V3 r))))

Methods

from :: Vector 3 r -> Rep (Vector 3 r) x Source #

to :: Rep (Vector 3 r) x -> Vector 3 r Source #

Generic (Vector 4 r) Source #

Instance details

Defined in HGeometry.Vector.Type

Associated Types

type Rep (Vector 4 r)
Instance details Defined in HGeometry.Vector.Type type Rep (Vector 4 r) = D1 ('MetaData "Vector" "HGeometry.Vector.Type" "hgeometry-vector-1.0.0.0-inplace" 'True) (C1 ('MetaCons "MkVector4" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (V4 r))))

Methods

from :: Vector 4 r -> Rep (Vector 4 r) x Source #

to :: Rep (Vector 4 r) x -> Vector 4 r Source #

(Vector_ (Vector d r) d r, Read r, KnownNat d) => Read (Vector d r) Source #

Instance details

Defined in HGeometry.Vector.Class

Methods

readsPrec :: Int -> ReadS (Vector d r) Source #

readList :: ReadS [Vector d r] Source #

readPrec :: ReadPrec (Vector d r) Source #

readListPrec :: ReadPrec [Vector d r] Source #

(HasComponents (Vector d r) (Vector d r), Show r, KnownNat d) => Show (Vector d r) Source #

Instance details

Defined in HGeometry.Vector.Type

Methods

showsPrec :: Int -> Vector d r -> ShowS Source #

show :: Vector d r -> String Source #

showList :: [Vector d r] -> ShowS Source #

Eq r => Eq (Vector 1 r) Source #

Instance details

Defined in HGeometry.Vector.Type

Methods

(==) :: Vector 1 r -> Vector 1 r -> Bool Source #

(/=) :: Vector 1 r -> Vector 1 r -> Bool Source #

Eq r => Eq (Vector 2 r) Source #

Instance details

Defined in HGeometry.Vector.Type

Methods

(==) :: Vector 2 r -> Vector 2 r -> Bool Source #

(/=) :: Vector 2 r -> Vector 2 r -> Bool Source #

Eq r => Eq (Vector 3 r) Source #

Instance details

Defined in HGeometry.Vector.Type

Methods

(==) :: Vector 3 r -> Vector 3 r -> Bool Source #

(/=) :: Vector 3 r -> Vector 3 r -> Bool Source #

Eq r => Eq (Vector 4 r) Source #

Instance details

Defined in HGeometry.Vector.Type

Methods

(==) :: Vector 4 r -> Vector 4 r -> Bool Source #

(/=) :: Vector 4 r -> Vector 4 r -> Bool Source #

Ord r => Ord (Vector 1 r) Source #

Instance details

Defined in HGeometry.Vector.Type

Methods

compare :: Vector 1 r -> Vector 1 r -> Ordering Source #

(<) :: Vector 1 r -> Vector 1 r -> Bool Source #

(<=) :: Vector 1 r -> Vector 1 r -> Bool Source #

(>) :: Vector 1 r -> Vector 1 r -> Bool Source #

(>=) :: Vector 1 r -> Vector 1 r -> Bool Source #

max :: Vector 1 r -> Vector 1 r -> Vector 1 r Source #

min :: Vector 1 r -> Vector 1 r -> Vector 1 r Source #

Ord r => Ord (Vector 2 r) Source #

Instance details

Defined in HGeometry.Vector.Type

Methods

compare :: Vector 2 r -> Vector 2 r -> Ordering Source #

(<) :: Vector 2 r -> Vector 2 r -> Bool Source #

(<=) :: Vector 2 r -> Vector 2 r -> Bool Source #

(>) :: Vector 2 r -> Vector 2 r -> Bool Source #

(>=) :: Vector 2 r -> Vector 2 r -> Bool Source #

max :: Vector 2 r -> Vector 2 r -> Vector 2 r Source #

min :: Vector 2 r -> Vector 2 r -> Vector 2 r Source #

Ord r => Ord (Vector 3 r) Source #

Instance details

Defined in HGeometry.Vector.Type

Methods

compare :: Vector 3 r -> Vector 3 r -> Ordering Source #

(<) :: Vector 3 r -> Vector 3 r -> Bool Source #

(<=) :: Vector 3 r -> Vector 3 r -> Bool Source #

(>) :: Vector 3 r -> Vector 3 r -> Bool Source #

(>=) :: Vector 3 r -> Vector 3 r -> Bool Source #

max :: Vector 3 r -> Vector 3 r -> Vector 3 r Source #

min :: Vector 3 r -> Vector 3 r -> Vector 3 r Source #

Ord r => Ord (Vector 4 r) Source #

Instance details

Defined in HGeometry.Vector.Type

Methods

compare :: Vector 4 r -> Vector 4 r -> Ordering Source #

(<) :: Vector 4 r -> Vector 4 r -> Bool Source #

(<=) :: Vector 4 r -> Vector 4 r -> Bool Source #

(>) :: Vector 4 r -> Vector 4 r -> Bool Source #

(>=) :: Vector 4 r -> Vector 4 r -> Bool Source #

max :: Vector 4 r -> Vector 4 r -> Vector 4 r Source #

min :: Vector 4 r -> Vector 4 r -> Vector 4 r Source #

Ixed (Vector 1 r) Source #

Instance details

Defined in HGeometry.Vector.Type

Methods

ix :: Index (Vector 1 r) -> Traversal' (Vector 1 r) (IxValue (Vector 1 r)) Source #

Ixed (Vector 2 r) Source #

Instance details

Defined in HGeometry.Vector.Type

Methods

ix :: Index (Vector 2 r) -> Traversal' (Vector 2 r) (IxValue (Vector 2 r)) Source #

Ixed (Vector 3 r) Source #

Instance details

Defined in HGeometry.Vector.Type

Methods

ix :: Index (Vector 3 r) -> Traversal' (Vector 3 r) (IxValue (Vector 3 r)) Source #

Ixed (Vector 4 r) Source #

Instance details

Defined in HGeometry.Vector.Type

Methods

ix :: Index (Vector 4 r) -> Traversal' (Vector 4 r) (IxValue (Vector 4 r)) Source #

Reversing (Vector 1 r) Source #

Instance details

Defined in HGeometry.Vector.Type

Methods

reversing :: Vector 1 r -> Vector 1 r Source #

Reversing (Vector 2 r) Source #

Instance details

Defined in HGeometry.Vector.Type

Methods

reversing :: Vector 2 r -> Vector 2 r Source #

Reversing (Vector 3 r) Source #

Instance details

Defined in HGeometry.Vector.Type

Methods

reversing :: Vector 3 r -> Vector 3 r Source #

Reversing (Vector 4 r) Source #

Instance details

Defined in HGeometry.Vector.Type

Methods

reversing :: Vector 4 r -> Vector 4 r Source #

(Additive_ (Vector d r) d r, Uniform r, UniformRange r, Ord (Vector d r)) => Random (Vector d r) Source #

Instance details

Defined in HGeometry.Vector.Class

Methods

randomR :: RandomGen g => (Vector d r, Vector d r) -> g -> (Vector d r, g) Source #

random :: RandomGen g => g -> (Vector d r, g) Source #

randomRs :: RandomGen g => (Vector d r, Vector d r) -> g -> [Vector d r] Source #

randoms :: RandomGen g => g -> [Vector d r] Source #

(Vector_ (Vector d r) d r, Uniform r) => Uniform (Vector d r) Source #

Instance details

Defined in HGeometry.Vector.Class

Methods

uniformM :: StatefulGen g m => g -> m (Vector d r) Source #

(Additive_ (Vector d r) d r, UniformRange r, Ord (Vector d r)) => UniformRange (Vector d r) Source #

Instance details

Defined in HGeometry.Vector.Class

Methods

uniformRM :: StatefulGen g m => (Vector d r, Vector d r) -> g -> m (Vector d r) Source #

isInRange :: (Vector d r, Vector d r) -> Vector d r -> Bool Source #

(Unbox r, Vector_ (Vector d r) d r) => Unbox (Vector d r) Source #

Instance details

Defined in HGeometry.Vector

Additive_ (Vector 1 r) 1 r Source #

Instance details

Defined in HGeometry.Vector.Class

Methods

liftU2 :: (r -> r -> r) -> Vector 1 r -> Vector 1 r -> Vector 1 r Source #

liftI2A :: Apply f => (r -> r -> f r) -> Vector 1 r -> Vector 1 r -> f (Vector 1 r) Source #

Additive_ (Vector 2 r) 2 r Source #

Instance details

Defined in HGeometry.Vector.Class

Methods

liftU2 :: (r -> r -> r) -> Vector 2 r -> Vector 2 r -> Vector 2 r Source #

liftI2A :: Apply f => (r -> r -> f r) -> Vector 2 r -> Vector 2 r -> f (Vector 2 r) Source #

Additive_ (Vector 3 r) 3 r Source #

Instance details

Defined in HGeometry.Vector.Class

Methods

liftU2 :: (r -> r -> r) -> Vector 3 r -> Vector 3 r -> Vector 3 r Source #

liftI2A :: Apply f => (r -> r -> f r) -> Vector 3 r -> Vector 3 r -> f (Vector 3 r) Source #

Additive_ (Vector 4 r) 4 r Source #

Instance details

Defined in HGeometry.Vector.Class

Methods

liftU2 :: (r -> r -> r) -> Vector 4 r -> Vector 4 r -> Vector 4 r Source #

liftI2A :: Apply f => (r -> r -> f r) -> Vector 4 r -> Vector 4 r -> f (Vector 4 r) Source #

Metric_ (Vector 1 r) 1 r Source #

Instance details

Defined in HGeometry.Vector.Class

Methods

dot :: Vector 1 r -> Vector 1 r -> r Source #

quadrance :: Vector 1 r -> r Source #

qd :: Vector 1 r -> Vector 1 r -> r Source #

norm :: Vector 1 r -> r Source #

signorm :: Vector 1 r -> Vector 1 r Source #

Metric_ (Vector 2 r) 2 r Source #

Instance details

Defined in HGeometry.Vector.Class

Methods

dot :: Vector 2 r -> Vector 2 r -> r Source #

quadrance :: Vector 2 r -> r Source #

qd :: Vector 2 r -> Vector 2 r -> r Source #

norm :: Vector 2 r -> r Source #

signorm :: Vector 2 r -> Vector 2 r Source #

Metric_ (Vector 3 r) 3 r Source #

Instance details

Defined in HGeometry.Vector.Class

Methods

dot :: Vector 3 r -> Vector 3 r -> r Source #

quadrance :: Vector 3 r -> r Source #

qd :: Vector 3 r -> Vector 3 r -> r Source #

norm :: Vector 3 r -> r Source #

signorm :: Vector 3 r -> Vector 3 r Source #

Metric_ (Vector 4 r) 4 r Source #

Instance details

Defined in HGeometry.Vector.Class

Methods

dot :: Vector 4 r -> Vector 4 r -> r Source #

quadrance :: Vector 4 r -> r Source #

qd :: Vector 4 r -> Vector 4 r -> r Source #

norm :: Vector 4 r -> r Source #

signorm :: Vector 4 r -> Vector 4 r Source #

Vector_ (Vector 1 r) 1 r Source #

Instance details

Defined in HGeometry.Vector.Class

Methods

generateA :: Applicative f => (Int -> f r) -> f (Vector 1 r) Source #

component' :: Int -> IndexedTraversal' Int (Vector 1 r) r Source #

Vector_ (Vector 2 r) 2 r Source #

Instance details

Defined in HGeometry.Vector.Class

Methods

generateA :: Applicative f => (Int -> f r) -> f (Vector 2 r) Source #

component' :: Int -> IndexedTraversal' Int (Vector 2 r) r Source #

Vector_ (Vector 3 r) 3 r Source #

Instance details

Defined in HGeometry.Vector.Class

Methods

generateA :: Applicative f => (Int -> f r) -> f (Vector 3 r) Source #

component' :: Int -> IndexedTraversal' Int (Vector 3 r) r Source #

Vector_ (Vector 4 r) 4 r Source #

Instance details

Defined in HGeometry.Vector.Class

Methods

generateA :: Applicative f => (Int -> f r) -> f (Vector 4 r) Source #

component' :: Int -> IndexedTraversal' Int (Vector 4 r) r Source #

HasComponents (Vector 1 r) (Vector 1 s) Source #

Instance details

Defined in HGeometry.Vector.Type

Methods

components :: IndexedTraversal1 Int (Vector 1 r) (Vector 1 s) (IxValue (Vector 1 r)) (IxValue (Vector 1 s)) Source #

HasComponents (Vector 2 r) (Vector 2 s) Source #

Instance details

Defined in HGeometry.Vector.Type

Methods

components :: IndexedTraversal1 Int (Vector 2 r) (Vector 2 s) (IxValue (Vector 2 r)) (IxValue (Vector 2 s)) Source #

HasComponents (Vector 3 r) (Vector 3 s) Source #

Instance details

Defined in HGeometry.Vector.Type

Methods

components :: IndexedTraversal1 Int (Vector 3 r) (Vector 3 s) (IxValue (Vector 3 r)) (IxValue (Vector 3 s)) Source #

HasComponents (Vector 4 r) (Vector 4 s) Source #

Instance details

Defined in HGeometry.Vector.Type

Methods

components :: IndexedTraversal1 Int (Vector 4 r) (Vector 4 s) (IxValue (Vector 4 r)) (IxValue (Vector 4 s)) Source #

AsVector_ (Vector d r) (Vector d s) d r s Source #

Instance details

Defined in HGeometry.Vector.Class

Methods

_Vector :: Iso (Vector d r) (Vector d s) (Vector d r) (Vector d s) Source #

newtype Vector 1 r Source #

Instance details

Defined in HGeometry.Vector.Type

newtype Vector 1 r = MkVector1 (V1 r)

newtype Vector 2 r Source #

Instance details

Defined in HGeometry.Vector.Type

newtype Vector 2 r = MkVector2 (V2 r)

newtype Vector 3 r Source #

Instance details

Defined in HGeometry.Vector.Type

newtype Vector 3 r = MkVector3 (V3 r)

newtype Vector 4 r Source #

Instance details

Defined in HGeometry.Vector.Type

newtype Vector 4 r = MkVector4 (V4 r)

newtype MVector s (Vector d r) Source #

elements of the vector are stored consecutively

Instance details

Defined in HGeometry.Vector

newtype MVector s (Vector d r) = MV_VectorD (MVector s r)

type Rep (Vector 1 r) Source #

Instance details

Defined in HGeometry.Vector.Type

type Rep (Vector 1 r) = D1 ('MetaData "Vector" "HGeometry.Vector.Type" "hgeometry-vector-1.0.0.0-inplace" 'True) (C1 ('MetaCons "MkVector1" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (V1 r))))

type Rep (Vector 2 r) Source #

Instance details

Defined in HGeometry.Vector.Type

type Rep (Vector 2 r) = D1 ('MetaData "Vector" "HGeometry.Vector.Type" "hgeometry-vector-1.0.0.0-inplace" 'True) (C1 ('MetaCons "MkVector2" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (V2 r))))

type Rep (Vector 3 r) Source #

Instance details

Defined in HGeometry.Vector.Type

type Rep (Vector 3 r) = D1 ('MetaData "Vector" "HGeometry.Vector.Type" "hgeometry-vector-1.0.0.0-inplace" 'True) (C1 ('MetaCons "MkVector3" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (V3 r))))

type Rep (Vector 4 r) Source #

Instance details

Defined in HGeometry.Vector.Type

type Rep (Vector 4 r) = D1 ('MetaData "Vector" "HGeometry.Vector.Type" "hgeometry-vector-1.0.0.0-inplace" 'True) (C1 ('MetaCons "MkVector4" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (V4 r))))

type Dimension (Vector d r) Source #

Instance details

Defined in HGeometry.Vector.Type

type Dimension (Vector d r) = d

type NumType (Vector d r) Source #

Instance details

Defined in HGeometry.Vector.Type

type NumType (Vector d r) = r

type Index (Vector d r) Source #

Instance details

Defined in HGeometry.Vector.Type

type Index (Vector d r) = Int

type IxValue (Vector d r) Source #

Instance details

Defined in HGeometry.Vector.Type

type IxValue (Vector d r) = r

newtype Vector (Vector d r) Source #

Instance details

Defined in HGeometry.Vector

newtype Vector (Vector d r) = V_VectorD (Vector r)

class HasComponents vector vector' where Source #

Types that have a components indexed traversal

Methods

components :: IndexedTraversal1 Int vector vector' (IxValue vector) (IxValue vector') Source #

An Indexed Traversal over the components of a vector

>>> myVec3 ^.. components
[1,2,3]
>>> myVec3 ^@.. components
[(0,1),(1,2),(2,3)]

Instances

Instances details

HasComponents (V1 r) (V1 s) Source #
Instance details Defined in HGeometry.Vector.Type Methods components :: IndexedTraversal1 Int (V1 r) (V1 s) (IxValue (V1 r)) (IxValue (V1 s)) Source #
HasComponents (V2 r) (V2 s) Source #
Instance details Defined in HGeometry.Vector.Type Methods components :: IndexedTraversal1 Int (V2 r) (V2 s) (IxValue (V2 r)) (IxValue (V2 s)) Source #
HasComponents (V3 r) (V3 s) Source #
Instance details Defined in HGeometry.Vector.Type Methods components :: IndexedTraversal1 Int (V3 r) (V3 s) (IxValue (V3 r)) (IxValue (V3 s)) Source #
HasComponents (V4 r) (V4 s) Source #
Instance details Defined in HGeometry.Vector.Type Methods components :: IndexedTraversal1 Int (V4 r) (V4 s) (IxValue (V4 r)) (IxValue (V4 s)) Source #
HasComponents (Vector 1 r) (Vector 1 s) Source #
Instance details Defined in HGeometry.Vector.Type Methods components :: IndexedTraversal1 Int (Vector 1 r) (Vector 1 s) (IxValue (Vector 1 r)) (IxValue (Vector 1 s)) Source #
HasComponents (Vector 2 r) (Vector 2 s) Source #
Instance details Defined in HGeometry.Vector.Type Methods components :: IndexedTraversal1 Int (Vector 2 r) (Vector 2 s) (IxValue (Vector 2 r)) (IxValue (Vector 2 s)) Source #
HasComponents (Vector 3 r) (Vector 3 s) Source #
Instance details Defined in HGeometry.Vector.Type Methods components :: IndexedTraversal1 Int (Vector 3 r) (Vector 3 s) (IxValue (Vector 3 r)) (IxValue (Vector 3 s)) Source #
HasComponents (Vector 4 r) (Vector 4 s) Source #
Instance details Defined in HGeometry.Vector.Type Methods components :: IndexedTraversal1 Int (Vector 4 r) (Vector 4 s) (IxValue (Vector 4 r)) (IxValue (Vector 4 s)) Source #

module HGeometry.Vector.Class

isScalarMultipleOf :: forall r vector (d :: Nat). (Eq r, Num r, Metric_ vector d r) => vector -> vector -> Bool Source #

'isScalarmultipleof u v' test if v is a scalar multiple of u.

>>> Vector2 1 1 `isScalarMultipleOf` Vector2 10 10
True
>>> Vector3 1 1 2 `isScalarMultipleOf` Vector3 10 10 20
True
>>> Vector2 1 1 `isScalarMultipleOf` Vector2 10 1
False
>>> Vector2 1 1 `isScalarMultipleOf` Vector2 (-1) (-1)
True
>>> Vector2 1 1 `isScalarMultipleOf` Vector2 11.1 11.1
True
>>> Vector2 1 1 `isScalarMultipleOf` Vector2 11.1 11.2
False
>>> Vector2 2 1 `isScalarMultipleOf` Vector2 11.1 11.2
False
>>> Vector2 2 1 `isScalarMultipleOf` Vector2 4 2
True
>>> Vector2 2 1 `isScalarMultipleOf` Vector2 4 0
False
>>> Vector3 2 1 0 `isScalarMultipleOf` Vector3 4 0 5
False
>>> Vector3 0 0 0 `isScalarMultipleOf` Vector3 4 0 5
True

scalarMultiple :: forall r vector (d :: Nat). (Eq r, Fractional r, Additive_ vector d r) => vector -> vector -> Maybe r Source #

scalarMultiple u v computes the scalar labmda s.t. v = lambda * u (if it exists)

sameDirection :: forall vector (d :: Nat) r. (Additive_ vector d r, Num r, Eq r) => vector -> vector -> Bool Source #

Given two colinar vectors, u and v, test if they point in the same direction, i.e. iff scalarMultiple' u v == Just lambda, with lambda > 0

pre: u and v are colinear, u and v are non-zero

Special vector operations

cross :: Num r => Vector 3 r -> Vector 3 r -> Vector 3 r Source #

cross product

Orphan instances

(Vector Vector r, Vector_ (Vector d r) d r) => Vector Vector (Vector d r) Source #
Instance details Methods basicUnsafeFreeze :: Mutable Vector s (Vector d r) -> ST s (Vector (Vector d r)) Source # basicUnsafeThaw :: Vector (Vector d r) -> ST s (Mutable Vector s (Vector d r)) Source # basicLength :: Vector (Vector d r) -> Int Source # basicUnsafeSlice :: Int -> Int -> Vector (Vector d r) -> Vector (Vector d r) Source # basicUnsafeIndexM :: Vector (Vector d r) -> Int -> Box (Vector d r) Source # basicUnsafeCopy :: Mutable Vector s (Vector d r) -> Vector (Vector d r) -> ST s () Source # elemseq :: Vector (Vector d r) -> Vector d r -> b -> b Source #
(MVector MVector r, Vector_ (Vector d r) d r) => MVector MVector (Vector d r) Source #
Instance details Methods basicLength :: MVector s (Vector d r) -> Int Source # basicUnsafeSlice :: Int -> Int -> MVector s (Vector d r) -> MVector s (Vector d r) Source # basicOverlaps :: MVector s (Vector d r) -> MVector s (Vector d r) -> Bool Source # basicUnsafeNew :: Int -> ST s (MVector s (Vector d r)) Source # basicInitialize :: MVector s (Vector d r) -> ST s () Source # basicUnsafeReplicate :: Int -> Vector d r -> ST s (MVector s (Vector d r)) Source # basicUnsafeRead :: MVector s (Vector d r) -> Int -> ST s (Vector d r) Source # basicUnsafeWrite :: MVector s (Vector d r) -> Int -> Vector d r -> ST s () Source # basicClear :: MVector s (Vector d r) -> ST s () Source # basicSet :: MVector s (Vector d r) -> Vector d r -> ST s () Source # basicUnsafeCopy :: MVector s (Vector d r) -> MVector s (Vector d r) -> ST s () Source # basicUnsafeMove :: MVector s (Vector d r) -> MVector s (Vector d r) -> ST s () Source # basicUnsafeGrow :: MVector s (Vector d r) -> Int -> ST s (MVector s (Vector d r)) Source #
(Unbox r, Vector_ (Vector d r) d r) => Unbox (Vector d r) Source #
Instance details