| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
SDL.Vect
Description
SDL's vector representation.
By default, re-exports the Linear and Linear.Affine modules from the
linear package. With the no-linear Cabal flag, instead exports a
duplicate implementation of the V2, V3, V4 and Point types from
SDL.Internal.Vect, which provides as many instances as possible for those
types while avoiding any additional dependencies.
Synopsis
- vector :: Num a => V3 a -> V4 a
- unit :: (Additive t, Num a) => ASetter' (t a) a -> t a
- data family Vector a
- newtype Point (f :: Type -> Type) a = P (f a)
- data V2 a = V2 !a !a
- data V3 a = V3 !a !a !a
- data V4 a = V4 !a !a !a !a
- class Additive (Diff p) => Affine (p :: Type -> Type) where
- rotate :: (Conjugate a, RealFloat a) => Quaternion a -> V3 a -> V3 a
- (#.) :: Coercible c b => (b -> c) -> (a -> b) -> a -> c
- class R1 (t :: Type -> Type) where
- _x :: Lens' (t a) a
- newtype V1 a = V1 a
- outer :: (Functor f, Functor g, Num a) => f a -> g a -> f (g a)
- transpose :: (Distributive g, Functor f) => f (g a) -> g (f a)
- class Num a => Conjugate a where
- conjugate :: a -> a
- class Functor f => Additive (f :: Type -> Type) where
- (.#) :: Coercible b a => (b -> c) -> (a -> b) -> a -> c
- triple :: Num a => V3 a -> V3 a -> V3 a -> a
- class Complicated (t :: Type -> Type) where
- ex :: forall (t :: Type -> Type). R1 t => E t
- data family MVector s a
- class Complicated t => Hamiltonian (t :: Type -> Type) where
- class R2 t => R3 (t :: Type -> Type) where
- class Functor m => Trace (m :: Type -> Type) where
- class R1 t => R2 (t :: Type -> Type) where
- class Num r => Algebra r m where
- class Num r => Coalgebra r m where
- comultRep :: (Representable f, Coalgebra r (Rep f)) => f r -> f (f r)
- counitalRep :: (Representable f, Coalgebra r (Rep f)) => f r -> r
- multRep :: (Representable f, Algebra r (Rep f)) => f (f r) -> f r
- unitalRep :: (Representable f, Algebra r (Rep f)) => r -> f r
- getLinear :: (Binary a, Applicative t, Traversable t) => Get (t a)
- putLinear :: (Binary a, Foldable t) => t a -> Put
- class Conjugate a => TrivialConjugate a
- ($*) :: Representable f => Covector r (Rep f) -> f r -> r
- newtype Covector r a = Covector {
- runCovector :: (a -> r) -> r
- class Num a => Epsilon a where
- nearZero :: a -> Bool
- (!!*) :: (Functor m, Functor r, Num a) => m (r a) -> a -> m (r a)
- (!!/) :: (Functor m, Functor r, Fractional a) => m (r a) -> a -> m (r a)
- (!*) :: (Functor m, Foldable r, Additive r, Num a) => m (r a) -> r a -> m a
- (!*!) :: (Functor m, Foldable t, Additive t, Additive n, Num a) => m (t a) -> t (n a) -> m (n a)
- (!+!) :: (Additive m, Additive n, Num a) => m (n a) -> m (n a) -> m (n a)
- (!-!) :: (Additive m, Additive n, Num a) => m (n a) -> m (n a) -> m (n a)
- (*!) :: (Num a, Foldable t, Additive f, Additive t) => t a -> t (f a) -> f a
- (*!!) :: (Functor m, Functor r, Num a) => a -> m (r a) -> m (r a)
- type M22 a = V2 (V2 a)
- type M23 a = V2 (V3 a)
- type M24 a = V2 (V4 a)
- type M32 a = V3 (V2 a)
- type M33 a = V3 (V3 a)
- type M34 a = V3 (V4 a)
- type M42 a = V4 (V2 a)
- type M43 a = V4 (V3 a)
- type M44 a = V4 (V4 a)
- _m22 :: forall (t :: Type -> Type) (v :: Type -> Type) a. (Representable t, R2 t, R2 v) => Lens' (t (v a)) (M22 a)
- _m23 :: forall (t :: Type -> Type) (v :: Type -> Type) a. (Representable t, R2 t, R3 v) => Lens' (t (v a)) (M23 a)
- _m24 :: forall (t :: Type -> Type) (v :: Type -> Type) a. (Representable t, R2 t, R4 v) => Lens' (t (v a)) (M24 a)
- _m32 :: forall (t :: Type -> Type) (v :: Type -> Type) a. (Representable t, R3 t, R2 v) => Lens' (t (v a)) (M32 a)
- _m33 :: forall (t :: Type -> Type) (v :: Type -> Type) a. (Representable t, R3 t, R3 v) => Lens' (t (v a)) (M33 a)
- _m34 :: forall (t :: Type -> Type) (v :: Type -> Type) a. (Representable t, R3 t, R4 v) => Lens' (t (v a)) (M34 a)
- _m42 :: forall (t :: Type -> Type) (v :: Type -> Type) a. (Representable t, R4 t, R2 v) => Lens' (t (v a)) (M42 a)
- _m43 :: forall (t :: Type -> Type) (v :: Type -> Type) a. (Representable t, R4 t, R3 v) => Lens' (t (v a)) (M43 a)
- _m44 :: forall (t :: Type -> Type) (v :: Type -> Type) a. (Representable t, R4 t, R4 v) => Lens' (t (v a)) (M44 a)
- adjoint :: (Functor m, Distributive n, Conjugate a) => m (n a) -> n (m a)
- backwardSub :: (Num a, Fractional a, Foldable m, Additive m, Ixed (m a), Ixed (m (m a)), i ~ Index (m a), i ~ Index (m (m a)), Eq i, Ord i, Integral i, a ~ IxValue (m a), m a ~ IxValue (m (m a))) => m (m a) -> m a -> m a
- backwardSubFinite :: forall a m (n :: Nat). (Num a, Fractional a, Foldable m, n ~ Size m, KnownNat n, Additive m, Finite m) => m (m a) -> m a -> m a
- column :: forall (f :: Type -> Type) a b s t. Representable f => LensLike (Context a b) s t a b -> Lens (f s) (f t) (f a) (f b)
- det22 :: Num a => M22 a -> a
- det33 :: Num a => M33 a -> a
- det44 :: Num a => M44 a -> a
- forwardSub :: (Num a, Fractional a, Foldable m, Additive m, Ixed (m a), Ixed (m (m a)), i ~ Index (m a), i ~ Index (m (m a)), Eq i, Ord i, Integral i, a ~ IxValue (m a), m a ~ IxValue (m (m a))) => m (m a) -> m a -> m a
- forwardSubFinite :: forall a m (n :: Nat). (Num a, Fractional a, Foldable m, n ~ Size m, KnownNat n, Additive m, Finite m) => m (m a) -> m a -> m a
- fromQuaternion :: Num a => Quaternion a -> M33 a
- identity :: (Num a, Traversable t, Applicative t) => t (t a)
- inv22 :: Fractional a => M22 a -> M22 a
- inv33 :: Fractional a => M33 a -> M33 a
- inv44 :: Fractional a => M44 a -> M44 a
- lu :: (Num a, Fractional a, Foldable m, Traversable m, Applicative m, Additive m, Ixed (m a), Ixed (m (m a)), i ~ Index (m a), i ~ Index (m (m a)), Eq i, Integral i, a ~ IxValue (m a), m a ~ IxValue (m (m a)), Num (m a)) => m (m a) -> (m (m a), m (m a))
- luDet :: (Num a, Fractional a, Foldable m, Traversable m, Applicative m, Additive m, Trace m, Ixed (m a), Ixed (m (m a)), i ~ Index (m a), i ~ Index (m (m a)), Eq i, Integral i, a ~ IxValue (m a), m a ~ IxValue (m (m a)), Num (m a)) => m (m a) -> a
- luDetFinite :: forall a m (n :: Nat). (Num a, Fractional a, Functor m, Finite m, n ~ Size m, KnownNat n, Num (m a)) => m (m a) -> a
- luFinite :: forall a m (n :: Nat). (Num a, Fractional a, Functor m, Finite m, n ~ Size m, KnownNat n, Num (m a)) => m (m a) -> (m (m a), m (m a))
- luInv :: (Num a, Fractional a, Foldable m, Traversable m, Applicative m, Additive m, Distributive m, Ixed (m a), Ixed (m (m a)), i ~ Index (m a), i ~ Index (m (m a)), Eq i, Integral i, a ~ IxValue (m a), m a ~ IxValue (m (m a)), Num (m a)) => m (m a) -> m (m a)
- luInvFinite :: forall a m (n :: Nat). (Num a, Fractional a, Functor m, Finite m, n ~ Size m, KnownNat n, Num (m a)) => m (m a) -> m (m a)
- luSolve :: (Num a, Fractional a, Foldable m, Traversable m, Applicative m, Additive m, Ixed (m a), Ixed (m (m a)), i ~ Index (m a), i ~ Index (m (m a)), Eq i, Integral i, a ~ IxValue (m a), m a ~ IxValue (m (m a)), Num (m a)) => m (m a) -> m a -> m a
- luSolveFinite :: forall a m (n :: Nat). (Num a, Fractional a, Functor m, Finite m, n ~ Size m, KnownNat n, Num (m a)) => m (m a) -> m a -> m a
- m33_to_m44 :: Num a => M33 a -> M44 a
- m43_to_m44 :: Num a => M43 a -> M44 a
- mkTransformation :: Num a => Quaternion a -> V3 a -> M44 a
- mkTransformationMat :: Num a => M33 a -> V3 a -> M44 a
- translation :: forall (t :: Type -> Type) (v :: Type -> Type) a. (Representable t, R3 t, R4 v) => Lens' (t (v a)) (V3 a)
- class Additive f => Metric (f :: Type -> Type) where
- normalize :: (Floating a, Metric f, Epsilon a) => f a -> f a
- project :: (Metric v, Fractional a) => v a -> v a -> v a
- frustum :: Floating a => a -> a -> a -> a -> a -> a -> M44 a
- infinitePerspective :: Floating a => a -> a -> a -> M44 a
- inverseFrustum :: Floating a => a -> a -> a -> a -> a -> a -> M44 a
- inverseInfinitePerspective :: Floating a => a -> a -> a -> M44 a
- inverseOrtho :: Fractional a => a -> a -> a -> a -> a -> a -> M44 a
- inversePerspective :: Floating a => a -> a -> a -> a -> M44 a
- lookAt :: (Epsilon a, Floating a) => V3 a -> V3 a -> V3 a -> M44 a
- ortho :: Fractional a => a -> a -> a -> a -> a -> a -> M44 a
- perspective :: Floating a => a -> a -> a -> a -> M44 a
- data Quaternion a = Quaternion !a !(V3 a)
- absi :: Floating a => Quaternion a -> a
- acoshq :: RealFloat a => Quaternion a -> Quaternion a -> Quaternion a
- acosq :: RealFloat a => Quaternion a -> Quaternion a -> Quaternion a
- asinhq :: RealFloat a => Quaternion a -> Quaternion a -> Quaternion a
- asinq :: RealFloat a => Quaternion a -> Quaternion a -> Quaternion a
- atanhq :: RealFloat a => Quaternion a -> Quaternion a -> Quaternion a
- atanq :: RealFloat a => Quaternion a -> Quaternion a -> Quaternion a
- axisAngle :: (Epsilon a, Floating a) => V3 a -> a -> Quaternion a
- ee :: forall (t :: Type -> Type). Complicated t => E t
- ei :: forall (t :: Type -> Type). Complicated t => E t
- ej :: forall (t :: Type -> Type). Hamiltonian t => E t
- ek :: forall (t :: Type -> Type). Hamiltonian t => E t
- pow :: RealFloat a => Quaternion a -> a -> Quaternion a
- slerp :: RealFloat a => Quaternion a -> Quaternion a -> a -> Quaternion a
- frobenius :: (Num a, Foldable f, Additive f, Additive g, Distributive g, Trace g) => f (g a) -> a
- data V0 a = V0
- _yx :: forall (t :: Type -> Type) a. R2 t => Lens' (t a) (V2 a)
- angle :: Floating a => a -> V2 a
- crossZ :: Num a => V2 a -> V2 a -> a
- ey :: forall (t :: Type -> Type). R2 t => E t
- perp :: Num a => V2 a -> V2 a
- unangle :: (Floating a, Ord a) => V2 a -> a
- _xz :: forall (t :: Type -> Type) a. R3 t => Lens' (t a) (V2 a)
- _xzy :: forall (t :: Type -> Type) a. R3 t => Lens' (t a) (V3 a)
- _yxz :: forall (t :: Type -> Type) a. R3 t => Lens' (t a) (V3 a)
- _yz :: forall (t :: Type -> Type) a. R3 t => Lens' (t a) (V2 a)
- _yzx :: forall (t :: Type -> Type) a. R3 t => Lens' (t a) (V3 a)
- _zx :: forall (t :: Type -> Type) a. R3 t => Lens' (t a) (V2 a)
- _zxy :: forall (t :: Type -> Type) a. R3 t => Lens' (t a) (V3 a)
- _zy :: forall (t :: Type -> Type) a. R3 t => Lens' (t a) (V2 a)
- _zyx :: forall (t :: Type -> Type) a. R3 t => Lens' (t a) (V3 a)
- cross :: Num a => V3 a -> V3 a -> V3 a
- ez :: forall (t :: Type -> Type). R3 t => E t
- class R3 t => R4 (t :: Type -> Type) where
- _wx :: forall (t :: Type -> Type) a. R4 t => Lens' (t a) (V2 a)
- _wxy :: forall (t :: Type -> Type) a. R4 t => Lens' (t a) (V3 a)
- _wxyz :: forall (t :: Type -> Type) a. R4 t => Lens' (t a) (V4 a)
- _wxz :: forall (t :: Type -> Type) a. R4 t => Lens' (t a) (V3 a)
- _wxzy :: forall (t :: Type -> Type) a. R4 t => Lens' (t a) (V4 a)
- _wy :: forall (t :: Type -> Type) a. R4 t => Lens' (t a) (V2 a)
- _wyx :: forall (t :: Type -> Type) a. R4 t => Lens' (t a) (V3 a)
- _wyxz :: forall (t :: Type -> Type) a. R4 t => Lens' (t a) (V4 a)
- _wyz :: forall (t :: Type -> Type) a. R4 t => Lens' (t a) (V3 a)
- _wyzx :: forall (t :: Type -> Type) a. R4 t => Lens' (t a) (V4 a)
- _wz :: forall (t :: Type -> Type) a. R4 t => Lens' (t a) (V2 a)
- _wzx :: forall (t :: Type -> Type) a. R4 t => Lens' (t a) (V3 a)
- _wzxy :: forall (t :: Type -> Type) a. R4 t => Lens' (t a) (V4 a)
- _wzy :: forall (t :: Type -> Type) a. R4 t => Lens' (t a) (V3 a)
- _wzyx :: forall (t :: Type -> Type) a. R4 t => Lens' (t a) (V4 a)
- _xw :: forall (t :: Type -> Type) a. R4 t => Lens' (t a) (V2 a)
- _xwy :: forall (t :: Type -> Type) a. R4 t => Lens' (t a) (V3 a)
- _xwyz :: forall (t :: Type -> Type) a. R4 t => Lens' (t a) (V4 a)
- _xwz :: forall (t :: Type -> Type) a. R4 t => Lens' (t a) (V3 a)
- _xwzy :: forall (t :: Type -> Type) a. R4 t => Lens' (t a) (V4 a)
- _xyw :: forall (t :: Type -> Type) a. R4 t => Lens' (t a) (V3 a)
- _xywz :: forall (t :: Type -> Type) a. R4 t => Lens' (t a) (V4 a)
- _xzw :: forall (t :: Type -> Type) a. R4 t => Lens' (t a) (V3 a)
- _xzwy :: forall (t :: Type -> Type) a. R4 t => Lens' (t a) (V4 a)
- _xzyw :: forall (t :: Type -> Type) a. R4 t => Lens' (t a) (V4 a)
- _yw :: forall (t :: Type -> Type) a. R4 t => Lens' (t a) (V2 a)
- _ywx :: forall (t :: Type -> Type) a. R4 t => Lens' (t a) (V3 a)
- _ywxz :: forall (t :: Type -> Type) a. R4 t => Lens' (t a) (V4 a)
- _ywz :: forall (t :: Type -> Type) a. R4 t => Lens' (t a) (V3 a)
- _ywzx :: forall (t :: Type -> Type) a. R4 t => Lens' (t a) (V4 a)
- _yxw :: forall (t :: Type -> Type) a. R4 t => Lens' (t a) (V3 a)
- _yxwz :: forall (t :: Type -> Type) a. R4 t => Lens' (t a) (V4 a)
- _yxzw :: forall (t :: Type -> Type) a. R4 t => Lens' (t a) (V4 a)
- _yzw :: forall (t :: Type -> Type) a. R4 t => Lens' (t a) (V3 a)
- _yzwx :: forall (t :: Type -> Type) a. R4 t => Lens' (t a) (V4 a)
- _yzxw :: forall (t :: Type -> Type) a. R4 t => Lens' (t a) (V4 a)
- _zw :: forall (t :: Type -> Type) a. R4 t => Lens' (t a) (V2 a)
- _zwx :: forall (t :: Type -> Type) a. R4 t => Lens' (t a) (V3 a)
- _zwxy :: forall (t :: Type -> Type) a. R4 t => Lens' (t a) (V4 a)
- _zwy :: forall (t :: Type -> Type) a. R4 t => Lens' (t a) (V3 a)
- _zwyx :: forall (t :: Type -> Type) a. R4 t => Lens' (t a) (V4 a)
- _zxw :: forall (t :: Type -> Type) a. R4 t => Lens' (t a) (V3 a)
- _zxwy :: forall (t :: Type -> Type) a. R4 t => Lens' (t a) (V4 a)
- _zxyw :: forall (t :: Type -> Type) a. R4 t => Lens' (t a) (V4 a)
- _zyw :: forall (t :: Type -> Type) a. R4 t => Lens' (t a) (V3 a)
- _zywx :: forall (t :: Type -> Type) a. R4 t => Lens' (t a) (V4 a)
- _zyxw :: forall (t :: Type -> Type) a. R4 t => Lens' (t a) (V4 a)
- ew :: forall (t :: Type -> Type). R4 t => E t
- normalizePoint :: Fractional a => V4 a -> V3 a
- point :: Num a => V3 a -> V4 a
- (*^) :: (Functor f, Num a) => a -> f a -> f a
- newtype E (t :: Type -> Type) = E {
- el :: forall x. Lens' (t x) x
- (^*) :: (Functor f, Num a) => f a -> a -> f a
- (^/) :: (Functor f, Fractional a) => f a -> a -> f a
- basis :: (Additive t, Traversable t, Num a) => [t a]
- basisFor :: (Traversable t, Num a) => t b -> [t a]
- negated :: (Functor f, Num a) => f a -> f a
- scaled :: (Traversable t, Num a) => t a -> t (t a)
- sumV :: (Foldable f, Additive v, Num a) => f (v a) -> v a
- type family Diff (p :: Type -> Type) :: Type -> Type
- _Point :: forall f1 a g b p f2. (Profunctor p, Functor f2) => p (f1 a) (f2 (g b)) -> p (Point f1 a) (f2 (Point g b))
- distanceA :: (Floating a, Foldable (Diff p), Affine p) => p a -> p a -> a
- lensP :: forall f1 a g b f2. Functor f2 => (f1 a -> f2 (g b)) -> Point f1 a -> f2 (Point g b)
- origin :: forall (f :: Type -> Type) a. (Additive f, Num a) => Point f a
- qdA :: (Affine p, Foldable (Diff p), Num a) => p a -> p a -> a
- relative :: forall (f :: Type -> Type) a. (Additive f, Num a) => Point f a -> Iso' (Point f a) (f a)
- unP :: Point f a -> f a
- newtype Point (f :: Type -> Type) a = P (f a)
- data V2 a = V2 !a !a
- data V3 a = V3 !a !a !a
- data V4 a = V4 !a !a !a !a
Documentation
Instances
| NFData1 Vector | |||||
Defined in Data.Vector.Unboxed.Base | |||||
| Vector Vector All | |||||
Defined in Data.Vector.Unboxed.Base Methods basicUnsafeFreeze :: Mutable Vector s All -> ST s (Vector All) basicUnsafeThaw :: Vector All -> ST s (Mutable Vector s All) basicLength :: Vector All -> Int basicUnsafeSlice :: Int -> Int -> Vector All -> Vector All basicUnsafeIndexM :: Vector All -> Int -> Box All basicUnsafeCopy :: Mutable Vector s All -> Vector All -> ST s () | |||||
| Vector Vector Any | |||||
Defined in Data.Vector.Unboxed.Base Methods basicUnsafeFreeze :: Mutable Vector s Any -> ST s (Vector Any) basicUnsafeThaw :: Vector Any -> ST s (Mutable Vector s Any) basicLength :: Vector Any -> Int basicUnsafeSlice :: Int -> Int -> Vector Any -> Vector Any basicUnsafeIndexM :: Vector Any -> Int -> Box Any basicUnsafeCopy :: Mutable Vector s Any -> Vector Any -> ST s () | |||||
| Vector Vector Int16 | |||||
Defined in Data.Vector.Unboxed.Base Methods basicUnsafeFreeze :: Mutable Vector s Int16 -> ST s (Vector Int16) basicUnsafeThaw :: Vector Int16 -> ST s (Mutable Vector s Int16) basicLength :: Vector Int16 -> Int basicUnsafeSlice :: Int -> Int -> Vector Int16 -> Vector Int16 basicUnsafeIndexM :: Vector Int16 -> Int -> Box Int16 basicUnsafeCopy :: Mutable Vector s Int16 -> Vector Int16 -> ST s () | |||||
| Vector Vector Int32 | |||||
Defined in Data.Vector.Unboxed.Base Methods basicUnsafeFreeze :: Mutable Vector s Int32 -> ST s (Vector Int32) basicUnsafeThaw :: Vector Int32 -> ST s (Mutable Vector s Int32) basicLength :: Vector Int32 -> Int basicUnsafeSlice :: Int -> Int -> Vector Int32 -> Vector Int32 basicUnsafeIndexM :: Vector Int32 -> Int -> Box Int32 basicUnsafeCopy :: Mutable Vector s Int32 -> Vector Int32 -> ST s () | |||||
| Vector Vector Int64 | |||||
Defined in Data.Vector.Unboxed.Base Methods basicUnsafeFreeze :: Mutable Vector s Int64 -> ST s (Vector Int64) basicUnsafeThaw :: Vector Int64 -> ST s (Mutable Vector s Int64) basicLength :: Vector Int64 -> Int basicUnsafeSlice :: Int -> Int -> Vector Int64 -> Vector Int64 basicUnsafeIndexM :: Vector Int64 -> Int -> Box Int64 basicUnsafeCopy :: Mutable Vector s Int64 -> Vector Int64 -> ST s () | |||||
| Vector Vector Int8 | |||||
Defined in Data.Vector.Unboxed.Base Methods basicUnsafeFreeze :: Mutable Vector s Int8 -> ST s (Vector Int8) basicUnsafeThaw :: Vector Int8 -> ST s (Mutable Vector s Int8) basicLength :: Vector Int8 -> Int basicUnsafeSlice :: Int -> Int -> Vector Int8 -> Vector Int8 basicUnsafeIndexM :: Vector Int8 -> Int -> Box Int8 basicUnsafeCopy :: Mutable Vector s Int8 -> Vector Int8 -> ST s () | |||||
| Vector Vector Word16 | |||||
Defined in Data.Vector.Unboxed.Base Methods basicUnsafeFreeze :: Mutable Vector s Word16 -> ST s (Vector Word16) basicUnsafeThaw :: Vector Word16 -> ST s (Mutable Vector s Word16) basicLength :: Vector Word16 -> Int basicUnsafeSlice :: Int -> Int -> Vector Word16 -> Vector Word16 basicUnsafeIndexM :: Vector Word16 -> Int -> Box Word16 basicUnsafeCopy :: Mutable Vector s Word16 -> Vector Word16 -> ST s () | |||||
| Vector Vector Word32 | |||||
Defined in Data.Vector.Unboxed.Base Methods basicUnsafeFreeze :: Mutable Vector s Word32 -> ST s (Vector Word32) basicUnsafeThaw :: Vector Word32 -> ST s (Mutable Vector s Word32) basicLength :: Vector Word32 -> Int basicUnsafeSlice :: Int -> Int -> Vector Word32 -> Vector Word32 basicUnsafeIndexM :: Vector Word32 -> Int -> Box Word32 basicUnsafeCopy :: Mutable Vector s Word32 -> Vector Word32 -> ST s () | |||||
| Vector Vector Word64 | |||||
Defined in Data.Vector.Unboxed.Base Methods basicUnsafeFreeze :: Mutable Vector s Word64 -> ST s (Vector Word64) basicUnsafeThaw :: Vector Word64 -> ST s (Mutable Vector s Word64) basicLength :: Vector Word64 -> Int basicUnsafeSlice :: Int -> Int -> Vector Word64 -> Vector Word64 basicUnsafeIndexM :: Vector Word64 -> Int -> Box Word64 basicUnsafeCopy :: Mutable Vector s Word64 -> Vector Word64 -> ST s () | |||||
| Vector Vector Word8 | |||||
Defined in Data.Vector.Unboxed.Base Methods basicUnsafeFreeze :: Mutable Vector s Word8 -> ST s (Vector Word8) basicUnsafeThaw :: Vector Word8 -> ST s (Mutable Vector s Word8) basicLength :: Vector Word8 -> Int basicUnsafeSlice :: Int -> Int -> Vector Word8 -> Vector Word8 basicUnsafeIndexM :: Vector Word8 -> Int -> Box Word8 basicUnsafeCopy :: Mutable Vector s Word8 -> Vector Word8 -> ST s () | |||||
| Vector Vector () | |||||
Defined in Data.Vector.Unboxed.Base Methods basicUnsafeFreeze :: Mutable Vector s () -> ST s (Vector ()) basicUnsafeThaw :: Vector () -> ST s (Mutable Vector s ()) basicLength :: Vector () -> Int basicUnsafeSlice :: Int -> Int -> Vector () -> Vector () basicUnsafeIndexM :: Vector () -> Int -> Box () basicUnsafeCopy :: Mutable Vector s () -> Vector () -> ST s () | |||||
| Vector Vector Bool | |||||
Defined in Data.Vector.Unboxed.Base Methods basicUnsafeFreeze :: Mutable Vector s Bool -> ST s (Vector Bool) basicUnsafeThaw :: Vector Bool -> ST s (Mutable Vector s Bool) basicLength :: Vector Bool -> Int basicUnsafeSlice :: Int -> Int -> Vector Bool -> Vector Bool basicUnsafeIndexM :: Vector Bool -> Int -> Box Bool basicUnsafeCopy :: Mutable Vector s Bool -> Vector Bool -> ST s () | |||||
| Vector Vector Char | |||||
Defined in Data.Vector.Unboxed.Base Methods basicUnsafeFreeze :: Mutable Vector s Char -> ST s (Vector Char) basicUnsafeThaw :: Vector Char -> ST s (Mutable Vector s Char) basicLength :: Vector Char -> Int basicUnsafeSlice :: Int -> Int -> Vector Char -> Vector Char basicUnsafeIndexM :: Vector Char -> Int -> Box Char basicUnsafeCopy :: Mutable Vector s Char -> Vector Char -> ST s () | |||||
| Vector Vector Double | |||||
Defined in Data.Vector.Unboxed.Base Methods basicUnsafeFreeze :: Mutable Vector s Double -> ST s (Vector Double) basicUnsafeThaw :: Vector Double -> ST s (Mutable Vector s Double) basicLength :: Vector Double -> Int basicUnsafeSlice :: Int -> Int -> Vector Double -> Vector Double basicUnsafeIndexM :: Vector Double -> Int -> Box Double basicUnsafeCopy :: Mutable Vector s Double -> Vector Double -> ST s () | |||||
| Vector Vector Float | |||||
Defined in Data.Vector.Unboxed.Base Methods basicUnsafeFreeze :: Mutable Vector s Float -> ST s (Vector Float) basicUnsafeThaw :: Vector Float -> ST s (Mutable Vector s Float) basicLength :: Vector Float -> Int basicUnsafeSlice :: Int -> Int -> Vector Float -> Vector Float basicUnsafeIndexM :: Vector Float -> Int -> Box Float basicUnsafeCopy :: Mutable Vector s Float -> Vector Float -> ST s () | |||||
| Vector Vector Int | |||||
Defined in Data.Vector.Unboxed.Base Methods basicUnsafeFreeze :: Mutable Vector s Int -> ST s (Vector Int) basicUnsafeThaw :: Vector Int -> ST s (Mutable Vector s Int) basicLength :: Vector Int -> Int basicUnsafeSlice :: Int -> Int -> Vector Int -> Vector Int basicUnsafeIndexM :: Vector Int -> Int -> Box Int basicUnsafeCopy :: Mutable Vector s Int -> Vector Int -> ST s () | |||||
| Vector Vector Word | |||||
Defined in Data.Vector.Unboxed.Base Methods basicUnsafeFreeze :: Mutable Vector s Word -> ST s (Vector Word) basicUnsafeThaw :: Vector Word -> ST s (Mutable Vector s Word) basicLength :: Vector Word -> Int basicUnsafeSlice :: Int -> Int -> Vector Word -> Vector Word basicUnsafeIndexM :: Vector Word -> Int -> Box Word basicUnsafeCopy :: Mutable Vector s Word -> Vector Word -> ST s () | |||||
| Unbox a => Vector Vector (Complex a) | |||||
Defined in Data.Vector.Unboxed.Base Methods basicUnsafeFreeze :: Mutable Vector s (Complex a) -> ST s (Vector (Complex a)) basicUnsafeThaw :: Vector (Complex a) -> ST s (Mutable Vector s (Complex a)) basicLength :: Vector (Complex a) -> Int basicUnsafeSlice :: Int -> Int -> Vector (Complex a) -> Vector (Complex a) basicUnsafeIndexM :: Vector (Complex a) -> Int -> Box (Complex a) basicUnsafeCopy :: Mutable Vector s (Complex a) -> Vector (Complex a) -> ST s () | |||||
| Unbox a => Vector Vector (Identity a) | |||||
Defined in Data.Vector.Unboxed.Base Methods basicUnsafeFreeze :: Mutable Vector s (Identity a) -> ST s (Vector (Identity a)) basicUnsafeThaw :: Vector (Identity a) -> ST s (Mutable Vector s (Identity a)) basicLength :: Vector (Identity a) -> Int basicUnsafeSlice :: Int -> Int -> Vector (Identity a) -> Vector (Identity a) basicUnsafeIndexM :: Vector (Identity a) -> Int -> Box (Identity a) basicUnsafeCopy :: Mutable Vector s (Identity a) -> Vector (Identity a) -> ST s () | |||||
| Unbox a => Vector Vector (Down a) | |||||
Defined in Data.Vector.Unboxed.Base Methods basicUnsafeFreeze :: Mutable Vector s (Down a) -> ST s (Vector (Down a)) basicUnsafeThaw :: Vector (Down a) -> ST s (Mutable Vector s (Down a)) basicLength :: Vector (Down a) -> Int basicUnsafeSlice :: Int -> Int -> Vector (Down a) -> Vector (Down a) basicUnsafeIndexM :: Vector (Down a) -> Int -> Box (Down a) basicUnsafeCopy :: Mutable Vector s (Down a) -> Vector (Down a) -> ST s () | |||||
| Unbox a => Vector Vector (First a) | |||||
Defined in Data.Vector.Unboxed.Base Methods basicUnsafeFreeze :: Mutable Vector s (First a) -> ST s (Vector (First a)) basicUnsafeThaw :: Vector (First a) -> ST s (Mutable Vector s (First a)) basicLength :: Vector (First a) -> Int basicUnsafeSlice :: Int -> Int -> Vector (First a) -> Vector (First a) basicUnsafeIndexM :: Vector (First a) -> Int -> Box (First a) basicUnsafeCopy :: Mutable Vector s (First a) -> Vector (First a) -> ST s () | |||||
| Unbox a => Vector Vector (Last a) | |||||
Defined in Data.Vector.Unboxed.Base Methods basicUnsafeFreeze :: Mutable Vector s (Last a) -> ST s (Vector (Last a)) basicUnsafeThaw :: Vector (Last a) -> ST s (Mutable Vector s (Last a)) basicLength :: Vector (Last a) -> Int basicUnsafeSlice :: Int -> Int -> Vector (Last a) -> Vector (Last a) basicUnsafeIndexM :: Vector (Last a) -> Int -> Box (Last a) basicUnsafeCopy :: Mutable Vector s (Last a) -> Vector (Last a) -> ST s () | |||||
| Unbox a => Vector Vector (Max a) | |||||
Defined in Data.Vector.Unboxed.Base Methods basicUnsafeFreeze :: Mutable Vector s (Max a) -> ST s (Vector (Max a)) basicUnsafeThaw :: Vector (Max a) -> ST s (Mutable Vector s (Max a)) basicLength :: Vector (Max a) -> Int basicUnsafeSlice :: Int -> Int -> Vector (Max a) -> Vector (Max a) basicUnsafeIndexM :: Vector (Max a) -> Int -> Box (Max a) basicUnsafeCopy :: Mutable Vector s (Max a) -> Vector (Max a) -> ST s () | |||||
| Unbox a => Vector Vector (Min a) | |||||
Defined in Data.Vector.Unboxed.Base Methods basicUnsafeFreeze :: Mutable Vector s (Min a) -> ST s (Vector (Min a)) basicUnsafeThaw :: Vector (Min a) -> ST s (Mutable Vector s (Min a)) basicLength :: Vector (Min a) -> Int basicUnsafeSlice :: Int -> Int -> Vector (Min a) -> Vector (Min a) basicUnsafeIndexM :: Vector (Min a) -> Int -> Box (Min a) basicUnsafeCopy :: Mutable Vector s (Min a) -> Vector (Min a) -> ST s () | |||||
| Unbox a => Vector Vector (WrappedMonoid a) | |||||
Defined in Data.Vector.Unboxed.Base Methods basicUnsafeFreeze :: Mutable Vector s (WrappedMonoid a) -> ST s (Vector (WrappedMonoid a)) basicUnsafeThaw :: Vector (WrappedMonoid a) -> ST s (Mutable Vector s (WrappedMonoid a)) basicLength :: Vector (WrappedMonoid a) -> Int basicUnsafeSlice :: Int -> Int -> Vector (WrappedMonoid a) -> Vector (WrappedMonoid a) basicUnsafeIndexM :: Vector (WrappedMonoid a) -> Int -> Box (WrappedMonoid a) basicUnsafeCopy :: Mutable Vector s (WrappedMonoid a) -> Vector (WrappedMonoid a) -> ST s () elemseq :: Vector (WrappedMonoid a) -> WrappedMonoid a -> b -> b | |||||
| Unbox a => Vector Vector (Dual a) | |||||
Defined in Data.Vector.Unboxed.Base Methods basicUnsafeFreeze :: Mutable Vector s (Dual a) -> ST s (Vector (Dual a)) basicUnsafeThaw :: Vector (Dual a) -> ST s (Mutable Vector s (Dual a)) basicLength :: Vector (Dual a) -> Int basicUnsafeSlice :: Int -> Int -> Vector (Dual a) -> Vector (Dual a) basicUnsafeIndexM :: Vector (Dual a) -> Int -> Box (Dual a) basicUnsafeCopy :: Mutable Vector s (Dual a) -> Vector (Dual a) -> ST s () | |||||
| Unbox a => Vector Vector (Product a) | |||||
Defined in Data.Vector.Unboxed.Base Methods basicUnsafeFreeze :: Mutable Vector s (Product a) -> ST s (Vector (Product a)) basicUnsafeThaw :: Vector (Product a) -> ST s (Mutable Vector s (Product a)) basicLength :: Vector (Product a) -> Int basicUnsafeSlice :: Int -> Int -> Vector (Product a) -> Vector (Product a) basicUnsafeIndexM :: Vector (Product a) -> Int -> Box (Product a) basicUnsafeCopy :: Mutable Vector s (Product a) -> Vector (Product a) -> ST s () | |||||
| Unbox a => Vector Vector (Sum a) | |||||
Defined in Data.Vector.Unboxed.Base Methods basicUnsafeFreeze :: Mutable Vector s (Sum a) -> ST s (Vector (Sum a)) basicUnsafeThaw :: Vector (Sum a) -> ST s (Mutable Vector s (Sum a)) basicLength :: Vector (Sum a) -> Int basicUnsafeSlice :: Int -> Int -> Vector (Sum a) -> Vector (Sum a) basicUnsafeIndexM :: Vector (Sum a) -> Int -> Box (Sum a) basicUnsafeCopy :: Mutable Vector s (Sum a) -> Vector (Sum a) -> ST s () | |||||
| Unbox a => Vector Vector (Plucker a) | |||||
Defined in Linear.Plucker Methods basicUnsafeFreeze :: Mutable Vector s (Plucker a) -> ST s (Vector (Plucker a)) basicUnsafeThaw :: Vector (Plucker a) -> ST s (Mutable Vector s (Plucker a)) basicLength :: Vector (Plucker a) -> Int basicUnsafeSlice :: Int -> Int -> Vector (Plucker a) -> Vector (Plucker a) basicUnsafeIndexM :: Vector (Plucker a) -> Int -> Box (Plucker a) basicUnsafeCopy :: Mutable Vector s (Plucker a) -> Vector (Plucker a) -> ST s () | |||||
| Unbox a => Vector Vector (Quaternion a) | |||||
Defined in Linear.Quaternion Methods basicUnsafeFreeze :: Mutable Vector s (Quaternion a) -> ST s (Vector (Quaternion a)) basicUnsafeThaw :: Vector (Quaternion a) -> ST s (Mutable Vector s (Quaternion a)) basicLength :: Vector (Quaternion a) -> Int basicUnsafeSlice :: Int -> Int -> Vector (Quaternion a) -> Vector (Quaternion a) basicUnsafeIndexM :: Vector (Quaternion a) -> Int -> Box (Quaternion a) basicUnsafeCopy :: Mutable Vector s (Quaternion a) -> Vector (Quaternion a) -> ST s () elemseq :: Vector (Quaternion a) -> Quaternion a -> b -> b | |||||
| Vector Vector (V0 a) | |||||
Defined in Linear.V0 Methods basicUnsafeFreeze :: Mutable Vector s (V0 a) -> ST s (Vector (V0 a)) basicUnsafeThaw :: Vector (V0 a) -> ST s (Mutable Vector s (V0 a)) basicLength :: Vector (V0 a) -> Int basicUnsafeSlice :: Int -> Int -> Vector (V0 a) -> Vector (V0 a) basicUnsafeIndexM :: Vector (V0 a) -> Int -> Box (V0 a) basicUnsafeCopy :: Mutable Vector s (V0 a) -> Vector (V0 a) -> ST s () | |||||
| Unbox a => Vector Vector (V1 a) | |||||
Defined in Linear.V1 Methods basicUnsafeFreeze :: Mutable Vector s (V1 a) -> ST s (Vector (V1 a)) basicUnsafeThaw :: Vector (V1 a) -> ST s (Mutable Vector s (V1 a)) basicLength :: Vector (V1 a) -> Int basicUnsafeSlice :: Int -> Int -> Vector (V1 a) -> Vector (V1 a) basicUnsafeIndexM :: Vector (V1 a) -> Int -> Box (V1 a) basicUnsafeCopy :: Mutable Vector s (V1 a) -> Vector (V1 a) -> ST s () | |||||
| Unbox a => Vector Vector (V2 a) | |||||
Defined in Linear.V2 Methods basicUnsafeFreeze :: Mutable Vector s (V2 a) -> ST s (Vector (V2 a)) basicUnsafeThaw :: Vector (V2 a) -> ST s (Mutable Vector s (V2 a)) basicLength :: Vector (V2 a) -> Int basicUnsafeSlice :: Int -> Int -> Vector (V2 a) -> Vector (V2 a) basicUnsafeIndexM :: Vector (V2 a) -> Int -> Box (V2 a) basicUnsafeCopy :: Mutable Vector s (V2 a) -> Vector (V2 a) -> ST s () | |||||
| Unbox a => Vector Vector (V3 a) | |||||
Defined in Linear.V3 Methods basicUnsafeFreeze :: Mutable Vector s (V3 a) -> ST s (Vector (V3 a)) basicUnsafeThaw :: Vector (V3 a) -> ST s (Mutable Vector s (V3 a)) basicLength :: Vector (V3 a) -> Int basicUnsafeSlice :: Int -> Int -> Vector (V3 a) -> Vector (V3 a) basicUnsafeIndexM :: Vector (V3 a) -> Int -> Box (V3 a) basicUnsafeCopy :: Mutable Vector s (V3 a) -> Vector (V3 a) -> ST s () | |||||
| Unbox a => Vector Vector (V4 a) | |||||
Defined in Linear.V4 Methods basicUnsafeFreeze :: Mutable Vector s (V4 a) -> ST s (Vector (V4 a)) basicUnsafeThaw :: Vector (V4 a) -> ST s (Mutable Vector s (V4 a)) basicLength :: Vector (V4 a) -> Int basicUnsafeSlice :: Int -> Int -> Vector (V4 a) -> Vector (V4 a) basicUnsafeIndexM :: Vector (V4 a) -> Int -> Box (V4 a) basicUnsafeCopy :: Mutable Vector s (V4 a) -> Vector (V4 a) -> ST s () | |||||
| Unbox a => Vector Vector (V2 a) | |||||
Defined in SDL.Internal.Vect Methods basicUnsafeFreeze :: Mutable Vector s (V2 a) -> ST s (Vector (V2 a)) basicUnsafeThaw :: Vector (V2 a) -> ST s (Mutable Vector s (V2 a)) basicLength :: Vector (V2 a) -> Int basicUnsafeSlice :: Int -> Int -> Vector (V2 a) -> Vector (V2 a) basicUnsafeIndexM :: Vector (V2 a) -> Int -> Box (V2 a) basicUnsafeCopy :: Mutable Vector s (V2 a) -> Vector (V2 a) -> ST s () | |||||
| Unbox a => Vector Vector (V3 a) | |||||
Defined in SDL.Internal.Vect Methods basicUnsafeFreeze :: Mutable Vector s (V3 a) -> ST s (Vector (V3 a)) basicUnsafeThaw :: Vector (V3 a) -> ST s (Mutable Vector s (V3 a)) basicLength :: Vector (V3 a) -> Int basicUnsafeSlice :: Int -> Int -> Vector (V3 a) -> Vector (V3 a) basicUnsafeIndexM :: Vector (V3 a) -> Int -> Box (V3 a) basicUnsafeCopy :: Mutable Vector s (V3 a) -> Vector (V3 a) -> ST s () | |||||
| Unbox a => Vector Vector (V4 a) | |||||
Defined in SDL.Internal.Vect Methods basicUnsafeFreeze :: Mutable Vector s (V4 a) -> ST s (Vector (V4 a)) basicUnsafeThaw :: Vector (V4 a) -> ST s (Mutable Vector s (V4 a)) basicLength :: Vector (V4 a) -> Int basicUnsafeSlice :: Int -> Int -> Vector (V4 a) -> Vector (V4 a) basicUnsafeIndexM :: Vector (V4 a) -> Int -> Box (V4 a) basicUnsafeCopy :: Mutable Vector s (V4 a) -> Vector (V4 a) -> ST s () | |||||
| Unbox a => Vector Vector (Rectangle a) | |||||
Defined in SDL.Video.Renderer Methods basicUnsafeFreeze :: Mutable Vector s (Rectangle a) -> ST s (Vector (Rectangle a)) basicUnsafeThaw :: Vector (Rectangle a) -> ST s (Mutable Vector s (Rectangle a)) basicLength :: Vector (Rectangle a) -> Int basicUnsafeSlice :: Int -> Int -> Vector (Rectangle a) -> Vector (Rectangle a) basicUnsafeIndexM :: Vector (Rectangle a) -> Int -> Box (Rectangle a) basicUnsafeCopy :: Mutable Vector s (Rectangle a) -> Vector (Rectangle a) -> ST s () | |||||
| Prim a => Vector Vector (UnboxViaPrim a) | |||||
Defined in Data.Vector.Unboxed.Base Methods basicUnsafeFreeze :: Mutable Vector s (UnboxViaPrim a) -> ST s (Vector (UnboxViaPrim a)) basicUnsafeThaw :: Vector (UnboxViaPrim a) -> ST s (Mutable Vector s (UnboxViaPrim a)) basicLength :: Vector (UnboxViaPrim a) -> Int basicUnsafeSlice :: Int -> Int -> Vector (UnboxViaPrim a) -> Vector (UnboxViaPrim a) basicUnsafeIndexM :: Vector (UnboxViaPrim a) -> Int -> Box (UnboxViaPrim a) basicUnsafeCopy :: Mutable Vector s (UnboxViaPrim a) -> Vector (UnboxViaPrim a) -> ST s () elemseq :: Vector (UnboxViaPrim a) -> UnboxViaPrim a -> b -> b | |||||
| (Unbox a, Unbox b) => Vector Vector (Arg a b) | |||||
Defined in Data.Vector.Unboxed.Base Methods basicUnsafeFreeze :: Mutable Vector s (Arg a b) -> ST s (Vector (Arg a b)) basicUnsafeThaw :: Vector (Arg a b) -> ST s (Mutable Vector s (Arg a b)) basicLength :: Vector (Arg a b) -> Int basicUnsafeSlice :: Int -> Int -> Vector (Arg a b) -> Vector (Arg a b) basicUnsafeIndexM :: Vector (Arg a b) -> Int -> Box (Arg a b) basicUnsafeCopy :: Mutable Vector s (Arg a b) -> Vector (Arg a b) -> ST s () | |||||
| Unbox (f a) => Vector Vector (Point f a) | |||||
Defined in Linear.Affine Methods basicUnsafeFreeze :: Mutable Vector s (Point f a) -> ST s (Vector (Point f a)) basicUnsafeThaw :: Vector (Point f a) -> ST s (Mutable Vector s (Point f a)) basicLength :: Vector (Point f a) -> Int basicUnsafeSlice :: Int -> Int -> Vector (Point f a) -> Vector (Point f a) basicUnsafeIndexM :: Vector (Point f a) -> Int -> Box (Point f a) basicUnsafeCopy :: Mutable Vector s (Point f a) -> Vector (Point f a) -> ST s () | |||||
| Unbox (f a) => Vector Vector (Point f a) | |||||
Defined in SDL.Internal.Vect Methods basicUnsafeFreeze :: Mutable Vector s (Point f a) -> ST s (Vector (Point f a)) basicUnsafeThaw :: Vector (Point f a) -> ST s (Mutable Vector s (Point f a)) basicLength :: Vector (Point f a) -> Int basicUnsafeSlice :: Int -> Int -> Vector (Point f a) -> Vector (Point f a) basicUnsafeIndexM :: Vector (Point f a) -> Int -> Box (Point f a) basicUnsafeCopy :: Mutable Vector s (Point f a) -> Vector (Point f a) -> ST s () | |||||
| (IsoUnbox a b, Unbox b) => Vector Vector (As a b) | |||||
Defined in Data.Vector.Unboxed.Base Methods basicUnsafeFreeze :: Mutable Vector s (As a b) -> ST s (Vector (As a b)) basicUnsafeThaw :: Vector (As a b) -> ST s (Mutable Vector s (As a b)) basicLength :: Vector (As a b) -> Int basicUnsafeSlice :: Int -> Int -> Vector (As a b) -> Vector (As a b) basicUnsafeIndexM :: Vector (As a b) -> Int -> Box (As a b) basicUnsafeCopy :: Mutable Vector s (As a b) -> Vector (As a b) -> ST s () | |||||
| (Unbox a, Unbox b) => Vector Vector (a, b) | |||||
Defined in Data.Vector.Unboxed.Base Methods basicUnsafeFreeze :: Mutable Vector s (a, b) -> ST s (Vector (a, b)) basicUnsafeThaw :: Vector (a, b) -> ST s (Mutable Vector s (a, b)) basicLength :: Vector (a, b) -> Int basicUnsafeSlice :: Int -> Int -> Vector (a, b) -> Vector (a, b) basicUnsafeIndexM :: Vector (a, b) -> Int -> Box (a, b) basicUnsafeCopy :: Mutable Vector s (a, b) -> Vector (a, b) -> ST s () | |||||
| Unbox a => Vector Vector (Const a b) | |||||
Defined in Data.Vector.Unboxed.Base Methods basicUnsafeFreeze :: Mutable Vector s (Const a b) -> ST s (Vector (Const a b)) basicUnsafeThaw :: Vector (Const a b) -> ST s (Mutable Vector s (Const a b)) basicLength :: Vector (Const a b) -> Int basicUnsafeSlice :: Int -> Int -> Vector (Const a b) -> Vector (Const a b) basicUnsafeIndexM :: Vector (Const a b) -> Int -> Box (Const a b) basicUnsafeCopy :: Mutable Vector s (Const a b) -> Vector (Const a b) -> ST s () | |||||
| Unbox (f a) => Vector Vector (Alt f a) | |||||
Defined in Data.Vector.Unboxed.Base Methods basicUnsafeFreeze :: Mutable Vector s (Alt f a) -> ST s (Vector (Alt f a)) basicUnsafeThaw :: Vector (Alt f a) -> ST s (Mutable Vector s (Alt f a)) basicLength :: Vector (Alt f a) -> Int basicUnsafeSlice :: Int -> Int -> Vector (Alt f a) -> Vector (Alt f a) basicUnsafeIndexM :: Vector (Alt f a) -> Int -> Box (Alt f a) basicUnsafeCopy :: Mutable Vector s (Alt f a) -> Vector (Alt f a) -> ST s () | |||||
| (Dim n, Unbox a) => Vector Vector (V n a) | |||||
Defined in Linear.V Methods basicUnsafeFreeze :: Mutable Vector s (V n a) -> ST s (Vector (V n a)) basicUnsafeThaw :: Vector (V n a) -> ST s (Mutable Vector s (V n a)) basicLength :: Vector (V n a) -> Int basicUnsafeSlice :: Int -> Int -> Vector (V n a) -> Vector (V n a) basicUnsafeIndexM :: Vector (V n a) -> Int -> Box (V n a) basicUnsafeCopy :: Mutable Vector s (V n a) -> Vector (V n a) -> ST s () | |||||
| (Unbox a, Unbox b, Unbox c) => Vector Vector (a, b, c) | |||||
Defined in Data.Vector.Unboxed.Base Methods basicUnsafeFreeze :: Mutable Vector s (a, b, c) -> ST s (Vector (a, b, c)) basicUnsafeThaw :: Vector (a, b, c) -> ST s (Mutable Vector s (a, b, c)) basicLength :: Vector (a, b, c) -> Int basicUnsafeSlice :: Int -> Int -> Vector (a, b, c) -> Vector (a, b, c) basicUnsafeIndexM :: Vector (a, b, c) -> Int -> Box (a, b, c) basicUnsafeCopy :: Mutable Vector s (a, b, c) -> Vector (a, b, c) -> ST s () | |||||
| (Unbox a, Unbox b, Unbox c, Unbox d) => Vector Vector (a, b, c, d) | |||||
Defined in Data.Vector.Unboxed.Base Methods basicUnsafeFreeze :: Mutable Vector s (a, b, c, d) -> ST s (Vector (a, b, c, d)) basicUnsafeThaw :: Vector (a, b, c, d) -> ST s (Mutable Vector s (a, b, c, d)) basicLength :: Vector (a, b, c, d) -> Int basicUnsafeSlice :: Int -> Int -> Vector (a, b, c, d) -> Vector (a, b, c, d) basicUnsafeIndexM :: Vector (a, b, c, d) -> Int -> Box (a, b, c, d) basicUnsafeCopy :: Mutable Vector s (a, b, c, d) -> Vector (a, b, c, d) -> ST s () | |||||
| Unbox (f (g a)) => Vector Vector (Compose f g a) | |||||
Defined in Data.Vector.Unboxed.Base Methods basicUnsafeFreeze :: Mutable Vector s (Compose f g a) -> ST s (Vector (Compose f g a)) basicUnsafeThaw :: Vector (Compose f g a) -> ST s (Mutable Vector s (Compose f g a)) basicLength :: Vector (Compose f g a) -> Int basicUnsafeSlice :: Int -> Int -> Vector (Compose f g a) -> Vector (Compose f g a) basicUnsafeIndexM :: Vector (Compose f g a) -> Int -> Box (Compose f g a) basicUnsafeCopy :: Mutable Vector s (Compose f g a) -> Vector (Compose f g a) -> ST s () elemseq :: Vector (Compose f g a) -> Compose f g a -> b -> b | |||||
| (Unbox a, Unbox b, Unbox c, Unbox d, Unbox e) => Vector Vector (a, b, c, d, e) | |||||
Defined in Data.Vector.Unboxed.Base Methods basicUnsafeFreeze :: Mutable Vector s (a, b, c, d, e) -> ST s (Vector (a, b, c, d, e)) basicUnsafeThaw :: Vector (a, b, c, d, e) -> ST s (Mutable Vector s (a, b, c, d, e)) basicLength :: Vector (a, b, c, d, e) -> Int basicUnsafeSlice :: Int -> Int -> Vector (a, b, c, d, e) -> Vector (a, b, c, d, e) basicUnsafeIndexM :: Vector (a, b, c, d, e) -> Int -> Box (a, b, c, d, e) basicUnsafeCopy :: Mutable Vector s (a, b, c, d, e) -> Vector (a, b, c, d, e) -> ST s () elemseq :: Vector (a, b, c, d, e) -> (a, b, c, d, e) -> b0 -> b0 | |||||
| (Unbox a, Unbox b, Unbox c, Unbox d, Unbox e, Unbox f) => Vector Vector (a, b, c, d, e, f) | |||||
Defined in Data.Vector.Unboxed.Base Methods basicUnsafeFreeze :: Mutable Vector s (a, b, c, d, e, f) -> ST s (Vector (a, b, c, d, e, f)) basicUnsafeThaw :: Vector (a, b, c, d, e, f) -> ST s (Mutable Vector s (a, b, c, d, e, f)) basicLength :: Vector (a, b, c, d, e, f) -> Int basicUnsafeSlice :: Int -> Int -> Vector (a, b, c, d, e, f) -> Vector (a, b, c, d, e, f) basicUnsafeIndexM :: Vector (a, b, c, d, e, f) -> Int -> Box (a, b, c, d, e, f) basicUnsafeCopy :: Mutable Vector s (a, b, c, d, e, f) -> Vector (a, b, c, d, e, f) -> ST s () elemseq :: Vector (a, b, c, d, e, f) -> (a, b, c, d, e, f) -> b0 -> b0 | |||||
| (Data a, Unbox a) => Data (Vector a) | |||||
Defined in Data.Vector.Unboxed.Base Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Vector a -> c (Vector a) gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Vector a) toConstr :: Vector a -> Constr dataTypeOf :: Vector a -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Vector a)) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Vector a)) gmapT :: (forall b. Data b => b -> b) -> Vector a -> Vector a gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Vector a -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Vector a -> r gmapQ :: (forall d. Data d => d -> u) -> Vector a -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Vector a -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Vector a -> m (Vector a) gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Vector a -> m (Vector a) gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Vector a -> m (Vector a) | |||||
| NFData (Vector a) | |||||
Defined in Data.Vector.Unboxed.Base | |||||
| Unbox a => Ixed (Vector a) | |||||
Defined in Control.Lens.At | |||||
| Unbox a => Wrapped (Vector a) | |||||
Defined in Control.Lens.Wrapped Associated Types
| |||||
| (Unbox a, t ~ Vector a') => Rewrapped (Vector a) t | |||||
Defined in Control.Lens.Wrapped | |||||
| type Mutable Vector | |||||
Defined in Data.Vector.Unboxed.Base | |||||
| newtype Vector All | |||||
Defined in Data.Vector.Unboxed.Base | |||||
| newtype Vector Any | |||||
Defined in Data.Vector.Unboxed.Base | |||||
| newtype Vector Int16 | |||||
Defined in Data.Vector.Unboxed.Base | |||||
| newtype Vector Int32 | |||||
Defined in Data.Vector.Unboxed.Base | |||||
| newtype Vector Int64 | |||||
Defined in Data.Vector.Unboxed.Base | |||||
| newtype Vector Int8 | |||||
Defined in Data.Vector.Unboxed.Base | |||||
| newtype Vector Word16 | |||||
Defined in Data.Vector.Unboxed.Base | |||||
| newtype Vector Word32 | |||||
Defined in Data.Vector.Unboxed.Base | |||||
| newtype Vector Word64 | |||||
Defined in Data.Vector.Unboxed.Base | |||||
| newtype Vector Word8 | |||||
Defined in Data.Vector.Unboxed.Base | |||||
| newtype Vector () | |||||
Defined in Data.Vector.Unboxed.Base | |||||
| newtype Vector Bool | |||||
Defined in Data.Vector.Unboxed.Base | |||||
| newtype Vector Char | |||||
Defined in Data.Vector.Unboxed.Base | |||||
| newtype Vector Double | |||||
Defined in Data.Vector.Unboxed.Base | |||||
| newtype Vector Float | |||||
Defined in Data.Vector.Unboxed.Base | |||||
| newtype Vector Int | |||||
Defined in Data.Vector.Unboxed.Base | |||||
| newtype Vector Word | |||||
Defined in Data.Vector.Unboxed.Base | |||||
| type Item (Vector e) | |||||
Defined in Data.Vector.Unboxed type Item (Vector e) = e | |||||
| type Index (Vector a) | |||||
Defined in Control.Lens.At type Index (Vector a) = Int | |||||
| type IxValue (Vector a) | |||||
Defined in Control.Lens.At type IxValue (Vector a) = a | |||||
| type Unwrapped (Vector a) | |||||
Defined in Control.Lens.Wrapped type Unwrapped (Vector a) = [a] | |||||
| newtype Vector (Complex a) | |||||
Defined in Data.Vector.Unboxed.Base | |||||
| newtype Vector (Identity a) | |||||
Defined in Data.Vector.Unboxed.Base | |||||
| newtype Vector (Down a) | |||||
Defined in Data.Vector.Unboxed.Base | |||||
| newtype Vector (First a) | |||||
Defined in Data.Vector.Unboxed.Base | |||||
| newtype Vector (Last a) | |||||
Defined in Data.Vector.Unboxed.Base | |||||
| newtype Vector (Max a) | |||||
Defined in Data.Vector.Unboxed.Base | |||||
| newtype Vector (Min a) | |||||
Defined in Data.Vector.Unboxed.Base | |||||
| newtype Vector (WrappedMonoid a) | |||||
Defined in Data.Vector.Unboxed.Base | |||||
| newtype Vector (Dual a) | |||||
Defined in Data.Vector.Unboxed.Base | |||||
| newtype Vector (Product a) | |||||
Defined in Data.Vector.Unboxed.Base | |||||
| newtype Vector (Sum a) | |||||
Defined in Data.Vector.Unboxed.Base | |||||
| data Vector (Plucker a) | |||||
Defined in Linear.Plucker | |||||
| data Vector (Quaternion a) | |||||
Defined in Linear.Quaternion | |||||
| newtype Vector (V0 a) | |||||
| newtype Vector (V1 a) | |||||
| data Vector (V2 a) | |||||
| data Vector (V3 a) | |||||
| data Vector (V4 a) | |||||
| data Vector (V2 a) Source # | |||||
Defined in SDL.Internal.Vect | |||||
| data Vector (V3 a) Source # | |||||
Defined in SDL.Internal.Vect | |||||
| data Vector (V4 a) Source # | |||||
Defined in SDL.Internal.Vect | |||||
| newtype Vector (Rectangle a) Source # | |||||
Defined in SDL.Video.Renderer | |||||
| newtype Vector (UnboxViaPrim a) | |||||
Defined in Data.Vector.Unboxed.Base | |||||
| newtype Vector (Arg a b) | |||||
Defined in Data.Vector.Unboxed.Base | |||||
| newtype Vector (Point f a) | |||||
Defined in Linear.Affine | |||||
| data Vector (Point f a) Source # | |||||
Defined in SDL.Internal.Vect | |||||
| newtype Vector (As a b) | |||||
Defined in Data.Vector.Unboxed.Base | |||||
| data Vector (a, b) | |||||
Defined in Data.Vector.Unboxed.Base | |||||
| newtype Vector (Const a b) | |||||
Defined in Data.Vector.Unboxed.Base | |||||
| newtype Vector (Alt f a) | |||||
Defined in Data.Vector.Unboxed.Base | |||||
| data Vector (V n a) | |||||
| data Vector (a, b, c) | |||||
| data Vector (a, b, c, d) | |||||
| newtype Vector (Compose f g a) | |||||
Defined in Data.Vector.Unboxed.Base | |||||
| data Vector (a, b, c, d, e) | |||||
| data Vector (a, b, c, d, e, f) | |||||
newtype Point (f :: Type -> Type) a #
Constructors
| P (f a) |
Instances
| Generic1 (Point f :: Type -> Type) | |||||
Defined in Linear.Affine Associated Types
| |||||
| Unbox (f a) => Vector Vector (Point f a) | |||||
Defined in Linear.Affine Methods basicUnsafeFreeze :: Mutable Vector s (Point f a) -> ST s (Vector (Point f a)) basicUnsafeThaw :: Vector (Point f a) -> ST s (Mutable Vector s (Point f a)) basicLength :: Vector (Point f a) -> Int basicUnsafeSlice :: Int -> Int -> Vector (Point f a) -> Vector (Point f a) basicUnsafeIndexM :: Vector (Point f a) -> Int -> Box (Point f a) basicUnsafeCopy :: Mutable Vector s (Point f a) -> Vector (Point f a) -> ST s () | |||||
| Unbox (f a) => MVector MVector (Point f a) | |||||
Defined in Linear.Affine Methods basicLength :: MVector s (Point f a) -> Int basicUnsafeSlice :: Int -> Int -> MVector s (Point f a) -> MVector s (Point f a) basicOverlaps :: MVector s (Point f a) -> MVector s (Point f a) -> Bool basicUnsafeNew :: Int -> ST s (MVector s (Point f a)) basicInitialize :: MVector s (Point f a) -> ST s () basicUnsafeReplicate :: Int -> Point f a -> ST s (MVector s (Point f a)) basicUnsafeRead :: MVector s (Point f a) -> Int -> ST s (Point f a) basicUnsafeWrite :: MVector s (Point f a) -> Int -> Point f a -> ST s () basicClear :: MVector s (Point f a) -> ST s () basicSet :: MVector s (Point f a) -> Point f a -> ST s () basicUnsafeCopy :: MVector s (Point f a) -> MVector s (Point f a) -> ST s () basicUnsafeMove :: MVector s (Point f a) -> MVector s (Point f a) -> ST s () basicUnsafeGrow :: MVector s (Point f a) -> Int -> ST s (MVector s (Point f a)) | |||||
| Representable f => Representable (Point f) | |||||
Defined in Linear.Affine Associated Types
| |||||
| Foldable f => Foldable (Point f) | |||||
Defined in Linear.Affine Methods fold :: Monoid m => Point f m -> m foldMap :: Monoid m => (a -> m) -> Point f a -> m foldMap' :: Monoid m => (a -> m) -> Point f a -> m foldr :: (a -> b -> b) -> b -> Point f a -> b foldr' :: (a -> b -> b) -> b -> Point f a -> b foldl :: (b -> a -> b) -> b -> Point f a -> b foldl' :: (b -> a -> b) -> b -> Point f a -> b foldr1 :: (a -> a -> a) -> Point f a -> a foldl1 :: (a -> a -> a) -> Point f a -> a elem :: Eq a => a -> Point f a -> Bool maximum :: Ord a => Point f a -> a minimum :: Ord a => Point f a -> a | |||||
| Eq1 f => Eq1 (Point f) | |||||
Defined in Linear.Affine | |||||
| Ord1 f => Ord1 (Point f) | |||||
Defined in Linear.Affine Methods liftCompare :: (a -> b -> Ordering) -> Point f a -> Point f b -> Ordering | |||||
| Read1 f => Read1 (Point f) | |||||
Defined in Linear.Affine Methods liftReadsPrec :: (Int -> ReadS a) -> ReadS [a] -> Int -> ReadS (Point f a) liftReadList :: (Int -> ReadS a) -> ReadS [a] -> ReadS [Point f a] liftReadPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec (Point f a) liftReadListPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec [Point f a] | |||||
| Show1 f => Show1 (Point f) | |||||
Defined in Linear.Affine Methods liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> Point f a -> ShowS liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [Point f a] -> ShowS | |||||
| Traversable f => Traversable (Point f) | |||||
| Applicative f => Applicative (Point f) | |||||
| Functor f => Functor (Point f) | |||||
| Monad f => Monad (Point f) | |||||
| Serial1 f => Serial1 (Point f) | |||||
Defined in Linear.Affine Methods serializeWith :: MonadPut m => (a -> m ()) -> Point f a -> m () deserializeWith :: MonadGet m => m a -> m (Point f a) | |||||
| Distributive f => Distributive (Point f) | |||||
Defined in Linear.Affine | |||||
| Hashable1 f => Hashable1 (Point f) | |||||
Defined in Linear.Affine Methods liftHashWithSalt :: (Int -> a -> Int) -> Int -> Point f a -> Int | |||||
| Additive f => Affine (Point f) | |||||
Defined in Linear.Affine Associated Types
| |||||
| Metric f => Metric (Point f) | |||||
Defined in Linear.Affine | |||||
| Finite f => Finite (Point f) | |||||
Defined in Linear.Affine Associated Types
| |||||
| R1 f => R1 (Point f) | |||||
Defined in Linear.Affine | |||||
| R2 f => R2 (Point f) | |||||
| R3 f => R3 (Point f) | |||||
| R4 f => R4 (Point f) | |||||
| Additive f => Additive (Point f) | |||||
Defined in Linear.Affine Methods (^+^) :: Num a => Point f a -> Point f a -> Point f a # (^-^) :: Num a => Point f a -> Point f a -> Point f a # lerp :: Num a => a -> Point f a -> Point f a -> Point f a # liftU2 :: (a -> a -> a) -> Point f a -> Point f a -> Point f a # liftI2 :: (a -> b -> c) -> Point f a -> Point f b -> Point f c # | |||||
| Apply f => Apply (Point f) | |||||
| Bind f => Bind (Point f) | |||||
| (Typeable f, Typeable a, Data (f a)) => Data (Point f a) | |||||
Defined in Linear.Affine Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Point f a -> c (Point f a) gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Point f a) toConstr :: Point f a -> Constr dataTypeOf :: Point f a -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Point f a)) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Point f a)) gmapT :: (forall b. Data b => b -> b) -> Point f a -> Point f a gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Point f a -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Point f a -> r gmapQ :: (forall d. Data d => d -> u) -> Point f a -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Point f a -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Point f a -> m (Point f a) gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Point f a -> m (Point f a) gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Point f a -> m (Point f a) | |||||
| Storable (f a) => Storable (Point f a) | |||||
Defined in Linear.Affine Methods peekElemOff :: Ptr (Point f a) -> Int -> IO (Point f a) pokeElemOff :: Ptr (Point f a) -> Int -> Point f a -> IO () peekByteOff :: Ptr b -> Int -> IO (Point f a) pokeByteOff :: Ptr b -> Int -> Point f a -> IO () | |||||
| Monoid (f a) => Monoid (Point f a) | |||||
| Semigroup (f a) => Semigroup (Point f a) | |||||
| Generic (Point f a) | |||||
Defined in Linear.Affine Associated Types
| |||||
| Ix (f a) => Ix (Point f a) | |||||
Defined in Linear.Affine Methods range :: (Point f a, Point f a) -> [Point f a] index :: (Point f a, Point f a) -> Point f a -> Int unsafeIndex :: (Point f a, Point f a) -> Point f a -> Int inRange :: (Point f a, Point f a) -> Point f a -> Bool rangeSize :: (Point f a, Point f a) -> Int unsafeRangeSize :: (Point f a, Point f a) -> Int | |||||
| Num (f a) => Num (Point f a) | |||||
| Read (f a) => Read (Point f a) | |||||
Defined in Linear.Affine | |||||
| Fractional (f a) => Fractional (Point f a) | |||||
Defined in Linear.Affine | |||||
| Show (f a) => Show (Point f a) | |||||
| Binary (f a) => Binary (Point f a) | |||||
| Serial (f a) => Serial (Point f a) | |||||
Defined in Linear.Affine | |||||
| Serialize (f a) => Serialize (Point f a) | |||||
Defined in Linear.Affine | |||||
| NFData (f a) => NFData (Point f a) | |||||
Defined in Linear.Affine | |||||
| Eq (f a) => Eq (Point f a) | |||||
| Ord (f a) => Ord (Point f a) | |||||
Defined in Linear.Affine | |||||
| Hashable (f a) => Hashable (Point f a) | |||||
Defined in Linear.Affine | |||||
| Ixed (f a) => Ixed (Point f a) | |||||
Defined in Linear.Affine | |||||
| Wrapped (Point f a) | |||||
Defined in Linear.Affine Associated Types
| |||||
| Epsilon (f a) => Epsilon (Point f a) | |||||
Defined in Linear.Affine | |||||
| Random (f a) => Random (Point f a) | |||||
| Unbox (f a) => Unbox (Point f a) | |||||
Defined in Linear.Affine | |||||
| t ~ Point g b => Rewrapped (Point f a) t | |||||
Defined in Linear.Affine | |||||
| Traversable f => Each (Point f a) (Point f b) a b | |||||
Defined in Linear.Affine | |||||
| type Rep1 (Point f :: Type -> Type) | |||||
Defined in Linear.Affine type Rep1 (Point f :: Type -> Type) = D1 ('MetaData "Point" "Linear.Affine" "linear-1.23.3-ADGR3XL3jXeLQNN7Kf8DKT" 'True) (C1 ('MetaCons "P" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec1 f))) | |||||
| newtype MVector s (Point f a) | |||||
Defined in Linear.Affine | |||||
| type Rep (Point f) | |||||
Defined in Linear.Affine type Rep (Point f) = Rep f | |||||
| type Diff (Point f) | |||||
Defined in Linear.Affine | |||||
| type Size (Point f) | |||||
Defined in Linear.Affine type Size (Point f) = Size f | |||||
| type Rep (Point f a) | |||||
Defined in Linear.Affine type Rep (Point f a) = D1 ('MetaData "Point" "Linear.Affine" "linear-1.23.3-ADGR3XL3jXeLQNN7Kf8DKT" 'True) (C1 ('MetaCons "P" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f a)))) | |||||
| type Index (Point f a) | |||||
Defined in Linear.Affine type Index (Point f a) = Index (f a) | |||||
| type IxValue (Point f a) | |||||
Defined in Linear.Affine type IxValue (Point f a) = IxValue (f a) | |||||
| type Unwrapped (Point f a) | |||||
Defined in Linear.Affine type Unwrapped (Point f a) = f a | |||||
| newtype Vector (Point f a) | |||||
Defined in Linear.Affine | |||||
Constructors
| V2 !a !a |
Instances
| Representable V2 | |||||
| MonadFix V2 | |||||
| MonadZip V2 | |||||
| Foldable V2 | |||||
Defined in Linear.V2 Methods foldMap :: Monoid m => (a -> m) -> V2 a -> m foldMap' :: Monoid m => (a -> m) -> V2 a -> m foldr :: (a -> b -> b) -> b -> V2 a -> b foldr' :: (a -> b -> b) -> b -> V2 a -> b foldl :: (b -> a -> b) -> b -> V2 a -> b foldl' :: (b -> a -> b) -> b -> V2 a -> b foldr1 :: (a -> a -> a) -> V2 a -> a foldl1 :: (a -> a -> a) -> V2 a -> a | |||||
| Foldable1 V2 | |||||
Defined in Linear.V2 Methods fold1 :: Semigroup m => V2 m -> m foldMap1 :: Semigroup m => (a -> m) -> V2 a -> m foldMap1' :: Semigroup m => (a -> m) -> V2 a -> m toNonEmpty :: V2 a -> NonEmpty a foldrMap1 :: (a -> b) -> (a -> b -> b) -> V2 a -> b foldlMap1' :: (a -> b) -> (b -> a -> b) -> V2 a -> b foldlMap1 :: (a -> b) -> (b -> a -> b) -> V2 a -> b foldrMap1' :: (a -> b) -> (a -> b -> b) -> V2 a -> b | |||||
| Eq1 V2 | |||||
| Ord1 V2 | |||||
Defined in Linear.V2 Methods liftCompare :: (a -> b -> Ordering) -> V2 a -> V2 b -> Ordering | |||||
| Read1 V2 | |||||
Defined in Linear.V2 Methods liftReadsPrec :: (Int -> ReadS a) -> ReadS [a] -> Int -> ReadS (V2 a) liftReadList :: (Int -> ReadS a) -> ReadS [a] -> ReadS [V2 a] liftReadPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec (V2 a) liftReadListPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec [V2 a] | |||||
| Show1 V2 | |||||
Defined in Linear.V2 Methods liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> V2 a -> ShowS liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [V2 a] -> ShowS | |||||
| Traversable V2 | |||||
| Applicative V2 | |||||
| Functor V2 | |||||
| Monad V2 | |||||
| Serial1 V2 | |||||
Defined in Linear.V2 Methods serializeWith :: MonadPut m => (a -> m ()) -> V2 a -> m () deserializeWith :: MonadGet m => m a -> m (V2 a) | |||||
| Distributive V2 | |||||
| Hashable1 V2 | |||||
Defined in Linear.V2 Methods liftHashWithSalt :: (Int -> a -> Int) -> Int -> V2 a -> Int | |||||
| Affine V2 | |||||
| Metric V2 | |||||
| Trace V2 | |||||
| Finite V2 | |||||
| R1 V2 | |||||
| R2 V2 | |||||
| Additive V2 | |||||
| Apply V2 | |||||
| Bind V2 | |||||
| Traversable1 V2 | |||||
| Generic1 V2 | |||||
Defined in Linear.V2 Associated Types
| |||||
| Num r => Coalgebra r (E V2) | |||||
| Lift a => Lift (V2 a :: Type) | |||||
| Unbox a => Vector Vector (V2 a) | |||||
Defined in Linear.V2 Methods basicUnsafeFreeze :: Mutable Vector s (V2 a) -> ST s (Vector (V2 a)) basicUnsafeThaw :: Vector (V2 a) -> ST s (Mutable Vector s (V2 a)) basicLength :: Vector (V2 a) -> Int basicUnsafeSlice :: Int -> Int -> Vector (V2 a) -> Vector (V2 a) basicUnsafeIndexM :: Vector (V2 a) -> Int -> Box (V2 a) basicUnsafeCopy :: Mutable Vector s (V2 a) -> Vector (V2 a) -> ST s () | |||||
| Unbox a => MVector MVector (V2 a) | |||||
Defined in Linear.V2 Methods basicLength :: MVector s (V2 a) -> Int basicUnsafeSlice :: Int -> Int -> MVector s (V2 a) -> MVector s (V2 a) basicOverlaps :: MVector s (V2 a) -> MVector s (V2 a) -> Bool basicUnsafeNew :: Int -> ST s (MVector s (V2 a)) basicInitialize :: MVector s (V2 a) -> ST s () basicUnsafeReplicate :: Int -> V2 a -> ST s (MVector s (V2 a)) basicUnsafeRead :: MVector s (V2 a) -> Int -> ST s (V2 a) basicUnsafeWrite :: MVector s (V2 a) -> Int -> V2 a -> ST s () basicClear :: MVector s (V2 a) -> ST s () basicSet :: MVector s (V2 a) -> V2 a -> ST s () basicUnsafeCopy :: MVector s (V2 a) -> MVector s (V2 a) -> ST s () basicUnsafeMove :: MVector s (V2 a) -> MVector s (V2 a) -> ST s () basicUnsafeGrow :: MVector s (V2 a) -> Int -> ST s (MVector s (V2 a)) | |||||
| Data a => Data (V2 a) | |||||
Defined in Linear.V2 Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> V2 a -> c (V2 a) gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (V2 a) dataTypeOf :: V2 a -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (V2 a)) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (V2 a)) gmapT :: (forall b. Data b => b -> b) -> V2 a -> V2 a gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> V2 a -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> V2 a -> r gmapQ :: (forall d. Data d => d -> u) -> V2 a -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> V2 a -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> V2 a -> m (V2 a) gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> V2 a -> m (V2 a) gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> V2 a -> m (V2 a) | |||||
| Storable a => Storable (V2 a) | |||||
Defined in Linear.V2 Methods peekElemOff :: Ptr (V2 a) -> Int -> IO (V2 a) pokeElemOff :: Ptr (V2 a) -> Int -> V2 a -> IO () peekByteOff :: Ptr b -> Int -> IO (V2 a) pokeByteOff :: Ptr b -> Int -> V2 a -> IO () | |||||
| Monoid a => Monoid (V2 a) | |||||
| Semigroup a => Semigroup (V2 a) | |||||
| Bounded a => Bounded (V2 a) | |||||
| Floating a => Floating (V2 a) | |||||
| Generic (V2 a) | |||||
Defined in Linear.V2 Associated Types
| |||||
| Ix a => Ix (V2 a) | |||||
| Num a => Num (V2 a) | |||||
| Read a => Read (V2 a) | |||||
| Fractional a => Fractional (V2 a) | |||||
| Show a => Show (V2 a) | |||||
| Binary a => Binary (V2 a) | |||||
| Serial a => Serial (V2 a) | |||||
Defined in Linear.V2 | |||||
| Serialize a => Serialize (V2 a) | |||||
| NFData a => NFData (V2 a) | |||||
| Eq a => Eq (V2 a) | |||||
| Ord a => Ord (V2 a) | |||||
| Hashable a => Hashable (V2 a) | |||||
Defined in Linear.V2 | |||||
| Ixed (V2 a) | |||||
| Epsilon a => Epsilon (V2 a) | |||||
| Random a => Random (V2 a) | |||||
| Uniform a => Uniform (V2 a) | |||||
| UniformRange a => UniformRange (V2 a) | |||||
| Unbox a => Unbox (V2 a) | |||||
Defined in Linear.V2 | |||||
| FoldableWithIndex (E V2) V2 | |||||
| FunctorWithIndex (E V2) V2 | |||||
| TraversableWithIndex (E V2) V2 | |||||
| Each (V2 a) (V2 b) a b | |||||
| Field1 (V2 a) (V2 a) a a | |||||
| Field2 (V2 a) (V2 a) a a | |||||
| type Rep V2 | |||||
| type Diff V2 | |||||
Defined in Linear.Affine | |||||
| type Size V2 | |||||
| type Rep1 V2 | |||||
Defined in Linear.V2 type Rep1 V2 = D1 ('MetaData "V2" "Linear.V2" "linear-1.23.3-ADGR3XL3jXeLQNN7Kf8DKT" 'False) (C1 ('MetaCons "V2" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) Par1 :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) Par1)) | |||||
| data MVector s (V2 a) | |||||
| type Rep (V2 a) | |||||
Defined in Linear.V2 type Rep (V2 a) = D1 ('MetaData "V2" "Linear.V2" "linear-1.23.3-ADGR3XL3jXeLQNN7Kf8DKT" 'False) (C1 ('MetaCons "V2" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a))) | |||||
| type Index (V2 a) | |||||
| type IxValue (V2 a) | |||||
| data Vector (V2 a) | |||||
Constructors
| V3 !a !a !a |
Instances
| Representable V3 | |||||
| MonadFix V3 | |||||
| MonadZip V3 | |||||
| Foldable V3 | |||||
Defined in Linear.V3 Methods foldMap :: Monoid m => (a -> m) -> V3 a -> m foldMap' :: Monoid m => (a -> m) -> V3 a -> m foldr :: (a -> b -> b) -> b -> V3 a -> b foldr' :: (a -> b -> b) -> b -> V3 a -> b foldl :: (b -> a -> b) -> b -> V3 a -> b foldl' :: (b -> a -> b) -> b -> V3 a -> b foldr1 :: (a -> a -> a) -> V3 a -> a foldl1 :: (a -> a -> a) -> V3 a -> a | |||||
| Foldable1 V3 | |||||
Defined in Linear.V3 Methods fold1 :: Semigroup m => V3 m -> m foldMap1 :: Semigroup m => (a -> m) -> V3 a -> m foldMap1' :: Semigroup m => (a -> m) -> V3 a -> m toNonEmpty :: V3 a -> NonEmpty a foldrMap1 :: (a -> b) -> (a -> b -> b) -> V3 a -> b foldlMap1' :: (a -> b) -> (b -> a -> b) -> V3 a -> b foldlMap1 :: (a -> b) -> (b -> a -> b) -> V3 a -> b foldrMap1' :: (a -> b) -> (a -> b -> b) -> V3 a -> b | |||||
| Eq1 V3 | |||||
| Ord1 V3 | |||||
Defined in Linear.V3 Methods liftCompare :: (a -> b -> Ordering) -> V3 a -> V3 b -> Ordering | |||||
| Read1 V3 | |||||
Defined in Linear.V3 Methods liftReadsPrec :: (Int -> ReadS a) -> ReadS [a] -> Int -> ReadS (V3 a) liftReadList :: (Int -> ReadS a) -> ReadS [a] -> ReadS [V3 a] liftReadPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec (V3 a) liftReadListPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec [V3 a] | |||||
| Show1 V3 | |||||
Defined in Linear.V3 Methods liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> V3 a -> ShowS liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [V3 a] -> ShowS | |||||
| Traversable V3 | |||||
| Applicative V3 | |||||
| Functor V3 | |||||
| Monad V3 | |||||
| Serial1 V3 | |||||
Defined in Linear.V3 Methods serializeWith :: MonadPut m => (a -> m ()) -> V3 a -> m () deserializeWith :: MonadGet m => m a -> m (V3 a) | |||||
| Distributive V3 | |||||
| Hashable1 V3 | |||||
Defined in Linear.V3 Methods liftHashWithSalt :: (Int -> a -> Int) -> Int -> V3 a -> Int | |||||
| Affine V3 | |||||
| Metric V3 | |||||
| Trace V3 | |||||
| Finite V3 | |||||
| R1 V3 | |||||
| R2 V3 | |||||
| R3 V3 | |||||
| Additive V3 | |||||
| Apply V3 | |||||
| Bind V3 | |||||
| Traversable1 V3 | |||||
| Generic1 V3 | |||||
Defined in Linear.V3 Associated Types
| |||||
| Num r => Coalgebra r (E V3) | |||||
| Lift a => Lift (V3 a :: Type) | |||||
| Unbox a => Vector Vector (V3 a) | |||||
Defined in Linear.V3 Methods basicUnsafeFreeze :: Mutable Vector s (V3 a) -> ST s (Vector (V3 a)) basicUnsafeThaw :: Vector (V3 a) -> ST s (Mutable Vector s (V3 a)) basicLength :: Vector (V3 a) -> Int basicUnsafeSlice :: Int -> Int -> Vector (V3 a) -> Vector (V3 a) basicUnsafeIndexM :: Vector (V3 a) -> Int -> Box (V3 a) basicUnsafeCopy :: Mutable Vector s (V3 a) -> Vector (V3 a) -> ST s () | |||||
| Unbox a => MVector MVector (V3 a) | |||||
Defined in Linear.V3 Methods basicLength :: MVector s (V3 a) -> Int basicUnsafeSlice :: Int -> Int -> MVector s (V3 a) -> MVector s (V3 a) basicOverlaps :: MVector s (V3 a) -> MVector s (V3 a) -> Bool basicUnsafeNew :: Int -> ST s (MVector s (V3 a)) basicInitialize :: MVector s (V3 a) -> ST s () basicUnsafeReplicate :: Int -> V3 a -> ST s (MVector s (V3 a)) basicUnsafeRead :: MVector s (V3 a) -> Int -> ST s (V3 a) basicUnsafeWrite :: MVector s (V3 a) -> Int -> V3 a -> ST s () basicClear :: MVector s (V3 a) -> ST s () basicSet :: MVector s (V3 a) -> V3 a -> ST s () basicUnsafeCopy :: MVector s (V3 a) -> MVector s (V3 a) -> ST s () basicUnsafeMove :: MVector s (V3 a) -> MVector s (V3 a) -> ST s () basicUnsafeGrow :: MVector s (V3 a) -> Int -> ST s (MVector s (V3 a)) | |||||
| Data a => Data (V3 a) | |||||
Defined in Linear.V3 Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> V3 a -> c (V3 a) gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (V3 a) dataTypeOf :: V3 a -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (V3 a)) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (V3 a)) gmapT :: (forall b. Data b => b -> b) -> V3 a -> V3 a gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> V3 a -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> V3 a -> r gmapQ :: (forall d. Data d => d -> u) -> V3 a -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> V3 a -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> V3 a -> m (V3 a) gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> V3 a -> m (V3 a) gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> V3 a -> m (V3 a) | |||||
| Storable a => Storable (V3 a) | |||||
Defined in Linear.V3 Methods peekElemOff :: Ptr (V3 a) -> Int -> IO (V3 a) pokeElemOff :: Ptr (V3 a) -> Int -> V3 a -> IO () peekByteOff :: Ptr b -> Int -> IO (V3 a) pokeByteOff :: Ptr b -> Int -> V3 a -> IO () | |||||
| Monoid a => Monoid (V3 a) | |||||
| Semigroup a => Semigroup (V3 a) | |||||
| Bounded a => Bounded (V3 a) | |||||
| Floating a => Floating (V3 a) | |||||
| Generic (V3 a) | |||||
Defined in Linear.V3 Associated Types
| |||||
| Ix a => Ix (V3 a) | |||||
| Num a => Num (V3 a) | |||||
| Read a => Read (V3 a) | |||||
| Fractional a => Fractional (V3 a) | |||||
| Show a => Show (V3 a) | |||||
| Binary a => Binary (V3 a) | |||||
| Serial a => Serial (V3 a) | |||||
Defined in Linear.V3 | |||||
| Serialize a => Serialize (V3 a) | |||||
| NFData a => NFData (V3 a) | |||||
| Eq a => Eq (V3 a) | |||||
| Ord a => Ord (V3 a) | |||||
| Hashable a => Hashable (V3 a) | |||||
Defined in Linear.V3 | |||||
| Ixed (V3 a) | |||||
| Epsilon a => Epsilon (V3 a) | |||||
| Random a => Random (V3 a) | |||||
| Uniform a => Uniform (V3 a) | |||||
| UniformRange a => UniformRange (V3 a) | |||||
| Unbox a => Unbox (V3 a) | |||||
Defined in Linear.V3 | |||||
| FoldableWithIndex (E V3) V3 | |||||
| FunctorWithIndex (E V3) V3 | |||||
| TraversableWithIndex (E V3) V3 | |||||
| Each (V3 a) (V3 b) a b | |||||
| Field1 (V3 a) (V3 a) a a | |||||
| Field2 (V3 a) (V3 a) a a | |||||
| Field3 (V3 a) (V3 a) a a | |||||
| type Rep V3 | |||||
| type Diff V3 | |||||
Defined in Linear.Affine | |||||
| type Size V3 | |||||
| type Rep1 V3 | |||||
Defined in Linear.V3 type Rep1 V3 = D1 ('MetaData "V3" "Linear.V3" "linear-1.23.3-ADGR3XL3jXeLQNN7Kf8DKT" 'False) (C1 ('MetaCons "V3" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) Par1 :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) Par1 :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) Par1))) | |||||
| data MVector s (V3 a) | |||||
| type Rep (V3 a) | |||||
Defined in Linear.V3 type Rep (V3 a) = D1 ('MetaData "V3" "Linear.V3" "linear-1.23.3-ADGR3XL3jXeLQNN7Kf8DKT" 'False) (C1 ('MetaCons "V3" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a)))) | |||||
| type Index (V3 a) | |||||
| type IxValue (V3 a) | |||||
| data Vector (V3 a) | |||||
Constructors
| V4 !a !a !a !a |
Instances
| Representable V4 | |||||
| MonadFix V4 | |||||
| MonadZip V4 | |||||
| Foldable V4 | |||||
Defined in Linear.V4 Methods foldMap :: Monoid m => (a -> m) -> V4 a -> m foldMap' :: Monoid m => (a -> m) -> V4 a -> m foldr :: (a -> b -> b) -> b -> V4 a -> b foldr' :: (a -> b -> b) -> b -> V4 a -> b foldl :: (b -> a -> b) -> b -> V4 a -> b foldl' :: (b -> a -> b) -> b -> V4 a -> b foldr1 :: (a -> a -> a) -> V4 a -> a foldl1 :: (a -> a -> a) -> V4 a -> a | |||||
| Foldable1 V4 | |||||
Defined in Linear.V4 Methods fold1 :: Semigroup m => V4 m -> m foldMap1 :: Semigroup m => (a -> m) -> V4 a -> m foldMap1' :: Semigroup m => (a -> m) -> V4 a -> m toNonEmpty :: V4 a -> NonEmpty a foldrMap1 :: (a -> b) -> (a -> b -> b) -> V4 a -> b foldlMap1' :: (a -> b) -> (b -> a -> b) -> V4 a -> b foldlMap1 :: (a -> b) -> (b -> a -> b) -> V4 a -> b foldrMap1' :: (a -> b) -> (a -> b -> b) -> V4 a -> b | |||||
| Eq1 V4 | |||||
| Ord1 V4 | |||||
Defined in Linear.V4 Methods liftCompare :: (a -> b -> Ordering) -> V4 a -> V4 b -> Ordering | |||||
| Read1 V4 | |||||
Defined in Linear.V4 Methods liftReadsPrec :: (Int -> ReadS a) -> ReadS [a] -> Int -> ReadS (V4 a) liftReadList :: (Int -> ReadS a) -> ReadS [a] -> ReadS [V4 a] liftReadPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec (V4 a) liftReadListPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec [V4 a] | |||||
| Show1 V4 | |||||
Defined in Linear.V4 Methods liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> V4 a -> ShowS liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [V4 a] -> ShowS | |||||
| Traversable V4 | |||||
| Applicative V4 | |||||
| Functor V4 | |||||
| Monad V4 | |||||
| Serial1 V4 | |||||
Defined in Linear.V4 Methods serializeWith :: MonadPut m => (a -> m ()) -> V4 a -> m () deserializeWith :: MonadGet m => m a -> m (V4 a) | |||||
| Distributive V4 | |||||
| Hashable1 V4 | |||||
Defined in Linear.V4 Methods liftHashWithSalt :: (Int -> a -> Int) -> Int -> V4 a -> Int | |||||
| Affine V4 | |||||
| Metric V4 | |||||
| Trace V4 | |||||
| Finite V4 | |||||
| R1 V4 | |||||
| R2 V4 | |||||
| R3 V4 | |||||
| R4 V4 | |||||
| Additive V4 | |||||
| Apply V4 | |||||
| Bind V4 | |||||
| Traversable1 V4 | |||||
| Generic1 V4 | |||||
Defined in Linear.V4 Associated Types
| |||||
| Num r => Coalgebra r (E V4) | |||||
| Lift a => Lift (V4 a :: Type) | |||||
| Unbox a => Vector Vector (V4 a) | |||||
Defined in Linear.V4 Methods basicUnsafeFreeze :: Mutable Vector s (V4 a) -> ST s (Vector (V4 a)) basicUnsafeThaw :: Vector (V4 a) -> ST s (Mutable Vector s (V4 a)) basicLength :: Vector (V4 a) -> Int basicUnsafeSlice :: Int -> Int -> Vector (V4 a) -> Vector (V4 a) basicUnsafeIndexM :: Vector (V4 a) -> Int -> Box (V4 a) basicUnsafeCopy :: Mutable Vector s (V4 a) -> Vector (V4 a) -> ST s () | |||||
| Unbox a => MVector MVector (V4 a) | |||||
Defined in Linear.V4 Methods basicLength :: MVector s (V4 a) -> Int basicUnsafeSlice :: Int -> Int -> MVector s (V4 a) -> MVector s (V4 a) basicOverlaps :: MVector s (V4 a) -> MVector s (V4 a) -> Bool basicUnsafeNew :: Int -> ST s (MVector s (V4 a)) basicInitialize :: MVector s (V4 a) -> ST s () basicUnsafeReplicate :: Int -> V4 a -> ST s (MVector s (V4 a)) basicUnsafeRead :: MVector s (V4 a) -> Int -> ST s (V4 a) basicUnsafeWrite :: MVector s (V4 a) -> Int -> V4 a -> ST s () basicClear :: MVector s (V4 a) -> ST s () basicSet :: MVector s (V4 a) -> V4 a -> ST s () basicUnsafeCopy :: MVector s (V4 a) -> MVector s (V4 a) -> ST s () basicUnsafeMove :: MVector s (V4 a) -> MVector s (V4 a) -> ST s () basicUnsafeGrow :: MVector s (V4 a) -> Int -> ST s (MVector s (V4 a)) | |||||
| Data a => Data (V4 a) | |||||
Defined in Linear.V4 Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> V4 a -> c (V4 a) gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (V4 a) dataTypeOf :: V4 a -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (V4 a)) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (V4 a)) gmapT :: (forall b. Data b => b -> b) -> V4 a -> V4 a gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> V4 a -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> V4 a -> r gmapQ :: (forall d. Data d => d -> u) -> V4 a -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> V4 a -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> V4 a -> m (V4 a) gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> V4 a -> m (V4 a) gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> V4 a -> m (V4 a) | |||||
| Storable a => Storable (V4 a) | |||||
Defined in Linear.V4 Methods peekElemOff :: Ptr (V4 a) -> Int -> IO (V4 a) pokeElemOff :: Ptr (V4 a) -> Int -> V4 a -> IO () peekByteOff :: Ptr b -> Int -> IO (V4 a) pokeByteOff :: Ptr b -> Int -> V4 a -> IO () | |||||
| Monoid a => Monoid (V4 a) | |||||
| Semigroup a => Semigroup (V4 a) | |||||
| Bounded a => Bounded (V4 a) | |||||
| Floating a => Floating (V4 a) | |||||
| Generic (V4 a) | |||||
Defined in Linear.V4 Associated Types
| |||||
| Ix a => Ix (V4 a) | |||||
| Num a => Num (V4 a) | |||||
| Read a => Read (V4 a) | |||||
| Fractional a => Fractional (V4 a) | |||||
| Show a => Show (V4 a) | |||||
| Binary a => Binary (V4 a) | |||||
| Serial a => Serial (V4 a) | |||||
Defined in Linear.V4 | |||||
| Serialize a => Serialize (V4 a) | |||||
| NFData a => NFData (V4 a) | |||||
| Eq a => Eq (V4 a) | |||||
| Ord a => Ord (V4 a) | |||||
| Hashable a => Hashable (V4 a) | |||||
Defined in Linear.V4 | |||||
| Ixed (V4 a) | |||||
| Epsilon a => Epsilon (V4 a) | |||||
| Random a => Random (V4 a) | |||||
| Uniform a => Uniform (V4 a) | |||||
| UniformRange a => UniformRange (V4 a) | |||||
| Unbox a => Unbox (V4 a) | |||||
Defined in Linear.V4 | |||||
| FoldableWithIndex (E V4) V4 | |||||
| FunctorWithIndex (E V4) V4 | |||||
| TraversableWithIndex (E V4) V4 | |||||
| Each (V4 a) (V4 b) a b | |||||
| Field1 (V4 a) (V4 a) a a | |||||
| Field2 (V4 a) (V4 a) a a | |||||
| Field3 (V4 a) (V4 a) a a | |||||
| Field4 (V4 a) (V4 a) a a | |||||
| type Rep V4 | |||||
| type Diff V4 | |||||
Defined in Linear.Affine | |||||
| type Size V4 | |||||
| type Rep1 V4 | |||||
Defined in Linear.V4 type Rep1 V4 = D1 ('MetaData "V4" "Linear.V4" "linear-1.23.3-ADGR3XL3jXeLQNN7Kf8DKT" 'False) (C1 ('MetaCons "V4" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) Par1 :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) Par1) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) Par1 :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) Par1))) | |||||
| data MVector s (V4 a) | |||||
| type Rep (V4 a) | |||||
Defined in Linear.V4 type Rep (V4 a) = D1 ('MetaData "V4" "Linear.V4" "linear-1.23.3-ADGR3XL3jXeLQNN7Kf8DKT" 'False) (C1 ('MetaCons "V4" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a)))) | |||||
| type Index (V4 a) | |||||
| type IxValue (V4 a) | |||||
| data Vector (V4 a) | |||||
class Additive (Diff p) => Affine (p :: Type -> Type) where #
Instances
| Affine ZipList | |||||
Defined in Linear.Affine Associated Types
| |||||
| Affine Complex | |||||
Defined in Linear.Affine Associated Types
| |||||
| Affine Identity | |||||
Defined in Linear.Affine Associated Types
| |||||
| Affine IntMap | |||||
| Affine Plucker | |||||
Defined in Linear.Affine Associated Types
| |||||
| Affine Quaternion | |||||
Defined in Linear.Affine Associated Types
Methods (.-.) :: Num a => Quaternion a -> Quaternion a -> Diff Quaternion a # (.+^) :: Num a => Quaternion a -> Diff Quaternion a -> Quaternion a # (.-^) :: Num a => Quaternion a -> Diff Quaternion a -> Quaternion a # | |||||
| Affine V0 | |||||
| Affine V1 | |||||
| Affine V2 | |||||
| Affine V3 | |||||
| Affine V4 | |||||
| Affine Vector | |||||
| Affine Maybe | |||||
| Affine [] | |||||
| Ord k => Affine (Map k) | |||||
| Additive f => Affine (Point f) | |||||
Defined in Linear.Affine Associated Types
| |||||
| (Eq k, Hashable k) => Affine (HashMap k) | |||||
Defined in Linear.Affine Associated Types
| |||||
| Dim n => Affine (V n) | |||||
| (Affine f, Affine g) => Affine (Product f g) | |||||
Defined in Linear.Affine Associated Types
| |||||
| Affine ((->) b) | |||||
class R1 (t :: Type -> Type) where #
Instances
| R1 Identity | |
| R1 Quaternion | |
Defined in Linear.Quaternion Methods _x :: Lens' (Quaternion a) a # | |
| R1 V1 | |
| R1 V2 | |
| R1 V3 | |
| R1 V4 | |
| R1 f => R1 (Point f) | |
Defined in Linear.Affine | |
Constructors
| V1 a |
Instances
| Representable V1 | |
| MonadFix V1 | |
| MonadZip V1 | |
| Foldable V1 | |
Defined in Linear.V1 Methods foldMap :: Monoid m => (a -> m) -> V1 a -> m foldMap' :: Monoid m => (a -> m) -> V1 a -> m foldr :: (a -> b -> b) -> b -> V1 a -> b foldr' :: (a -> b -> b) -> b -> V1 a -> b foldl :: (b -> a -> b) -> b -> V1 a -> b foldl' :: (b -> a -> b) -> b -> V1 a -> b foldr1 :: (a -> a -> a) -> V1 a -> a foldl1 :: (a -> a -> a) -> V1 a -> a | |
| Foldable1 V1 | |
Defined in Linear.V1 Methods fold1 :: Semigroup m => V1 m -> m foldMap1 :: Semigroup m => (a -> m) -> V1 a -> m foldMap1' :: Semigroup m => (a -> m) -> V1 a -> m toNonEmpty :: V1 a -> NonEmpty a foldrMap1 :: (a -> b) -> (a -> b -> b) -> V1 a -> b foldlMap1' :: (a -> b) -> (b -> a -> b) -> V1 a -> b foldlMap1 :: (a -> b) -> (b -> a -> b) -> V1 a -> b foldrMap1' :: (a -> b) -> (a -> b -> b) -> V1 a -> b | |
| Eq1 V1 | |
| Ord1 V1 | |
Defined in Linear.V1 Methods liftCompare :: (a -> b -> Ordering) -> V1 a -> V1 b -> Ordering | |
| Read1 V1 | |
Defined in Linear.V1 Methods liftReadsPrec :: (Int -> ReadS a) -> ReadS [a] -> Int -> ReadS (V1 a) liftReadList :: (Int -> ReadS a) -> ReadS [a] -> ReadS [V1 a] liftReadPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec (V1 a) liftReadListPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec [V1 a] | |
| Show1 V1 | |
Defined in Linear.V1 Methods liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> V1 a -> ShowS liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [V1 a] -> ShowS | |
| Traversable V1 | |
| Applicative V1 | |
| Functor V1 | |
| Monad V1 | |
| Serial1 V1 | |
Defined in Linear.V1 Methods serializeWith :: MonadPut m => (a -> m ()) -> V1 a -> m () deserializeWith :: MonadGet m => m a -> m (V1 a) | |
| Distributive V1 | |
| Hashable1 V1 | |
Defined in Linear.V1 Methods liftHashWithSalt :: (Int -> a -> Int) -> Int -> V1 a -> Int | |
| Affine V1 | |
| Metric V1 | |
| Trace V1 | |
| Finite V1 | |
| R1 V1 | |
| Additive V1 | |
| Apply V1 | |
| Bind V1 | |
| Traversable1 V1 | |
| Generic1 V1 | |
| Num r => Algebra r (E V1) | |
| Num r => Coalgebra r (E V1) | |
| Lift a => Lift (V1 a :: Type) | |
| Unbox a => Vector Vector (V1 a) | |
Defined in Linear.V1 Methods basicUnsafeFreeze :: Mutable Vector s (V1 a) -> ST s (Vector (V1 a)) basicUnsafeThaw :: Vector (V1 a) -> ST s (Mutable Vector s (V1 a)) basicLength :: Vector (V1 a) -> Int basicUnsafeSlice :: Int -> Int -> Vector (V1 a) -> Vector (V1 a) basicUnsafeIndexM :: Vector (V1 a) -> Int -> Box (V1 a) basicUnsafeCopy :: Mutable Vector s (V1 a) -> Vector (V1 a) -> ST s () | |
| Unbox a => MVector MVector (V1 a) | |
Defined in Linear.V1 Methods basicLength :: MVector s (V1 a) -> Int basicUnsafeSlice :: Int -> Int -> MVector s (V1 a) -> MVector s (V1 a) basicOverlaps :: MVector s (V1 a) -> MVector s (V1 a) -> Bool basicUnsafeNew :: Int -> ST s (MVector s (V1 a)) basicInitialize :: MVector s (V1 a) -> ST s () basicUnsafeReplicate :: Int -> V1 a -> ST s (MVector s (V1 a)) basicUnsafeRead :: MVector s (V1 a) -> Int -> ST s (V1 a) basicUnsafeWrite :: MVector s (V1 a) -> Int -> V1 a -> ST s () basicClear :: MVector s (V1 a) -> ST s () basicSet :: MVector s (V1 a) -> V1 a -> ST s () basicUnsafeCopy :: MVector s (V1 a) -> MVector s (V1 a) -> ST s () basicUnsafeMove :: MVector s (V1 a) -> MVector s (V1 a) -> ST s () basicUnsafeGrow :: MVector s (V1 a) -> Int -> ST s (MVector s (V1 a)) | |
| Data a => Data (V1 a) | |
Defined in Linear.V1 Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> V1 a -> c (V1 a) gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (V1 a) dataTypeOf :: V1 a -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (V1 a)) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (V1 a)) gmapT :: (forall b. Data b => b -> b) -> V1 a -> V1 a gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> V1 a -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> V1 a -> r gmapQ :: (forall d. Data d => d -> u) -> V1 a -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> V1 a -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> V1 a -> m (V1 a) gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> V1 a -> m (V1 a) gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> V1 a -> m (V1 a) | |
| Storable a => Storable (V1 a) | |
Defined in Linear.V1 Methods peekElemOff :: Ptr (V1 a) -> Int -> IO (V1 a) pokeElemOff :: Ptr (V1 a) -> Int -> V1 a -> IO () peekByteOff :: Ptr b -> Int -> IO (V1 a) pokeByteOff :: Ptr b -> Int -> V1 a -> IO () | |
| Monoid a => Monoid (V1 a) | |
| Semigroup a => Semigroup (V1 a) | |
| Bounded a => Bounded (V1 a) | |
| Floating a => Floating (V1 a) | |
| Generic (V1 a) | |
| Ix a => Ix (V1 a) | |
| Num a => Num (V1 a) | |
| Read a => Read (V1 a) | |
| Fractional a => Fractional (V1 a) | |
| Show a => Show (V1 a) | |
| Binary a => Binary (V1 a) | |
| Serial a => Serial (V1 a) | |
Defined in Linear.V1 | |
| Serialize a => Serialize (V1 a) | |
| NFData a => NFData (V1 a) | |
| Eq a => Eq (V1 a) | |
| Ord a => Ord (V1 a) | |
| Hashable a => Hashable (V1 a) | |
Defined in Linear.V1 | |
| Ixed (V1 a) | |
| Epsilon a => Epsilon (V1 a) | |
| Random a => Random (V1 a) | |
| Uniform a => Uniform (V1 a) | |
| UniformRange a => UniformRange (V1 a) | |
| Unbox a => Unbox (V1 a) | |
Defined in Linear.V1 | |
| FoldableWithIndex (E V1) V1 | |
| FunctorWithIndex (E V1) V1 | |
| TraversableWithIndex (E V1) V1 | |
| Each (V1 a) (V1 b) a b | |
| Field1 (V1 a) (V1 b) a b | |
| type Rep V1 | |
| type Diff V1 | |
Defined in Linear.Affine | |
| type Size V1 | |
| type Rep1 V1 | |
| newtype MVector s (V1 a) | |
| type Rep (V1 a) | |
| type Index (V1 a) | |
| type IxValue (V1 a) | |
| newtype Vector (V1 a) | |
class Num a => Conjugate a where #
Minimal complete definition
Nothing
Instances
| Conjugate CDouble | |
Defined in Linear.Conjugate | |
| Conjugate CFloat | |
Defined in Linear.Conjugate | |
| Conjugate Int16 | |
Defined in Linear.Conjugate | |
| Conjugate Int32 | |
Defined in Linear.Conjugate | |
| Conjugate Int64 | |
Defined in Linear.Conjugate | |
| Conjugate Int8 | |
Defined in Linear.Conjugate | |
| Conjugate Word16 | |
Defined in Linear.Conjugate | |
| Conjugate Word32 | |
Defined in Linear.Conjugate | |
| Conjugate Word64 | |
Defined in Linear.Conjugate | |
| Conjugate Word8 | |
Defined in Linear.Conjugate | |
| Conjugate Integer | |
Defined in Linear.Conjugate | |
| Conjugate Double | |
Defined in Linear.Conjugate | |
| Conjugate Float | |
Defined in Linear.Conjugate | |
| Conjugate Int | |
Defined in Linear.Conjugate | |
| Conjugate Word | |
Defined in Linear.Conjugate | |
| (Conjugate a, RealFloat a) => Conjugate (Complex a) | |
Defined in Linear.Conjugate | |
| (Conjugate a, RealFloat a) => Conjugate (Quaternion a) | |
Defined in Linear.Quaternion Methods conjugate :: Quaternion a -> Quaternion a # | |
class Functor f => Additive (f :: Type -> Type) where #
Minimal complete definition
Nothing
Methods
(^+^) :: Num a => f a -> f a -> f a #
(^-^) :: Num a => f a -> f a -> f a #
lerp :: Num a => a -> f a -> f a -> f a #
Instances
| Additive ZipList | |
Defined in Linear.Vector Methods (^+^) :: Num a => ZipList a -> ZipList a -> ZipList a # (^-^) :: Num a => ZipList a -> ZipList a -> ZipList a # lerp :: Num a => a -> ZipList a -> ZipList a -> ZipList a # liftU2 :: (a -> a -> a) -> ZipList a -> ZipList a -> ZipList a # liftI2 :: (a -> b -> c) -> ZipList a -> ZipList b -> ZipList c # | |
| Additive Complex | |
Defined in Linear.Vector Methods (^+^) :: Num a => Complex a -> Complex a -> Complex a # (^-^) :: Num a => Complex a -> Complex a -> Complex a # lerp :: Num a => a -> Complex a -> Complex a -> Complex a # liftU2 :: (a -> a -> a) -> Complex a -> Complex a -> Complex a # liftI2 :: (a -> b -> c) -> Complex a -> Complex b -> Complex c # | |
| Additive Identity | |
Defined in Linear.Vector Methods (^+^) :: Num a => Identity a -> Identity a -> Identity a # (^-^) :: Num a => Identity a -> Identity a -> Identity a # lerp :: Num a => a -> Identity a -> Identity a -> Identity a # liftU2 :: (a -> a -> a) -> Identity a -> Identity a -> Identity a # liftI2 :: (a -> b -> c) -> Identity a -> Identity b -> Identity c # | |
| Additive IntMap | |
Defined in Linear.Vector | |
| Additive Plucker | |
Defined in Linear.Plucker Methods (^+^) :: Num a => Plucker a -> Plucker a -> Plucker a # (^-^) :: Num a => Plucker a -> Plucker a -> Plucker a # lerp :: Num a => a -> Plucker a -> Plucker a -> Plucker a # liftU2 :: (a -> a -> a) -> Plucker a -> Plucker a -> Plucker a # liftI2 :: (a -> b -> c) -> Plucker a -> Plucker b -> Plucker c # | |
| Additive Quaternion | |
Defined in Linear.Quaternion Methods zero :: Num a => Quaternion a # (^+^) :: Num a => Quaternion a -> Quaternion a -> Quaternion a # (^-^) :: Num a => Quaternion a -> Quaternion a -> Quaternion a # lerp :: Num a => a -> Quaternion a -> Quaternion a -> Quaternion a # liftU2 :: (a -> a -> a) -> Quaternion a -> Quaternion a -> Quaternion a # liftI2 :: (a -> b -> c) -> Quaternion a -> Quaternion b -> Quaternion c # | |
| Additive V0 | |
| Additive V1 | |
| Additive V2 | |
| Additive V3 | |
| Additive V4 | |
| Additive Vector | |
Defined in Linear.Vector | |
| Additive Maybe | |
| Additive [] | |
| Ord k => Additive (Map k) | |
| Additive f => Additive (Point f) | |
Defined in Linear.Affine Methods (^+^) :: Num a => Point f a -> Point f a -> Point f a # (^-^) :: Num a => Point f a -> Point f a -> Point f a # lerp :: Num a => a -> Point f a -> Point f a -> Point f a # liftU2 :: (a -> a -> a) -> Point f a -> Point f a -> Point f a # liftI2 :: (a -> b -> c) -> Point f a -> Point f b -> Point f c # | |
| (Eq k, Hashable k) => Additive (HashMap k) | |
Defined in Linear.Vector Methods zero :: Num a => HashMap k a # (^+^) :: Num a => HashMap k a -> HashMap k a -> HashMap k a # (^-^) :: Num a => HashMap k a -> HashMap k a -> HashMap k a # lerp :: Num a => a -> HashMap k a -> HashMap k a -> HashMap k a # liftU2 :: (a -> a -> a) -> HashMap k a -> HashMap k a -> HashMap k a # liftI2 :: (a -> b -> c) -> HashMap k a -> HashMap k b -> HashMap k c # | |
| Dim n => Additive (V n) | |
| (Additive f, Additive g) => Additive (Product f g) | |
Defined in Linear.Vector Methods zero :: Num a => Product f g a # (^+^) :: Num a => Product f g a -> Product f g a -> Product f g a # (^-^) :: Num a => Product f g a -> Product f g a -> Product f g a # lerp :: Num a => a -> Product f g a -> Product f g a -> Product f g a # liftU2 :: (a -> a -> a) -> Product f g a -> Product f g a -> Product f g a # liftI2 :: (a -> b -> c) -> Product f g a -> Product f g b -> Product f g c # | |
| Additive ((->) b) | |
Defined in Linear.Vector | |
| (Additive f, Additive g) => Additive (Compose f g) | |
Defined in Linear.Vector Methods zero :: Num a => Compose f g a # (^+^) :: Num a => Compose f g a -> Compose f g a -> Compose f g a # (^-^) :: Num a => Compose f g a -> Compose f g a -> Compose f g a # lerp :: Num a => a -> Compose f g a -> Compose f g a -> Compose f g a # liftU2 :: (a -> a -> a) -> Compose f g a -> Compose f g a -> Compose f g a # liftI2 :: (a -> b -> c) -> Compose f g a -> Compose f g b -> Compose f g c # | |
class Complicated (t :: Type -> Type) where #
Instances
| Complicated Complex | |
Defined in Linear.Quaternion | |
| Complicated Quaternion | |
Defined in Linear.Quaternion | |
Instances
| MVector MVector All | |
Defined in Data.Vector.Unboxed.Base Methods basicLength :: MVector s All -> Int basicUnsafeSlice :: Int -> Int -> MVector s All -> MVector s All basicOverlaps :: MVector s All -> MVector s All -> Bool basicUnsafeNew :: Int -> ST s (MVector s All) basicInitialize :: MVector s All -> ST s () basicUnsafeReplicate :: Int -> All -> ST s (MVector s All) basicUnsafeRead :: MVector s All -> Int -> ST s All basicUnsafeWrite :: MVector s All -> Int -> All -> ST s () basicClear :: MVector s All -> ST s () basicSet :: MVector s All -> All -> ST s () basicUnsafeCopy :: MVector s All -> MVector s All -> ST s () basicUnsafeMove :: MVector s All -> MVector s All -> ST s () basicUnsafeGrow :: MVector s All -> Int -> ST s (MVector s All) | |
| MVector MVector Any | |
Defined in Data.Vector.Unboxed.Base Methods basicLength :: MVector s Any -> Int basicUnsafeSlice :: Int -> Int -> MVector s Any -> MVector s Any basicOverlaps :: MVector s Any -> MVector s Any -> Bool basicUnsafeNew :: Int -> ST s (MVector s Any) basicInitialize :: MVector s Any -> ST s () basicUnsafeReplicate :: Int -> Any -> ST s (MVector s Any) basicUnsafeRead :: MVector s Any -> Int -> ST s Any basicUnsafeWrite :: MVector s Any -> Int -> Any -> ST s () basicClear :: MVector s Any -> ST s () basicSet :: MVector s Any -> Any -> ST s () basicUnsafeCopy :: MVector s Any -> MVector s Any -> ST s () basicUnsafeMove :: MVector s Any -> MVector s Any -> ST s () basicUnsafeGrow :: MVector s Any -> Int -> ST s (MVector s Any) | |
| MVector MVector Int16 | |
Defined in Data.Vector.Unboxed.Base Methods basicLength :: MVector s Int16 -> Int basicUnsafeSlice :: Int -> Int -> MVector s Int16 -> MVector s Int16 basicOverlaps :: MVector s Int16 -> MVector s Int16 -> Bool basicUnsafeNew :: Int -> ST s (MVector s Int16) basicInitialize :: MVector s Int16 -> ST s () basicUnsafeReplicate :: Int -> Int16 -> ST s (MVector s Int16) basicUnsafeRead :: MVector s Int16 -> Int -> ST s Int16 basicUnsafeWrite :: MVector s Int16 -> Int -> Int16 -> ST s () basicClear :: MVector s Int16 -> ST s () basicSet :: MVector s Int16 -> Int16 -> ST s () basicUnsafeCopy :: MVector s Int16 -> MVector s Int16 -> ST s () basicUnsafeMove :: MVector s Int16 -> MVector s Int16 -> ST s () basicUnsafeGrow :: MVector s Int16 -> Int -> ST s (MVector s Int16) | |
| MVector MVector Int32 | |
Defined in Data.Vector.Unboxed.Base Methods basicLength :: MVector s Int32 -> Int basicUnsafeSlice :: Int -> Int -> MVector s Int32 -> MVector s Int32 basicOverlaps :: MVector s Int32 -> MVector s Int32 -> Bool basicUnsafeNew :: Int -> ST s (MVector s Int32) basicInitialize :: MVector s Int32 -> ST s () basicUnsafeReplicate :: Int -> Int32 -> ST s (MVector s Int32) basicUnsafeRead :: MVector s Int32 -> Int -> ST s Int32 basicUnsafeWrite :: MVector s Int32 -> Int -> Int32 -> ST s () basicClear :: MVector s Int32 -> ST s () basicSet :: MVector s Int32 -> Int32 -> ST s () basicUnsafeCopy :: MVector s Int32 -> MVector s Int32 -> ST s () basicUnsafeMove :: MVector s Int32 -> MVector s Int32 -> ST s () basicUnsafeGrow :: MVector s Int32 -> Int -> ST s (MVector s Int32) | |
| MVector MVector Int64 | |
Defined in Data.Vector.Unboxed.Base Methods basicLength :: MVector s Int64 -> Int basicUnsafeSlice :: Int -> Int -> MVector s Int64 -> MVector s Int64 basicOverlaps :: MVector s Int64 -> MVector s Int64 -> Bool basicUnsafeNew :: Int -> ST s (MVector s Int64) basicInitialize :: MVector s Int64 -> ST s () basicUnsafeReplicate :: Int -> Int64 -> ST s (MVector s Int64) basicUnsafeRead :: MVector s Int64 -> Int -> ST s Int64 basicUnsafeWrite :: MVector s Int64 -> Int -> Int64 -> ST s () basicClear :: MVector s Int64 -> ST s () basicSet :: MVector s Int64 -> Int64 -> ST s () basicUnsafeCopy :: MVector s Int64 -> MVector s Int64 -> ST s () basicUnsafeMove :: MVector s Int64 -> MVector s Int64 -> ST s () basicUnsafeGrow :: MVector s Int64 -> Int -> ST s (MVector s Int64) | |
| MVector MVector Int8 | |
Defined in Data.Vector.Unboxed.Base Methods basicLength :: MVector s Int8 -> Int basicUnsafeSlice :: Int -> Int -> MVector s Int8 -> MVector s Int8 basicOverlaps :: MVector s Int8 -> MVector s Int8 -> Bool basicUnsafeNew :: Int -> ST s (MVector s Int8) basicInitialize :: MVector s Int8 -> ST s () basicUnsafeReplicate :: Int -> Int8 -> ST s (MVector s Int8) basicUnsafeRead :: MVector s Int8 -> Int -> ST s Int8 basicUnsafeWrite :: MVector s Int8 -> Int -> Int8 -> ST s () basicClear :: MVector s Int8 -> ST s () basicSet :: MVector s Int8 -> Int8 -> ST s () basicUnsafeCopy :: MVector s Int8 -> MVector s Int8 -> ST s () basicUnsafeMove :: MVector s Int8 -> MVector s Int8 -> ST s () basicUnsafeGrow :: MVector s Int8 -> Int -> ST s (MVector s Int8) | |
| MVector MVector Word16 | |
Defined in Data.Vector.Unboxed.Base Methods basicLength :: MVector s Word16 -> Int basicUnsafeSlice :: Int -> Int -> MVector s Word16 -> MVector s Word16 basicOverlaps :: MVector s Word16 -> MVector s Word16 -> Bool basicUnsafeNew :: Int -> ST s (MVector s Word16) basicInitialize :: MVector s Word16 -> ST s () basicUnsafeReplicate :: Int -> Word16 -> ST s (MVector s Word16) basicUnsafeRead :: MVector s Word16 -> Int -> ST s Word16 basicUnsafeWrite :: MVector s Word16 -> Int -> Word16 -> ST s () basicClear :: MVector s Word16 -> ST s () basicSet :: MVector s Word16 -> Word16 -> ST s () basicUnsafeCopy :: MVector s Word16 -> MVector s Word16 -> ST s () basicUnsafeMove :: MVector s Word16 -> MVector s Word16 -> ST s () basicUnsafeGrow :: MVector s Word16 -> Int -> ST s (MVector s Word16) | |
| MVector MVector Word32 | |
Defined in Data.Vector.Unboxed.Base Methods basicLength :: MVector s Word32 -> Int basicUnsafeSlice :: Int -> Int -> MVector s Word32 -> MVector s Word32 basicOverlaps :: MVector s Word32 -> MVector s Word32 -> Bool basicUnsafeNew :: Int -> ST s (MVector s Word32) basicInitialize :: MVector s Word32 -> ST s () basicUnsafeReplicate :: Int -> Word32 -> ST s (MVector s Word32) basicUnsafeRead :: MVector s Word32 -> Int -> ST s Word32 basicUnsafeWrite :: MVector s Word32 -> Int -> Word32 -> ST s () basicClear :: MVector s Word32 -> ST s () basicSet :: MVector s Word32 -> Word32 -> ST s () basicUnsafeCopy :: MVector s Word32 -> MVector s Word32 -> ST s () basicUnsafeMove :: MVector s Word32 -> MVector s Word32 -> ST s () basicUnsafeGrow :: MVector s Word32 -> Int -> ST s (MVector s Word32) | |
| MVector MVector Word64 | |
Defined in Data.Vector.Unboxed.Base Methods basicLength :: MVector s Word64 -> Int basicUnsafeSlice :: Int -> Int -> MVector s Word64 -> MVector s Word64 basicOverlaps :: MVector s Word64 -> MVector s Word64 -> Bool basicUnsafeNew :: Int -> ST s (MVector s Word64) basicInitialize :: MVector s Word64 -> ST s () basicUnsafeReplicate :: Int -> Word64 -> ST s (MVector s Word64) basicUnsafeRead :: MVector s Word64 -> Int -> ST s Word64 basicUnsafeWrite :: MVector s Word64 -> Int -> Word64 -> ST s () basicClear :: MVector s Word64 -> ST s () basicSet :: MVector s Word64 -> Word64 -> ST s () basicUnsafeCopy :: MVector s Word64 -> MVector s Word64 -> ST s () basicUnsafeMove :: MVector s Word64 -> MVector s Word64 -> ST s () basicUnsafeGrow :: MVector s Word64 -> Int -> ST s (MVector s Word64) | |
| MVector MVector Word8 | |
Defined in Data.Vector.Unboxed.Base Methods basicLength :: MVector s Word8 -> Int basicUnsafeSlice :: Int -> Int -> MVector s Word8 -> MVector s Word8 basicOverlaps :: MVector s Word8 -> MVector s Word8 -> Bool basicUnsafeNew :: Int -> ST s (MVector s Word8) basicInitialize :: MVector s Word8 -> ST s () basicUnsafeReplicate :: Int -> Word8 -> ST s (MVector s Word8) basicUnsafeRead :: MVector s Word8 -> Int -> ST s Word8 basicUnsafeWrite :: MVector s Word8 -> Int -> Word8 -> ST s () basicClear :: MVector s Word8 -> ST s () basicSet :: MVector s Word8 -> Word8 -> ST s () basicUnsafeCopy :: MVector s Word8 -> MVector s Word8 -> ST s () basicUnsafeMove :: MVector s Word8 -> MVector s Word8 -> ST s () basicUnsafeGrow :: MVector s Word8 -> Int -> ST s (MVector s Word8) | |
| MVector MVector () | |
Defined in Data.Vector.Unboxed.Base Methods basicLength :: MVector s () -> Int basicUnsafeSlice :: Int -> Int -> MVector s () -> MVector s () basicOverlaps :: MVector s () -> MVector s () -> Bool basicUnsafeNew :: Int -> ST s (MVector s ()) basicInitialize :: MVector s () -> ST s () basicUnsafeReplicate :: Int -> () -> ST s (MVector s ()) basicUnsafeRead :: MVector s () -> Int -> ST s () basicUnsafeWrite :: MVector s () -> Int -> () -> ST s () basicClear :: MVector s () -> ST s () basicSet :: MVector s () -> () -> ST s () basicUnsafeCopy :: MVector s () -> MVector s () -> ST s () basicUnsafeMove :: MVector s () -> MVector s () -> ST s () basicUnsafeGrow :: MVector s () -> Int -> ST s (MVector s ()) | |
| MVector MVector Bool | |
Defined in Data.Vector.Unboxed.Base Methods basicLength :: MVector s Bool -> Int basicUnsafeSlice :: Int -> Int -> MVector s Bool -> MVector s Bool basicOverlaps :: MVector s Bool -> MVector s Bool -> Bool basicUnsafeNew :: Int -> ST s (MVector s Bool) basicInitialize :: MVector s Bool -> ST s () basicUnsafeReplicate :: Int -> Bool -> ST s (MVector s Bool) basicUnsafeRead :: MVector s Bool -> Int -> ST s Bool basicUnsafeWrite :: MVector s Bool -> Int -> Bool -> ST s () basicClear :: MVector s Bool -> ST s () basicSet :: MVector s Bool -> Bool -> ST s () basicUnsafeCopy :: MVector s Bool -> MVector s Bool -> ST s () basicUnsafeMove :: MVector s Bool -> MVector s Bool -> ST s () basicUnsafeGrow :: MVector s Bool -> Int -> ST s (MVector s Bool) | |
| MVector MVector Char | |
Defined in Data.Vector.Unboxed.Base Methods basicLength :: MVector s Char -> Int basicUnsafeSlice :: Int -> Int -> MVector s Char -> MVector s Char basicOverlaps :: MVector s Char -> MVector s Char -> Bool basicUnsafeNew :: Int -> ST s (MVector s Char) basicInitialize :: MVector s Char -> ST s () basicUnsafeReplicate :: Int -> Char -> ST s (MVector s Char) basicUnsafeRead :: MVector s Char -> Int -> ST s Char basicUnsafeWrite :: MVector s Char -> Int -> Char -> ST s () basicClear :: MVector s Char -> ST s () basicSet :: MVector s Char -> Char -> ST s () basicUnsafeCopy :: MVector s Char -> MVector s Char -> ST s () basicUnsafeMove :: MVector s Char -> MVector s Char -> ST s () basicUnsafeGrow :: MVector s Char -> Int -> ST s (MVector s Char) | |
| MVector MVector Double | |
Defined in Data.Vector.Unboxed.Base Methods basicLength :: MVector s Double -> Int basicUnsafeSlice :: Int -> Int -> MVector s Double -> MVector s Double basicOverlaps :: MVector s Double -> MVector s Double -> Bool basicUnsafeNew :: Int -> ST s (MVector s Double) basicInitialize :: MVector s Double -> ST s () basicUnsafeReplicate :: Int -> Double -> ST s (MVector s Double) basicUnsafeRead :: MVector s Double -> Int -> ST s Double basicUnsafeWrite :: MVector s Double -> Int -> Double -> ST s () basicClear :: MVector s Double -> ST s () basicSet :: MVector s Double -> Double -> ST s () basicUnsafeCopy :: MVector s Double -> MVector s Double -> ST s () basicUnsafeMove :: MVector s Double -> MVector s Double -> ST s () basicUnsafeGrow :: MVector s Double -> Int -> ST s (MVector s Double) | |
| MVector MVector Float | |
Defined in Data.Vector.Unboxed.Base Methods basicLength :: MVector s Float -> Int basicUnsafeSlice :: Int -> Int -> MVector s Float -> MVector s Float basicOverlaps :: MVector s Float -> MVector s Float -> Bool basicUnsafeNew :: Int -> ST s (MVector s Float) basicInitialize :: MVector s Float -> ST s () basicUnsafeReplicate :: Int -> Float -> ST s (MVector s Float) basicUnsafeRead :: MVector s Float -> Int -> ST s Float basicUnsafeWrite :: MVector s Float -> Int -> Float -> ST s () basicClear :: MVector s Float -> ST s () basicSet :: MVector s Float -> Float -> ST s () basicUnsafeCopy :: MVector s Float -> MVector s Float -> ST s () basicUnsafeMove :: MVector s Float -> MVector s Float -> ST s () basicUnsafeGrow :: MVector s Float -> Int -> ST s (MVector s Float) | |
| MVector MVector Int | |
Defined in Data.Vector.Unboxed.Base Methods basicLength :: MVector s Int -> Int basicUnsafeSlice :: Int -> Int -> MVector s Int -> MVector s Int basicOverlaps :: MVector s Int -> MVector s Int -> Bool basicUnsafeNew :: Int -> ST s (MVector s Int) basicInitialize :: MVector s Int -> ST s () basicUnsafeReplicate :: Int -> Int -> ST s (MVector s Int) basicUnsafeRead :: MVector s Int -> Int -> ST s Int basicUnsafeWrite :: MVector s Int -> Int -> Int -> ST s () basicClear :: MVector s Int -> ST s () basicSet :: MVector s Int -> Int -> ST s () basicUnsafeCopy :: MVector s Int -> MVector s Int -> ST s () basicUnsafeMove :: MVector s Int -> MVector s Int -> ST s () basicUnsafeGrow :: MVector s Int -> Int -> ST s (MVector s Int) | |
| MVector MVector Word | |
Defined in Data.Vector.Unboxed.Base Methods basicLength :: MVector s Word -> Int basicUnsafeSlice :: Int -> Int -> MVector s Word -> MVector s Word basicOverlaps :: MVector s Word -> MVector s Word -> Bool basicUnsafeNew :: Int -> ST s (MVector s Word) basicInitialize :: MVector s Word -> ST s () basicUnsafeReplicate :: Int -> Word -> ST s (MVector s Word) basicUnsafeRead :: MVector s Word -> Int -> ST s Word basicUnsafeWrite :: MVector s Word -> Int -> Word -> ST s () basicClear :: MVector s Word -> ST s () basicSet :: MVector s Word -> Word -> ST s () basicUnsafeCopy :: MVector s Word -> MVector s Word -> ST s () basicUnsafeMove :: MVector s Word -> MVector s Word -> ST s () basicUnsafeGrow :: MVector s Word -> Int -> ST s (MVector s Word) | |
| Unbox a => MVector MVector (Complex a) | |
Defined in Data.Vector.Unboxed.Base Methods basicLength :: MVector s (Complex a) -> Int basicUnsafeSlice :: Int -> Int -> MVector s (Complex a) -> MVector s (Complex a) basicOverlaps :: MVector s (Complex a) -> MVector s (Complex a) -> Bool basicUnsafeNew :: Int -> ST s (MVector s (Complex a)) basicInitialize :: MVector s (Complex a) -> ST s () basicUnsafeReplicate :: Int -> Complex a -> ST s (MVector s (Complex a)) basicUnsafeRead :: MVector s (Complex a) -> Int -> ST s (Complex a) basicUnsafeWrite :: MVector s (Complex a) -> Int -> Complex a -> ST s () basicClear :: MVector s (Complex a) -> ST s () basicSet :: MVector s (Complex a) -> Complex a -> ST s () basicUnsafeCopy :: MVector s (Complex a) -> MVector s (Complex a) -> ST s () basicUnsafeMove :: MVector s (Complex a) -> MVector s (Complex a) -> ST s () basicUnsafeGrow :: MVector s (Complex a) -> Int -> ST s (MVector s (Complex a)) | |
| Unbox a => MVector MVector (Identity a) | |
Defined in Data.Vector.Unboxed.Base Methods basicLength :: MVector s (Identity a) -> Int basicUnsafeSlice :: Int -> Int -> MVector s (Identity a) -> MVector s (Identity a) basicOverlaps :: MVector s (Identity a) -> MVector s (Identity a) -> Bool basicUnsafeNew :: Int -> ST s (MVector s (Identity a)) basicInitialize :: MVector s (Identity a) -> ST s () basicUnsafeReplicate :: Int -> Identity a -> ST s (MVector s (Identity a)) basicUnsafeRead :: MVector s (Identity a) -> Int -> ST s (Identity a) basicUnsafeWrite :: MVector s (Identity a) -> Int -> Identity a -> ST s () basicClear :: MVector s (Identity a) -> ST s () basicSet :: MVector s (Identity a) -> Identity a -> ST s () basicUnsafeCopy :: MVector s (Identity a) -> MVector s (Identity a) -> ST s () basicUnsafeMove :: MVector s (Identity a) -> MVector s (Identity a) -> ST s () basicUnsafeGrow :: MVector s (Identity a) -> Int -> ST s (MVector s (Identity a)) | |
| Unbox a => MVector MVector (Down a) | |
Defined in Data.Vector.Unboxed.Base Methods basicLength :: MVector s (Down a) -> Int basicUnsafeSlice :: Int -> Int -> MVector s (Down a) -> MVector s (Down a) basicOverlaps :: MVector s (Down a) -> MVector s (Down a) -> Bool basicUnsafeNew :: Int -> ST s (MVector s (Down a)) basicInitialize :: MVector s (Down a) -> ST s () basicUnsafeReplicate :: Int -> Down a -> ST s (MVector s (Down a)) basicUnsafeRead :: MVector s (Down a) -> Int -> ST s (Down a) basicUnsafeWrite :: MVector s (Down a) -> Int -> Down a -> ST s () basicClear :: MVector s (Down a) -> ST s () basicSet :: MVector s (Down a) -> Down a -> ST s () basicUnsafeCopy :: MVector s (Down a) -> MVector s (Down a) -> ST s () basicUnsafeMove :: MVector s (Down a) -> MVector s (Down a) -> ST s () basicUnsafeGrow :: MVector s (Down a) -> Int -> ST s (MVector s (Down a)) | |
| Unbox a => MVector MVector (First a) | |
Defined in Data.Vector.Unboxed.Base Methods basicLength :: MVector s (First a) -> Int basicUnsafeSlice :: Int -> Int -> MVector s (First a) -> MVector s (First a) basicOverlaps :: MVector s (First a) -> MVector s (First a) -> Bool basicUnsafeNew :: Int -> ST s (MVector s (First a)) basicInitialize :: MVector s (First a) -> ST s () basicUnsafeReplicate :: Int -> First a -> ST s (MVector s (First a)) basicUnsafeRead :: MVector s (First a) -> Int -> ST s (First a) basicUnsafeWrite :: MVector s (First a) -> Int -> First a -> ST s () basicClear :: MVector s (First a) -> ST s () basicSet :: MVector s (First a) -> First a -> ST s () basicUnsafeCopy :: MVector s (First a) -> MVector s (First a) -> ST s () basicUnsafeMove :: MVector s (First a) -> MVector s (First a) -> ST s () basicUnsafeGrow :: MVector s (First a) -> Int -> ST s (MVector s (First a)) | |
| Unbox a => MVector MVector (Last a) | |
Defined in Data.Vector.Unboxed.Base Methods basicLength :: MVector s (Last a) -> Int basicUnsafeSlice :: Int -> Int -> MVector s (Last a) -> MVector s (Last a) basicOverlaps :: MVector s (Last a) -> MVector s (Last a) -> Bool basicUnsafeNew :: Int -> ST s (MVector s (Last a)) basicInitialize :: MVector s (Last a) -> ST s () basicUnsafeReplicate :: Int -> Last a -> ST s (MVector s (Last a)) basicUnsafeRead :: MVector s (Last a) -> Int -> ST s (Last a) basicUnsafeWrite :: MVector s (Last a) -> Int -> Last a -> ST s () basicClear :: MVector s (Last a) -> ST s () basicSet :: MVector s (Last a) -> Last a -> ST s () basicUnsafeCopy :: MVector s (Last a) -> MVector s (Last a) -> ST s () basicUnsafeMove :: MVector s (Last a) -> MVector s (Last a) -> ST s () basicUnsafeGrow :: MVector s (Last a) -> Int -> ST s (MVector s (Last a)) | |
| Unbox a => MVector MVector (Max a) | |
Defined in Data.Vector.Unboxed.Base Methods basicLength :: MVector s (Max a) -> Int basicUnsafeSlice :: Int -> Int -> MVector s (Max a) -> MVector s (Max a) basicOverlaps :: MVector s (Max a) -> MVector s (Max a) -> Bool basicUnsafeNew :: Int -> ST s (MVector s (Max a)) basicInitialize :: MVector s (Max a) -> ST s () basicUnsafeReplicate :: Int -> Max a -> ST s (MVector s (Max a)) basicUnsafeRead :: MVector s (Max a) -> Int -> ST s (Max a) basicUnsafeWrite :: MVector s (Max a) -> Int -> Max a -> ST s () basicClear :: MVector s (Max a) -> ST s () basicSet :: MVector s (Max a) -> Max a -> ST s () basicUnsafeCopy :: MVector s (Max a) -> MVector s (Max a) -> ST s () basicUnsafeMove :: MVector s (Max a) -> MVector s (Max a) -> ST s () basicUnsafeGrow :: MVector s (Max a) -> Int -> ST s (MVector s (Max a)) | |
| Unbox a => MVector MVector (Min a) | |
Defined in Data.Vector.Unboxed.Base Methods basicLength :: MVector s (Min a) -> Int basicUnsafeSlice :: Int -> Int -> MVector s (Min a) -> MVector s (Min a) basicOverlaps :: MVector s (Min a) -> MVector s (Min a) -> Bool basicUnsafeNew :: Int -> ST s (MVector s (Min a)) basicInitialize :: MVector s (Min a) -> ST s () basicUnsafeReplicate :: Int -> Min a -> ST s (MVector s (Min a)) basicUnsafeRead :: MVector s (Min a) -> Int -> ST s (Min a) basicUnsafeWrite :: MVector s (Min a) -> Int -> Min a -> ST s () basicClear :: MVector s (Min a) -> ST s () basicSet :: MVector s (Min a) -> Min a -> ST s () basicUnsafeCopy :: MVector s (Min a) -> MVector s (Min a) -> ST s () basicUnsafeMove :: MVector s (Min a) -> MVector s (Min a) -> ST s () basicUnsafeGrow :: MVector s (Min a) -> Int -> ST s (MVector s (Min a)) | |
| Unbox a => MVector MVector (WrappedMonoid a) | |
Defined in Data.Vector.Unboxed.Base Methods basicLength :: MVector s (WrappedMonoid a) -> Int basicUnsafeSlice :: Int -> Int -> MVector s (WrappedMonoid a) -> MVector s (WrappedMonoid a) basicOverlaps :: MVector s (WrappedMonoid a) -> MVector s (WrappedMonoid a) -> Bool basicUnsafeNew :: Int -> ST s (MVector s (WrappedMonoid a)) basicInitialize :: MVector s (WrappedMonoid a) -> ST s () basicUnsafeReplicate :: Int -> WrappedMonoid a -> ST s (MVector s (WrappedMonoid a)) basicUnsafeRead :: MVector s (WrappedMonoid a) -> Int -> ST s (WrappedMonoid a) basicUnsafeWrite :: MVector s (WrappedMonoid a) -> Int -> WrappedMonoid a -> ST s () basicClear :: MVector s (WrappedMonoid a) -> ST s () basicSet :: MVector s (WrappedMonoid a) -> WrappedMonoid a -> ST s () basicUnsafeCopy :: MVector s (WrappedMonoid a) -> MVector s (WrappedMonoid a) -> ST s () basicUnsafeMove :: MVector s (WrappedMonoid a) -> MVector s (WrappedMonoid a) -> ST s () basicUnsafeGrow :: MVector s (WrappedMonoid a) -> Int -> ST s (MVector s (WrappedMonoid a)) | |
| Unbox a => MVector MVector (Dual a) | |
Defined in Data.Vector.Unboxed.Base Methods basicLength :: MVector s (Dual a) -> Int basicUnsafeSlice :: Int -> Int -> MVector s (Dual a) -> MVector s (Dual a) basicOverlaps :: MVector s (Dual a) -> MVector s (Dual a) -> Bool basicUnsafeNew :: Int -> ST s (MVector s (Dual a)) basicInitialize :: MVector s (Dual a) -> ST s () basicUnsafeReplicate :: Int -> Dual a -> ST s (MVector s (Dual a)) basicUnsafeRead :: MVector s (Dual a) -> Int -> ST s (Dual a) basicUnsafeWrite :: MVector s (Dual a) -> Int -> Dual a -> ST s () basicClear :: MVector s (Dual a) -> ST s () basicSet :: MVector s (Dual a) -> Dual a -> ST s () basicUnsafeCopy :: MVector s (Dual a) -> MVector s (Dual a) -> ST s () basicUnsafeMove :: MVector s (Dual a) -> MVector s (Dual a) -> ST s () basicUnsafeGrow :: MVector s (Dual a) -> Int -> ST s (MVector s (Dual a)) | |
| Unbox a => MVector MVector (Product a) | |
Defined in Data.Vector.Unboxed.Base Methods basicLength :: MVector s (Product a) -> Int basicUnsafeSlice :: Int -> Int -> MVector s (Product a) -> MVector s (Product a) basicOverlaps :: MVector s (Product a) -> MVector s (Product a) -> Bool basicUnsafeNew :: Int -> ST s (MVector s (Product a)) basicInitialize :: MVector s (Product a) -> ST s () basicUnsafeReplicate :: Int -> Product a -> ST s (MVector s (Product a)) basicUnsafeRead :: MVector s (Product a) -> Int -> ST s (Product a) basicUnsafeWrite :: MVector s (Product a) -> Int -> Product a -> ST s () basicClear :: MVector s (Product a) -> ST s () basicSet :: MVector s (Product a) -> Product a -> ST s () basicUnsafeCopy :: MVector s (Product a) -> MVector s (Product a) -> ST s () basicUnsafeMove :: MVector s (Product a) -> MVector s (Product a) -> ST s () basicUnsafeGrow :: MVector s (Product a) -> Int -> ST s (MVector s (Product a)) | |
| Unbox a => MVector MVector (Sum a) | |
Defined in Data.Vector.Unboxed.Base Methods basicLength :: MVector s (Sum a) -> Int basicUnsafeSlice :: Int -> Int -> MVector s (Sum a) -> MVector s (Sum a) basicOverlaps :: MVector s (Sum a) -> MVector s (Sum a) -> Bool basicUnsafeNew :: Int -> ST s (MVector s (Sum a)) basicInitialize :: MVector s (Sum a) -> ST s () basicUnsafeReplicate :: Int -> Sum a -> ST s (MVector s (Sum a)) basicUnsafeRead :: MVector s (Sum a) -> Int -> ST s (Sum a) basicUnsafeWrite :: MVector s (Sum a) -> Int -> Sum a -> ST s () basicClear :: MVector s (Sum a) -> ST s () basicSet :: MVector s (Sum a) -> Sum a -> ST s () basicUnsafeCopy :: MVector s (Sum a) -> MVector s (Sum a) -> ST s () basicUnsafeMove :: MVector s (Sum a) -> MVector s (Sum a) -> ST s () basicUnsafeGrow :: MVector s (Sum a) -> Int -> ST s (MVector s (Sum a)) | |
| Unbox a => MVector MVector (Plucker a) | |
Defined in Linear.Plucker Methods basicLength :: MVector s (Plucker a) -> Int basicUnsafeSlice :: Int -> Int -> MVector s (Plucker a) -> MVector s (Plucker a) basicOverlaps :: MVector s (Plucker a) -> MVector s (Plucker a) -> Bool basicUnsafeNew :: Int -> ST s (MVector s (Plucker a)) basicInitialize :: MVector s (Plucker a) -> ST s () basicUnsafeReplicate :: Int -> Plucker a -> ST s (MVector s (Plucker a)) basicUnsafeRead :: MVector s (Plucker a) -> Int -> ST s (Plucker a) basicUnsafeWrite :: MVector s (Plucker a) -> Int -> Plucker a -> ST s () basicClear :: MVector s (Plucker a) -> ST s () basicSet :: MVector s (Plucker a) -> Plucker a -> ST s () basicUnsafeCopy :: MVector s (Plucker a) -> MVector s (Plucker a) -> ST s () basicUnsafeMove :: MVector s (Plucker a) -> MVector s (Plucker a) -> ST s () basicUnsafeGrow :: MVector s (Plucker a) -> Int -> ST s (MVector s (Plucker a)) | |
| Unbox a => MVector MVector (Quaternion a) | |
Defined in Linear.Quaternion Methods basicLength :: MVector s (Quaternion a) -> Int basicUnsafeSlice :: Int -> Int -> MVector s (Quaternion a) -> MVector s (Quaternion a) basicOverlaps :: MVector s (Quaternion a) -> MVector s (Quaternion a) -> Bool basicUnsafeNew :: Int -> ST s (MVector s (Quaternion a)) basicInitialize :: MVector s (Quaternion a) -> ST s () basicUnsafeReplicate :: Int -> Quaternion a -> ST s (MVector s (Quaternion a)) basicUnsafeRead :: MVector s (Quaternion a) -> Int -> ST s (Quaternion a) basicUnsafeWrite :: MVector s (Quaternion a) -> Int -> Quaternion a -> ST s () basicClear :: MVector s (Quaternion a) -> ST s () basicSet :: MVector s (Quaternion a) -> Quaternion a -> ST s () basicUnsafeCopy :: MVector s (Quaternion a) -> MVector s (Quaternion a) -> ST s () basicUnsafeMove :: MVector s (Quaternion a) -> MVector s (Quaternion a) -> ST s () basicUnsafeGrow :: MVector s (Quaternion a) -> Int -> ST s (MVector s (Quaternion a)) | |
| MVector MVector (V0 a) | |
Defined in Linear.V0 Methods basicLength :: MVector s (V0 a) -> Int basicUnsafeSlice :: Int -> Int -> MVector s (V0 a) -> MVector s (V0 a) basicOverlaps :: MVector s (V0 a) -> MVector s (V0 a) -> Bool basicUnsafeNew :: Int -> ST s (MVector s (V0 a)) basicInitialize :: MVector s (V0 a) -> ST s () basicUnsafeReplicate :: Int -> V0 a -> ST s (MVector s (V0 a)) basicUnsafeRead :: MVector s (V0 a) -> Int -> ST s (V0 a) basicUnsafeWrite :: MVector s (V0 a) -> Int -> V0 a -> ST s () basicClear :: MVector s (V0 a) -> ST s () basicSet :: MVector s (V0 a) -> V0 a -> ST s () basicUnsafeCopy :: MVector s (V0 a) -> MVector s (V0 a) -> ST s () basicUnsafeMove :: MVector s (V0 a) -> MVector s (V0 a) -> ST s () basicUnsafeGrow :: MVector s (V0 a) -> Int -> ST s (MVector s (V0 a)) | |
| Unbox a => MVector MVector (V1 a) | |
Defined in Linear.V1 Methods basicLength :: MVector s (V1 a) -> Int basicUnsafeSlice :: Int -> Int -> MVector s (V1 a) -> MVector s (V1 a) basicOverlaps :: MVector s (V1 a) -> MVector s (V1 a) -> Bool basicUnsafeNew :: Int -> ST s (MVector s (V1 a)) basicInitialize :: MVector s (V1 a) -> ST s () basicUnsafeReplicate :: Int -> V1 a -> ST s (MVector s (V1 a)) basicUnsafeRead :: MVector s (V1 a) -> Int -> ST s (V1 a) basicUnsafeWrite :: MVector s (V1 a) -> Int -> V1 a -> ST s () basicClear :: MVector s (V1 a) -> ST s () basicSet :: MVector s (V1 a) -> V1 a -> ST s () basicUnsafeCopy :: MVector s (V1 a) -> MVector s (V1 a) -> ST s () basicUnsafeMove :: MVector s (V1 a) -> MVector s (V1 a) -> ST s () basicUnsafeGrow :: MVector s (V1 a) -> Int -> ST s (MVector s (V1 a)) | |
| Unbox a => MVector MVector (V2 a) | |
Defined in Linear.V2 Methods basicLength :: MVector s (V2 a) -> Int basicUnsafeSlice :: Int -> Int -> MVector s (V2 a) -> MVector s (V2 a) basicOverlaps :: MVector s (V2 a) -> MVector s (V2 a) -> Bool basicUnsafeNew :: Int -> ST s (MVector s (V2 a)) basicInitialize :: MVector s (V2 a) -> ST s () basicUnsafeReplicate :: Int -> V2 a -> ST s (MVector s (V2 a)) basicUnsafeRead :: MVector s (V2 a) -> Int -> ST s (V2 a) basicUnsafeWrite :: MVector s (V2 a) -> Int -> V2 a -> ST s () basicClear :: MVector s (V2 a) -> ST s () basicSet :: MVector s (V2 a) -> V2 a -> ST s () basicUnsafeCopy :: MVector s (V2 a) -> MVector s (V2 a) -> ST s () basicUnsafeMove :: MVector s (V2 a) -> MVector s (V2 a) -> ST s () basicUnsafeGrow :: MVector s (V2 a) -> Int -> ST s (MVector s (V2 a)) | |
| Unbox a => MVector MVector (V3 a) | |
Defined in Linear.V3 Methods basicLength :: MVector s (V3 a) -> Int basicUnsafeSlice :: Int -> Int -> MVector s (V3 a) -> MVector s (V3 a) basicOverlaps :: MVector s (V3 a) -> MVector s (V3 a) -> Bool basicUnsafeNew :: Int -> ST s (MVector s (V3 a)) basicInitialize :: MVector s (V3 a) -> ST s () basicUnsafeReplicate :: Int -> V3 a -> ST s (MVector s (V3 a)) basicUnsafeRead :: MVector s (V3 a) -> Int -> ST s (V3 a) basicUnsafeWrite :: MVector s (V3 a) -> Int -> V3 a -> ST s () basicClear :: MVector s (V3 a) -> ST s () basicSet :: MVector s (V3 a) -> V3 a -> ST s () basicUnsafeCopy :: MVector s (V3 a) -> MVector s (V3 a) -> ST s () basicUnsafeMove :: MVector s (V3 a) -> MVector s (V3 a) -> ST s () basicUnsafeGrow :: MVector s (V3 a) -> Int -> ST s (MVector s (V3 a)) | |
| Unbox a => MVector MVector (V4 a) | |
Defined in Linear.V4 Methods basicLength :: MVector s (V4 a) -> Int basicUnsafeSlice :: Int -> Int -> MVector s (V4 a) -> MVector s (V4 a) basicOverlaps :: MVector s (V4 a) -> MVector s (V4 a) -> Bool basicUnsafeNew :: Int -> ST s (MVector s (V4 a)) basicInitialize :: MVector s (V4 a) -> ST s () basicUnsafeReplicate :: Int -> V4 a -> ST s (MVector s (V4 a)) basicUnsafeRead :: MVector s (V4 a) -> Int -> ST s (V4 a) basicUnsafeWrite :: MVector s (V4 a) -> Int -> V4 a -> ST s () basicClear :: MVector s (V4 a) -> ST s () basicSet :: MVector s (V4 a) -> V4 a -> ST s () basicUnsafeCopy :: MVector s (V4 a) -> MVector s (V4 a) -> ST s () basicUnsafeMove :: MVector s (V4 a) -> MVector s (V4 a) -> ST s () basicUnsafeGrow :: MVector s (V4 a) -> Int -> ST s (MVector s (V4 a)) | |
| Unbox a => MVector MVector (V2 a) | |
Defined in SDL.Internal.Vect Methods basicLength :: MVector s (V2 a) -> Int basicUnsafeSlice :: Int -> Int -> MVector s (V2 a) -> MVector s (V2 a) basicOverlaps :: MVector s (V2 a) -> MVector s (V2 a) -> Bool basicUnsafeNew :: Int -> ST s (MVector s (V2 a)) basicInitialize :: MVector s (V2 a) -> ST s () basicUnsafeReplicate :: Int -> V2 a -> ST s (MVector s (V2 a)) basicUnsafeRead :: MVector s (V2 a) -> Int -> ST s (V2 a) basicUnsafeWrite :: MVector s (V2 a) -> Int -> V2 a -> ST s () basicClear :: MVector s (V2 a) -> ST s () basicSet :: MVector s (V2 a) -> V2 a -> ST s () basicUnsafeCopy :: MVector s (V2 a) -> MVector s (V2 a) -> ST s () basicUnsafeMove :: MVector s (V2 a) -> MVector s (V2 a) -> ST s () basicUnsafeGrow :: MVector s (V2 a) -> Int -> ST s (MVector s (V2 a)) | |
| Unbox a => MVector MVector (V3 a) | |
Defined in SDL.Internal.Vect Methods basicLength :: MVector s (V3 a) -> Int basicUnsafeSlice :: Int -> Int -> MVector s (V3 a) -> MVector s (V3 a) basicOverlaps :: MVector s (V3 a) -> MVector s (V3 a) -> Bool basicUnsafeNew :: Int -> ST s (MVector s (V3 a)) basicInitialize :: MVector s (V3 a) -> ST s () basicUnsafeReplicate :: Int -> V3 a -> ST s (MVector s (V3 a)) basicUnsafeRead :: MVector s (V3 a) -> Int -> ST s (V3 a) basicUnsafeWrite :: MVector s (V3 a) -> Int -> V3 a -> ST s () basicClear :: MVector s (V3 a) -> ST s () basicSet :: MVector s (V3 a) -> V3 a -> ST s () basicUnsafeCopy :: MVector s (V3 a) -> MVector s (V3 a) -> ST s () basicUnsafeMove :: MVector s (V3 a) -> MVector s (V3 a) -> ST s () basicUnsafeGrow :: MVector s (V3 a) -> Int -> ST s (MVector s (V3 a)) | |
| Unbox a => MVector MVector (V4 a) | |
Defined in SDL.Internal.Vect Methods basicLength :: MVector s (V4 a) -> Int basicUnsafeSlice :: Int -> Int -> MVector s (V4 a) -> MVector s (V4 a) basicOverlaps :: MVector s (V4 a) -> MVector s (V4 a) -> Bool basicUnsafeNew :: Int -> ST s (MVector s (V4 a)) basicInitialize :: MVector s (V4 a) -> ST s () basicUnsafeReplicate :: Int -> V4 a -> ST s (MVector s (V4 a)) basicUnsafeRead :: MVector s (V4 a) -> Int -> ST s (V4 a) basicUnsafeWrite :: MVector s (V4 a) -> Int -> V4 a -> ST s () basicClear :: MVector s (V4 a) -> ST s () basicSet :: MVector s (V4 a) -> V4 a -> ST s () basicUnsafeCopy :: MVector s (V4 a) -> MVector s (V4 a) -> ST s () basicUnsafeMove :: MVector s (V4 a) -> MVector s (V4 a) -> ST s () basicUnsafeGrow :: MVector s (V4 a) -> Int -> ST s (MVector s (V4 a)) | |
| Unbox a => MVector MVector (Rectangle a) | |
Defined in SDL.Video.Renderer Methods basicLength :: MVector s (Rectangle a) -> Int basicUnsafeSlice :: Int -> Int -> MVector s (Rectangle a) -> MVector s (Rectangle a) basicOverlaps :: MVector s (Rectangle a) -> MVector s (Rectangle a) -> Bool basicUnsafeNew :: Int -> ST s (MVector s (Rectangle a)) basicInitialize :: MVector s (Rectangle a) -> ST s () basicUnsafeReplicate :: Int -> Rectangle a -> ST s (MVector s (Rectangle a)) basicUnsafeRead :: MVector s (Rectangle a) -> Int -> ST s (Rectangle a) basicUnsafeWrite :: MVector s (Rectangle a) -> Int -> Rectangle a -> ST s () basicClear :: MVector s (Rectangle a) -> ST s () basicSet :: MVector s (Rectangle a) -> Rectangle a -> ST s () basicUnsafeCopy :: MVector s (Rectangle a) -> MVector s (Rectangle a) -> ST s () basicUnsafeMove :: MVector s (Rectangle a) -> MVector s (Rectangle a) -> ST s () basicUnsafeGrow :: MVector s (Rectangle a) -> Int -> ST s (MVector s (Rectangle a)) | |
| Prim a => MVector MVector (UnboxViaPrim a) | |
Defined in Data.Vector.Unboxed.Base Methods basicLength :: MVector s (UnboxViaPrim a) -> Int basicUnsafeSlice :: Int -> Int -> MVector s (UnboxViaPrim a) -> MVector s (UnboxViaPrim a) basicOverlaps :: MVector s (UnboxViaPrim a) -> MVector s (UnboxViaPrim a) -> Bool basicUnsafeNew :: Int -> ST s (MVector s (UnboxViaPrim a)) basicInitialize :: MVector s (UnboxViaPrim a) -> ST s () basicUnsafeReplicate :: Int -> UnboxViaPrim a -> ST s (MVector s (UnboxViaPrim a)) basicUnsafeRead :: MVector s (UnboxViaPrim a) -> Int -> ST s (UnboxViaPrim a) basicUnsafeWrite :: MVector s (UnboxViaPrim a) -> Int -> UnboxViaPrim a -> ST s () basicClear :: MVector s (UnboxViaPrim a) -> ST s () basicSet :: MVector s (UnboxViaPrim a) -> UnboxViaPrim a -> ST s () basicUnsafeCopy :: MVector s (UnboxViaPrim a) -> MVector s (UnboxViaPrim a) -> ST s () basicUnsafeMove :: MVector s (UnboxViaPrim a) -> MVector s (UnboxViaPrim a) -> ST s () basicUnsafeGrow :: MVector s (UnboxViaPrim a) -> Int -> ST s (MVector s (UnboxViaPrim a)) | |
| (Unbox a, Unbox b) => MVector MVector (Arg a b) | |
Defined in Data.Vector.Unboxed.Base Methods basicLength :: MVector s (Arg a b) -> Int basicUnsafeSlice :: Int -> Int -> MVector s (Arg a b) -> MVector s (Arg a b) basicOverlaps :: MVector s (Arg a b) -> MVector s (Arg a b) -> Bool basicUnsafeNew :: Int -> ST s (MVector s (Arg a b)) basicInitialize :: MVector s (Arg a b) -> ST s () basicUnsafeReplicate :: Int -> Arg a b -> ST s (MVector s (Arg a b)) basicUnsafeRead :: MVector s (Arg a b) -> Int -> ST s (Arg a b) basicUnsafeWrite :: MVector s (Arg a b) -> Int -> Arg a b -> ST s () basicClear :: MVector s (Arg a b) -> ST s () basicSet :: MVector s (Arg a b) -> Arg a b -> ST s () basicUnsafeCopy :: MVector s (Arg a b) -> MVector s (Arg a b) -> ST s () basicUnsafeMove :: MVector s (Arg a b) -> MVector s (Arg a b) -> ST s () basicUnsafeGrow :: MVector s (Arg a b) -> Int -> ST s (MVector s (Arg a b)) | |
| Unbox (f a) => MVector MVector (Point f a) | |
Defined in Linear.Affine Methods basicLength :: MVector s (Point f a) -> Int basicUnsafeSlice :: Int -> Int -> MVector s (Point f a) -> MVector s (Point f a) basicOverlaps :: MVector s (Point f a) -> MVector s (Point f a) -> Bool basicUnsafeNew :: Int -> ST s (MVector s (Point f a)) basicInitialize :: MVector s (Point f a) -> ST s () basicUnsafeReplicate :: Int -> Point f a -> ST s (MVector s (Point f a)) basicUnsafeRead :: MVector s (Point f a) -> Int -> ST s (Point f a) basicUnsafeWrite :: MVector s (Point f a) -> Int -> Point f a -> ST s () basicClear :: MVector s (Point f a) -> ST s () basicSet :: MVector s (Point f a) -> Point f a -> ST s () basicUnsafeCopy :: MVector s (Point f a) -> MVector s (Point f a) -> ST s () basicUnsafeMove :: MVector s (Point f a) -> MVector s (Point f a) -> ST s () basicUnsafeGrow :: MVector s (Point f a) -> Int -> ST s (MVector s (Point f a)) | |
| Unbox (f a) => MVector MVector (Point f a) | |
Defined in SDL.Internal.Vect Methods basicLength :: MVector s (Point f a) -> Int basicUnsafeSlice :: Int -> Int -> MVector s (Point f a) -> MVector s (Point f a) basicOverlaps :: MVector s (Point f a) -> MVector s (Point f a) -> Bool basicUnsafeNew :: Int -> ST s (MVector s (Point f a)) basicInitialize :: MVector s (Point f a) -> ST s () basicUnsafeReplicate :: Int -> Point f a -> ST s (MVector s (Point f a)) basicUnsafeRead :: MVector s (Point f a) -> Int -> ST s (Point f a) basicUnsafeWrite :: MVector s (Point f a) -> Int -> Point f a -> ST s () basicClear :: MVector s (Point f a) -> ST s () basicSet :: MVector s (Point f a) -> Point f a -> ST s () basicUnsafeCopy :: MVector s (Point f a) -> MVector s (Point f a) -> ST s () basicUnsafeMove :: MVector s (Point f a) -> MVector s (Point f a) -> ST s () basicUnsafeGrow :: MVector s (Point f a) -> Int -> ST s (MVector s (Point f a)) | |
| (IsoUnbox a b, Unbox b) => MVector MVector (As a b) | |
Defined in Data.Vector.Unboxed.Base Methods basicLength :: MVector s (As a b) -> Int basicUnsafeSlice :: Int -> Int -> MVector s (As a b) -> MVector s (As a b) basicOverlaps :: MVector s (As a b) -> MVector s (As a b) -> Bool basicUnsafeNew :: Int -> ST s (MVector s (As a b)) basicInitialize :: MVector s (As a b) -> ST s () basicUnsafeReplicate :: Int -> As a b -> ST s (MVector s (As a b)) basicUnsafeRead :: MVector s (As a b) -> Int -> ST s (As a b) basicUnsafeWrite :: MVector s (As a b) -> Int -> As a b -> ST s () basicClear :: MVector s (As a b) -> ST s () basicSet :: MVector s (As a b) -> As a b -> ST s () basicUnsafeCopy :: MVector s (As a b) -> MVector s (As a b) -> ST s () basicUnsafeMove :: MVector s (As a b) -> MVector s (As a b) -> ST s () basicUnsafeGrow :: MVector s (As a b) -> Int -> ST s (MVector s (As a b)) | |
| (Unbox a, Unbox b) => MVector MVector (a, b) | |
Defined in Data.Vector.Unboxed.Base Methods basicLength :: MVector s (a, b) -> Int basicUnsafeSlice :: Int -> Int -> MVector s (a, b) -> MVector s (a, b) basicOverlaps :: MVector s (a, b) -> MVector s (a, b) -> Bool basicUnsafeNew :: Int -> ST s (MVector s (a, b)) basicInitialize :: MVector s (a, b) -> ST s () basicUnsafeReplicate :: Int -> (a, b) -> ST s (MVector s (a, b)) basicUnsafeRead :: MVector s (a, b) -> Int -> ST s (a, b) basicUnsafeWrite :: MVector s (a, b) -> Int -> (a, b) -> ST s () basicClear :: MVector s (a, b) -> ST s () basicSet :: MVector s (a, b) -> (a, b) -> ST s () basicUnsafeCopy :: MVector s (a, b) -> MVector s (a, b) -> ST s () basicUnsafeMove :: MVector s (a, b) -> MVector s (a, b) -> ST s () basicUnsafeGrow :: MVector s (a, b) -> Int -> ST s (MVector s (a, b)) | |
| Unbox a => MVector MVector (Const a b) | |
Defined in Data.Vector.Unboxed.Base Methods basicLength :: MVector s (Const a b) -> Int basicUnsafeSlice :: Int -> Int -> MVector s (Const a b) -> MVector s (Const a b) basicOverlaps :: MVector s (Const a b) -> MVector s (Const a b) -> Bool basicUnsafeNew :: Int -> ST s (MVector s (Const a b)) basicInitialize :: MVector s (Const a b) -> ST s () basicUnsafeReplicate :: Int -> Const a b -> ST s (MVector s (Const a b)) basicUnsafeRead :: MVector s (Const a b) -> Int -> ST s (Const a b) basicUnsafeWrite :: MVector s (Const a b) -> Int -> Const a b -> ST s () basicClear :: MVector s (Const a b) -> ST s () basicSet :: MVector s (Const a b) -> Const a b -> ST s () basicUnsafeCopy :: MVector s (Const a b) -> MVector s (Const a b) -> ST s () basicUnsafeMove :: MVector s (Const a b) -> MVector s (Const a b) -> ST s () basicUnsafeGrow :: MVector s (Const a b) -> Int -> ST s (MVector s (Const a b)) | |
| Unbox (f a) => MVector MVector (Alt f a) | |
Defined in Data.Vector.Unboxed.Base Methods basicLength :: MVector s (Alt f a) -> Int basicUnsafeSlice :: Int -> Int -> MVector s (Alt f a) -> MVector s (Alt f a) basicOverlaps :: MVector s (Alt f a) -> MVector s (Alt f a) -> Bool basicUnsafeNew :: Int -> ST s (MVector s (Alt f a)) basicInitialize :: MVector s (Alt f a) -> ST s () basicUnsafeReplicate :: Int -> Alt f a -> ST s (MVector s (Alt f a)) basicUnsafeRead :: MVector s (Alt f a) -> Int -> ST s (Alt f a) basicUnsafeWrite :: MVector s (Alt f a) -> Int -> Alt f a -> ST s () basicClear :: MVector s (Alt f a) -> ST s () basicSet :: MVector s (Alt f a) -> Alt f a -> ST s () basicUnsafeCopy :: MVector s (Alt f a) -> MVector s (Alt f a) -> ST s () basicUnsafeMove :: MVector s (Alt f a) -> MVector s (Alt f a) -> ST s () basicUnsafeGrow :: MVector s (Alt f a) -> Int -> ST s (MVector s (Alt f a)) | |
| (Dim n, Unbox a) => MVector MVector (V n a) | |
Defined in Linear.V Methods basicLength :: MVector s (V n a) -> Int basicUnsafeSlice :: Int -> Int -> MVector s (V n a) -> MVector s (V n a) basicOverlaps :: MVector s (V n a) -> MVector s (V n a) -> Bool basicUnsafeNew :: Int -> ST s (MVector s (V n a)) basicInitialize :: MVector s (V n a) -> ST s () basicUnsafeReplicate :: Int -> V n a -> ST s (MVector s (V n a)) basicUnsafeRead :: MVector s (V n a) -> Int -> ST s (V n a) basicUnsafeWrite :: MVector s (V n a) -> Int -> V n a -> ST s () basicClear :: MVector s (V n a) -> ST s () basicSet :: MVector s (V n a) -> V n a -> ST s () basicUnsafeCopy :: MVector s (V n a) -> MVector s (V n a) -> ST s () basicUnsafeMove :: MVector s (V n a) -> MVector s (V n a) -> ST s () basicUnsafeGrow :: MVector s (V n a) -> Int -> ST s (MVector s (V n a)) | |
| (Unbox a, Unbox b, Unbox c) => MVector MVector (a, b, c) | |
Defined in Data.Vector.Unboxed.Base Methods basicLength :: MVector s (a, b, c) -> Int basicUnsafeSlice :: Int -> Int -> MVector s (a, b, c) -> MVector s (a, b, c) basicOverlaps :: MVector s (a, b, c) -> MVector s (a, b, c) -> Bool basicUnsafeNew :: Int -> ST s (MVector s (a, b, c)) basicInitialize :: MVector s (a, b, c) -> ST s () basicUnsafeReplicate :: Int -> (a, b, c) -> ST s (MVector s (a, b, c)) basicUnsafeRead :: MVector s (a, b, c) -> Int -> ST s (a, b, c) basicUnsafeWrite :: MVector s (a, b, c) -> Int -> (a, b, c) -> ST s () basicClear :: MVector s (a, b, c) -> ST s () basicSet :: MVector s (a, b, c) -> (a, b, c) -> ST s () basicUnsafeCopy :: MVector s (a, b, c) -> MVector s (a, b, c) -> ST s () basicUnsafeMove :: MVector s (a, b, c) -> MVector s (a, b, c) -> ST s () basicUnsafeGrow :: MVector s (a, b, c) -> Int -> ST s (MVector s (a, b, c)) | |
| (Unbox a, Unbox b, Unbox c, Unbox d) => MVector MVector (a, b, c, d) | |
Defined in Data.Vector.Unboxed.Base Methods basicLength :: MVector s (a, b, c, d) -> Int basicUnsafeSlice :: Int -> Int -> MVector s (a, b, c, d) -> MVector s (a, b, c, d) basicOverlaps :: MVector s (a, b, c, d) -> MVector s (a, b, c, d) -> Bool basicUnsafeNew :: Int -> ST s (MVector s (a, b, c, d)) basicInitialize :: MVector s (a, b, c, d) -> ST s () basicUnsafeReplicate :: Int -> (a, b, c, d) -> ST s (MVector s (a, b, c, d)) basicUnsafeRead :: MVector s (a, b, c, d) -> Int -> ST s (a, b, c, d) basicUnsafeWrite :: MVector s (a, b, c, d) -> Int -> (a, b, c, d) -> ST s () basicClear :: MVector s (a, b, c, d) -> ST s () basicSet :: MVector s (a, b, c, d) -> (a, b, c, d) -> ST s () basicUnsafeCopy :: MVector s (a, b, c, d) -> MVector s (a, b, c, d) -> ST s () basicUnsafeMove :: MVector s (a, b, c, d) -> MVector s (a, b, c, d) -> ST s () basicUnsafeGrow :: MVector s (a, b, c, d) -> Int -> ST s (MVector s (a, b, c, d)) | |
| Unbox (f (g a)) => MVector MVector (Compose f g a) | |
Defined in Data.Vector.Unboxed.Base Methods basicLength :: MVector s (Compose f g a) -> Int basicUnsafeSlice :: Int -> Int -> MVector s (Compose f g a) -> MVector s (Compose f g a) basicOverlaps :: MVector s (Compose f g a) -> MVector s (Compose f g a) -> Bool basicUnsafeNew :: Int -> ST s (MVector s (Compose f g a)) basicInitialize :: MVector s (Compose f g a) -> ST s () basicUnsafeReplicate :: Int -> Compose f g a -> ST s (MVector s (Compose f g a)) basicUnsafeRead :: MVector s (Compose f g a) -> Int -> ST s (Compose f g a) basicUnsafeWrite :: MVector s (Compose f g a) -> Int -> Compose f g a -> ST s () basicClear :: MVector s (Compose f g a) -> ST s () basicSet :: MVector s (Compose f g a) -> Compose f g a -> ST s () basicUnsafeCopy :: MVector s (Compose f g a) -> MVector s (Compose f g a) -> ST s () basicUnsafeMove :: MVector s (Compose f g a) -> MVector s (Compose f g a) -> ST s () basicUnsafeGrow :: MVector s (Compose f g a) -> Int -> ST s (MVector s (Compose f g a)) | |
| (Unbox a, Unbox b, Unbox c, Unbox d, Unbox e) => MVector MVector (a, b, c, d, e) | |
Defined in Data.Vector.Unboxed.Base Methods basicLength :: MVector s (a, b, c, d, e) -> Int basicUnsafeSlice :: Int -> Int -> MVector s (a, b, c, d, e) -> MVector s (a, b, c, d, e) basicOverlaps :: MVector s (a, b, c, d, e) -> MVector s (a, b, c, d, e) -> Bool basicUnsafeNew :: Int -> ST s (MVector s (a, b, c, d, e)) basicInitialize :: MVector s (a, b, c, d, e) -> ST s () basicUnsafeReplicate :: Int -> (a, b, c, d, e) -> ST s (MVector s (a, b, c, d, e)) basicUnsafeRead :: MVector s (a, b, c, d, e) -> Int -> ST s (a, b, c, d, e) basicUnsafeWrite :: MVector s (a, b, c, d, e) -> Int -> (a, b, c, d, e) -> ST s () basicClear :: MVector s (a, b, c, d, e) -> ST s () basicSet :: MVector s (a, b, c, d, e) -> (a, b, c, d, e) -> ST s () basicUnsafeCopy :: MVector s (a, b, c, d, e) -> MVector s (a, b, c, d, e) -> ST s () basicUnsafeMove :: MVector s (a, b, c, d, e) -> MVector s (a, b, c, d, e) -> ST s () basicUnsafeGrow :: MVector s (a, b, c, d, e) -> Int -> ST s (MVector s (a, b, c, d, e)) | |
| (Unbox a, Unbox b, Unbox c, Unbox d, Unbox e, Unbox f) => MVector MVector (a, b, c, d, e, f) | |
Defined in Data.Vector.Unboxed.Base Methods basicLength :: MVector s (a, b, c, d, e, f) -> Int basicUnsafeSlice :: Int -> Int -> MVector s (a, b, c, d, e, f) -> MVector s (a, b, c, d, e, f) basicOverlaps :: MVector s (a, b, c, d, e, f) -> MVector s (a, b, c, d, e, f) -> Bool basicUnsafeNew :: Int -> ST s (MVector s (a, b, c, d, e, f)) basicInitialize :: MVector s (a, b, c, d, e, f) -> ST s () basicUnsafeReplicate :: Int -> (a, b, c, d, e, f) -> ST s (MVector s (a, b, c, d, e, f)) basicUnsafeRead :: MVector s (a, b, c, d, e, f) -> Int -> ST s (a, b, c, d, e, f) basicUnsafeWrite :: MVector s (a, b, c, d, e, f) -> Int -> (a, b, c, d, e, f) -> ST s () basicClear :: MVector s (a, b, c, d, e, f) -> ST s () basicSet :: MVector s (a, b, c, d, e, f) -> (a, b, c, d, e, f) -> ST s () basicUnsafeCopy :: MVector s (a, b, c, d, e, f) -> MVector s (a, b, c, d, e, f) -> ST s () basicUnsafeMove :: MVector s (a, b, c, d, e, f) -> MVector s (a, b, c, d, e, f) -> ST s () basicUnsafeGrow :: MVector s (a, b, c, d, e, f) -> Int -> ST s (MVector s (a, b, c, d, e, f)) | |
| NFData1 (MVector s) | |
Defined in Data.Vector.Unboxed.Base | |
| NFData (MVector s a) | |
Defined in Data.Vector.Unboxed.Base | |
| newtype MVector s All | |
Defined in Data.Vector.Unboxed.Base | |
| newtype MVector s Any | |
Defined in Data.Vector.Unboxed.Base | |
| newtype MVector s Int16 | |
Defined in Data.Vector.Unboxed.Base | |
| newtype MVector s Int32 | |
Defined in Data.Vector.Unboxed.Base | |
| newtype MVector s Int64 | |
Defined in Data.Vector.Unboxed.Base | |
| newtype MVector s Int8 | |
Defined in Data.Vector.Unboxed.Base | |
| newtype MVector s Word16 | |
Defined in Data.Vector.Unboxed.Base | |
| newtype MVector s Word32 | |
Defined in Data.Vector.Unboxed.Base | |
| newtype MVector s Word64 | |
Defined in Data.Vector.Unboxed.Base | |
| newtype MVector s Word8 | |
Defined in Data.Vector.Unboxed.Base | |
| newtype MVector s () | |
Defined in Data.Vector.Unboxed.Base | |
| newtype MVector s Bool | |
Defined in Data.Vector.Unboxed.Base | |
| newtype MVector s Char | |
Defined in Data.Vector.Unboxed.Base | |
| newtype MVector s Double | |
Defined in Data.Vector.Unboxed.Base | |
| newtype MVector s Float | |
Defined in Data.Vector.Unboxed.Base | |
| newtype MVector s Int | |
Defined in Data.Vector.Unboxed.Base | |
| newtype MVector s Word | |
Defined in Data.Vector.Unboxed.Base | |
| newtype MVector s (Complex a) | |
Defined in Data.Vector.Unboxed.Base | |
| newtype MVector s (Identity a) | |
Defined in Data.Vector.Unboxed.Base | |
| newtype MVector s (Down a) | |
Defined in Data.Vector.Unboxed.Base | |
| newtype MVector s (First a) | |
Defined in Data.Vector.Unboxed.Base | |
| newtype MVector s (Last a) | |
Defined in Data.Vector.Unboxed.Base | |
| newtype MVector s (Max a) | |
Defined in Data.Vector.Unboxed.Base | |
| newtype MVector s (Min a) | |
Defined in Data.Vector.Unboxed.Base | |
| newtype MVector s (WrappedMonoid a) | |
Defined in Data.Vector.Unboxed.Base | |
| newtype MVector s (Dual a) | |
Defined in Data.Vector.Unboxed.Base | |
| newtype MVector s (Product a) | |
Defined in Data.Vector.Unboxed.Base | |
| newtype MVector s (Sum a) | |
Defined in Data.Vector.Unboxed.Base | |
| data MVector s (Plucker a) | |
Defined in Linear.Plucker | |
| data MVector s (Quaternion a) | |
Defined in Linear.Quaternion | |
| newtype MVector s (V0 a) | |
| newtype MVector s (V1 a) | |
| data MVector s (V2 a) | |
| data MVector s (V3 a) | |
| data MVector s (V4 a) | |
| data MVector s (V2 a) Source # | |
Defined in SDL.Internal.Vect | |
| data MVector s (V3 a) Source # | |
Defined in SDL.Internal.Vect | |
| data MVector s (V4 a) Source # | |
Defined in SDL.Internal.Vect | |
| newtype MVector s (Rectangle a) Source # | |
Defined in SDL.Video.Renderer | |
| newtype MVector s (UnboxViaPrim a) | |
Defined in Data.Vector.Unboxed.Base | |
| newtype MVector s (Arg a b) | |
Defined in Data.Vector.Unboxed.Base | |
| newtype MVector s (Point f a) | |
Defined in Linear.Affine | |
| data MVector s (Point f a) Source # | |
Defined in SDL.Internal.Vect | |
| newtype MVector s (As a b) | |
Defined in Data.Vector.Unboxed.Base | |
| data MVector s (a, b) | |
Defined in Data.Vector.Unboxed.Base | |
| newtype MVector s (Const a b) | |
Defined in Data.Vector.Unboxed.Base | |
| newtype MVector s (Alt f a) | |
Defined in Data.Vector.Unboxed.Base | |
| data MVector s (V n a) | |
| data MVector s (a, b, c) | |
| data MVector s (a, b, c, d) | |
| newtype MVector s (Compose f g a) | |
Defined in Data.Vector.Unboxed.Base | |
| data MVector s (a, b, c, d, e) | |
| data MVector s (a, b, c, d, e, f) | |
class Complicated t => Hamiltonian (t :: Type -> Type) where #
Instances
| Hamiltonian Quaternion | |
Defined in Linear.Quaternion Methods _j :: Lens' (Quaternion a) a # _k :: Lens' (Quaternion a) a # _ijk :: Lens' (Quaternion a) (V3 a) # | |
class R2 t => R3 (t :: Type -> Type) where #
Instances
| R3 Quaternion | |
Defined in Linear.Quaternion | |
| R3 V3 | |
| R3 V4 | |
| R3 f => R3 (Point f) | |
class Functor m => Trace (m :: Type -> Type) where #
Minimal complete definition
Nothing
Instances
| Trace Complex | |
Defined in Linear.Trace | |
| Trace IntMap | |
Defined in Linear.Trace | |
| Trace Plucker | |
Defined in Linear.Trace | |
| Trace Quaternion | |
Defined in Linear.Trace Methods trace :: Num a => Quaternion (Quaternion a) -> a # diagonal :: Quaternion (Quaternion a) -> Quaternion a # | |
| Trace V0 | |
| Trace V1 | |
| Trace V2 | |
| Trace V3 | |
| Trace V4 | |
| Ord k => Trace (Map k) | |
Defined in Linear.Trace | |
| (Eq k, Hashable k) => Trace (HashMap k) | |
Defined in Linear.Trace | |
| Dim n => Trace (V n) | |
Defined in Linear.Trace | |
| (Trace f, Trace g) => Trace (Product f g) | |
Defined in Linear.Trace | |
| (Distributive g, Trace g, Trace f) => Trace (Compose g f) | |
Defined in Linear.Trace | |
class R1 t => R2 (t :: Type -> Type) where #
Minimal complete definition
class Num r => Algebra r m where #
Instances
| Num r => Algebra r Void | |
Defined in Linear.Algebra | |
| Num r => Algebra r () | |
Defined in Linear.Algebra | |
| Num r => Algebra r (E Complex) | |
| (Num r, TrivialConjugate r) => Algebra r (E Quaternion) | |
Defined in Linear.Algebra Methods mult :: (E Quaternion -> E Quaternion -> r) -> E Quaternion -> r # unital :: r -> E Quaternion -> r # | |
| Num r => Algebra r (E V0) | |
| Num r => Algebra r (E V1) | |
| (Algebra r a, Algebra r b) => Algebra r (a, b) | |
Defined in Linear.Algebra | |
class Num r => Coalgebra r m where #
Instances
| Num r => Coalgebra r Void | |
Defined in Linear.Algebra | |
| Num r => Coalgebra r () | |
Defined in Linear.Algebra | |
| Num r => Coalgebra r (E Complex) | |
| (Num r, TrivialConjugate r) => Coalgebra r (E Quaternion) | |
Defined in Linear.Algebra Methods comult :: (E Quaternion -> r) -> E Quaternion -> E Quaternion -> r # counital :: (E Quaternion -> r) -> r # | |
| Num r => Coalgebra r (E V0) | |
| Num r => Coalgebra r (E V1) | |
| Num r => Coalgebra r (E V2) | |
| Num r => Coalgebra r (E V3) | |
| Num r => Coalgebra r (E V4) | |
| (Coalgebra r m, Coalgebra r n) => Coalgebra r (m, n) | |
Defined in Linear.Algebra | |
counitalRep :: (Representable f, Coalgebra r (Rep f)) => f r -> r #
class Conjugate a => TrivialConjugate a #
Instances
| TrivialConjugate CDouble | |
Defined in Linear.Conjugate | |
| TrivialConjugate CFloat | |
Defined in Linear.Conjugate | |
| TrivialConjugate Int16 | |
Defined in Linear.Conjugate | |
| TrivialConjugate Int32 | |
Defined in Linear.Conjugate | |
| TrivialConjugate Int64 | |
Defined in Linear.Conjugate | |
| TrivialConjugate Int8 | |
Defined in Linear.Conjugate | |
| TrivialConjugate Word16 | |
Defined in Linear.Conjugate | |
| TrivialConjugate Word32 | |
Defined in Linear.Conjugate | |
| TrivialConjugate Word64 | |
Defined in Linear.Conjugate | |
| TrivialConjugate Word8 | |
Defined in Linear.Conjugate | |
| TrivialConjugate Integer | |
Defined in Linear.Conjugate | |
| TrivialConjugate Double | |
Defined in Linear.Conjugate | |
| TrivialConjugate Float | |
Defined in Linear.Conjugate | |
| TrivialConjugate Int | |
Defined in Linear.Conjugate | |
| TrivialConjugate Word | |
Defined in Linear.Conjugate | |
Constructors
| Covector | |
Fields
| |
Instances
| Num r => Alternative (Covector r) | |
| Applicative (Covector r) | |
| Functor (Covector r) | |
| Monad (Covector r) | |
| Num r => MonadPlus (Covector r) | |
| Num r => Alt (Covector r) | |
| Apply (Covector r) | |
| Bind (Covector r) | |
| Num r => Plus (Covector r) | |
Defined in Linear.Covector | |
| Coalgebra r m => Num (Covector r m) | |
Defined in Linear.Covector Methods (+) :: Covector r m -> Covector r m -> Covector r m (-) :: Covector r m -> Covector r m -> Covector r m (*) :: Covector r m -> Covector r m -> Covector r m negate :: Covector r m -> Covector r m abs :: Covector r m -> Covector r m signum :: Covector r m -> Covector r m fromInteger :: Integer -> Covector r m | |
class Num a => Epsilon a where #
Instances
| Epsilon CDouble | |
Defined in Linear.Epsilon | |
| Epsilon CFloat | |
Defined in Linear.Epsilon | |
| Epsilon Double | |
Defined in Linear.Epsilon | |
| Epsilon Float | |
Defined in Linear.Epsilon | |
| (Epsilon a, RealFloat a) => Epsilon (Complex a) | |
Defined in Linear.Epsilon | |
| Epsilon a => Epsilon (Plucker a) | |
Defined in Linear.Plucker | |
| (RealFloat a, Epsilon a) => Epsilon (Quaternion a) | |
Defined in Linear.Quaternion Methods nearZero :: Quaternion a -> Bool # | |
| Epsilon (V0 a) | |
| Epsilon a => Epsilon (V1 a) | |
| Epsilon a => Epsilon (V2 a) | |
| Epsilon a => Epsilon (V3 a) | |
| Epsilon a => Epsilon (V4 a) | |
| Epsilon (f a) => Epsilon (Point f a) | |
Defined in Linear.Affine | |
| (Dim n, Epsilon a) => Epsilon (V n a) | |
_m22 :: forall (t :: Type -> Type) (v :: Type -> Type) a. (Representable t, R2 t, R2 v) => Lens' (t (v a)) (M22 a) #
_m23 :: forall (t :: Type -> Type) (v :: Type -> Type) a. (Representable t, R2 t, R3 v) => Lens' (t (v a)) (M23 a) #
_m24 :: forall (t :: Type -> Type) (v :: Type -> Type) a. (Representable t, R2 t, R4 v) => Lens' (t (v a)) (M24 a) #
_m32 :: forall (t :: Type -> Type) (v :: Type -> Type) a. (Representable t, R3 t, R2 v) => Lens' (t (v a)) (M32 a) #
_m33 :: forall (t :: Type -> Type) (v :: Type -> Type) a. (Representable t, R3 t, R3 v) => Lens' (t (v a)) (M33 a) #
_m34 :: forall (t :: Type -> Type) (v :: Type -> Type) a. (Representable t, R3 t, R4 v) => Lens' (t (v a)) (M34 a) #
_m42 :: forall (t :: Type -> Type) (v :: Type -> Type) a. (Representable t, R4 t, R2 v) => Lens' (t (v a)) (M42 a) #
_m43 :: forall (t :: Type -> Type) (v :: Type -> Type) a. (Representable t, R4 t, R3 v) => Lens' (t (v a)) (M43 a) #
_m44 :: forall (t :: Type -> Type) (v :: Type -> Type) a. (Representable t, R4 t, R4 v) => Lens' (t (v a)) (M44 a) #
backwardSub :: (Num a, Fractional a, Foldable m, Additive m, Ixed (m a), Ixed (m (m a)), i ~ Index (m a), i ~ Index (m (m a)), Eq i, Ord i, Integral i, a ~ IxValue (m a), m a ~ IxValue (m (m a))) => m (m a) -> m a -> m a #
backwardSubFinite :: forall a m (n :: Nat). (Num a, Fractional a, Foldable m, n ~ Size m, KnownNat n, Additive m, Finite m) => m (m a) -> m a -> m a #
column :: forall (f :: Type -> Type) a b s t. Representable f => LensLike (Context a b) s t a b -> Lens (f s) (f t) (f a) (f b) #
forwardSub :: (Num a, Fractional a, Foldable m, Additive m, Ixed (m a), Ixed (m (m a)), i ~ Index (m a), i ~ Index (m (m a)), Eq i, Ord i, Integral i, a ~ IxValue (m a), m a ~ IxValue (m (m a))) => m (m a) -> m a -> m a #
forwardSubFinite :: forall a m (n :: Nat). (Num a, Fractional a, Foldable m, n ~ Size m, KnownNat n, Additive m, Finite m) => m (m a) -> m a -> m a #
fromQuaternion :: Num a => Quaternion a -> M33 a #
lu :: (Num a, Fractional a, Foldable m, Traversable m, Applicative m, Additive m, Ixed (m a), Ixed (m (m a)), i ~ Index (m a), i ~ Index (m (m a)), Eq i, Integral i, a ~ IxValue (m a), m a ~ IxValue (m (m a)), Num (m a)) => m (m a) -> (m (m a), m (m a)) #
luDet :: (Num a, Fractional a, Foldable m, Traversable m, Applicative m, Additive m, Trace m, Ixed (m a), Ixed (m (m a)), i ~ Index (m a), i ~ Index (m (m a)), Eq i, Integral i, a ~ IxValue (m a), m a ~ IxValue (m (m a)), Num (m a)) => m (m a) -> a #
luDetFinite :: forall a m (n :: Nat). (Num a, Fractional a, Functor m, Finite m, n ~ Size m, KnownNat n, Num (m a)) => m (m a) -> a #
luFinite :: forall a m (n :: Nat). (Num a, Fractional a, Functor m, Finite m, n ~ Size m, KnownNat n, Num (m a)) => m (m a) -> (m (m a), m (m a)) #
luInv :: (Num a, Fractional a, Foldable m, Traversable m, Applicative m, Additive m, Distributive m, Ixed (m a), Ixed (m (m a)), i ~ Index (m a), i ~ Index (m (m a)), Eq i, Integral i, a ~ IxValue (m a), m a ~ IxValue (m (m a)), Num (m a)) => m (m a) -> m (m a) #
luInvFinite :: forall a m (n :: Nat). (Num a, Fractional a, Functor m, Finite m, n ~ Size m, KnownNat n, Num (m a)) => m (m a) -> m (m a) #
luSolve :: (Num a, Fractional a, Foldable m, Traversable m, Applicative m, Additive m, Ixed (m a), Ixed (m (m a)), i ~ Index (m a), i ~ Index (m (m a)), Eq i, Integral i, a ~ IxValue (m a), m a ~ IxValue (m (m a)), Num (m a)) => m (m a) -> m a -> m a #
luSolveFinite :: forall a m (n :: Nat). (Num a, Fractional a, Functor m, Finite m, n ~ Size m, KnownNat n, Num (m a)) => m (m a) -> m a -> m a #
m33_to_m44 :: Num a => M33 a -> M44 a #
m43_to_m44 :: Num a => M43 a -> M44 a #
mkTransformation :: Num a => Quaternion a -> V3 a -> M44 a #
mkTransformationMat :: Num a => M33 a -> V3 a -> M44 a #
translation :: forall (t :: Type -> Type) (v :: Type -> Type) a. (Representable t, R3 t, R4 v) => Lens' (t (v a)) (V3 a) #
class Additive f => Metric (f :: Type -> Type) where #
Minimal complete definition
Nothing
Methods
dot :: Num a => f a -> f a -> a #
quadrance :: Num a => f a -> a #
qd :: Num a => f a -> f a -> a #
distance :: Floating a => f a -> f a -> a #
Instances
| Metric ZipList | |
Defined in Linear.Metric | |
| Metric Identity | |
Defined in Linear.Metric | |
| Metric IntMap | |
| Metric Plucker | |
Defined in Linear.Plucker | |
| Metric Quaternion | |
Defined in Linear.Quaternion Methods dot :: Num a => Quaternion a -> Quaternion a -> a # quadrance :: Num a => Quaternion a -> a # qd :: Num a => Quaternion a -> Quaternion a -> a # distance :: Floating a => Quaternion a -> Quaternion a -> a # norm :: Floating a => Quaternion a -> a # signorm :: Floating a => Quaternion a -> Quaternion a # | |
| Metric V0 | |
| Metric V1 | |
| Metric V2 | |
| Metric V3 | |
| Metric V4 | |
| Metric Vector | |
| Metric Maybe | |
| Metric [] | |
| Ord k => Metric (Map k) | |
| Metric f => Metric (Point f) | |
Defined in Linear.Affine | |
| (Hashable k, Eq k) => Metric (HashMap k) | |
Defined in Linear.Metric | |
| Dim n => Metric (V n) | |
| (Metric f, Metric g) => Metric (Product f g) | |
| (Metric f, Metric g) => Metric (Compose f g) | |
infinitePerspective :: Floating a => a -> a -> a -> M44 a #
inverseFrustum :: Floating a => a -> a -> a -> a -> a -> a -> M44 a #
inverseInfinitePerspective :: Floating a => a -> a -> a -> M44 a #
inverseOrtho :: Fractional a => a -> a -> a -> a -> a -> a -> M44 a #
inversePerspective :: Floating a => a -> a -> a -> a -> M44 a #
perspective :: Floating a => a -> a -> a -> a -> M44 a #
data Quaternion a #
Constructors
| Quaternion !a !(V3 a) |
Instances
| Representable Quaternion | |||||
Defined in Linear.Quaternion Associated Types
Methods tabulate :: (Rep Quaternion -> a) -> Quaternion a index :: Quaternion a -> Rep Quaternion -> a | |||||
| MonadFix Quaternion | |||||
Defined in Linear.Quaternion Methods mfix :: (a -> Quaternion a) -> Quaternion a | |||||
| MonadZip Quaternion | |||||
Defined in Linear.Quaternion Methods mzip :: Quaternion a -> Quaternion b -> Quaternion (a, b) mzipWith :: (a -> b -> c) -> Quaternion a -> Quaternion b -> Quaternion c munzip :: Quaternion (a, b) -> (Quaternion a, Quaternion b) | |||||
| Foldable Quaternion | |||||
Defined in Linear.Quaternion Methods fold :: Monoid m => Quaternion m -> m foldMap :: Monoid m => (a -> m) -> Quaternion a -> m foldMap' :: Monoid m => (a -> m) -> Quaternion a -> m foldr :: (a -> b -> b) -> b -> Quaternion a -> b foldr' :: (a -> b -> b) -> b -> Quaternion a -> b foldl :: (b -> a -> b) -> b -> Quaternion a -> b foldl' :: (b -> a -> b) -> b -> Quaternion a -> b foldr1 :: (a -> a -> a) -> Quaternion a -> a foldl1 :: (a -> a -> a) -> Quaternion a -> a toList :: Quaternion a -> [a] null :: Quaternion a -> Bool length :: Quaternion a -> Int elem :: Eq a => a -> Quaternion a -> Bool maximum :: Ord a => Quaternion a -> a minimum :: Ord a => Quaternion a -> a sum :: Num a => Quaternion a -> a product :: Num a => Quaternion a -> a | |||||
| Eq1 Quaternion | |||||
Defined in Linear.Quaternion Methods liftEq :: (a -> b -> Bool) -> Quaternion a -> Quaternion b -> Bool | |||||
| Ord1 Quaternion | |||||
Defined in Linear.Quaternion Methods liftCompare :: (a -> b -> Ordering) -> Quaternion a -> Quaternion b -> Ordering | |||||
| Read1 Quaternion | |||||
Defined in Linear.Quaternion Methods liftReadsPrec :: (Int -> ReadS a) -> ReadS [a] -> Int -> ReadS (Quaternion a) liftReadList :: (Int -> ReadS a) -> ReadS [a] -> ReadS [Quaternion a] liftReadPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec (Quaternion a) liftReadListPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec [Quaternion a] | |||||
| Show1 Quaternion | |||||
Defined in Linear.Quaternion Methods liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> Quaternion a -> ShowS liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [Quaternion a] -> ShowS | |||||
| Traversable Quaternion | |||||
Defined in Linear.Quaternion Methods traverse :: Applicative f => (a -> f b) -> Quaternion a -> f (Quaternion b) sequenceA :: Applicative f => Quaternion (f a) -> f (Quaternion a) mapM :: Monad m => (a -> m b) -> Quaternion a -> m (Quaternion b) sequence :: Monad m => Quaternion (m a) -> m (Quaternion a) | |||||
| Applicative Quaternion | |||||
Defined in Linear.Quaternion Methods pure :: a -> Quaternion a (<*>) :: Quaternion (a -> b) -> Quaternion a -> Quaternion b liftA2 :: (a -> b -> c) -> Quaternion a -> Quaternion b -> Quaternion c (*>) :: Quaternion a -> Quaternion b -> Quaternion b (<*) :: Quaternion a -> Quaternion b -> Quaternion a | |||||
| Functor Quaternion | |||||
Defined in Linear.Quaternion | |||||
| Monad Quaternion | |||||
Defined in Linear.Quaternion Methods (>>=) :: Quaternion a -> (a -> Quaternion b) -> Quaternion b (>>) :: Quaternion a -> Quaternion b -> Quaternion b return :: a -> Quaternion a | |||||
| Serial1 Quaternion | |||||
Defined in Linear.Quaternion Methods serializeWith :: MonadPut m => (a -> m ()) -> Quaternion a -> m () deserializeWith :: MonadGet m => m a -> m (Quaternion a) | |||||
| Distributive Quaternion | |||||
Defined in Linear.Quaternion Methods distribute :: Functor f => f (Quaternion a) -> Quaternion (f a) collect :: Functor f => (a -> Quaternion b) -> f a -> Quaternion (f b) distributeM :: Monad m => m (Quaternion a) -> Quaternion (m a) collectM :: Monad m => (a -> Quaternion b) -> m a -> Quaternion (m b) | |||||
| Hashable1 Quaternion | |||||
Defined in Linear.Quaternion Methods liftHashWithSalt :: (Int -> a -> Int) -> Int -> Quaternion a -> Int | |||||
| Affine Quaternion | |||||
Defined in Linear.Affine Associated Types
Methods (.-.) :: Num a => Quaternion a -> Quaternion a -> Diff Quaternion a # (.+^) :: Num a => Quaternion a -> Diff Quaternion a -> Quaternion a # (.-^) :: Num a => Quaternion a -> Diff Quaternion a -> Quaternion a # | |||||
| Metric Quaternion | |||||
Defined in Linear.Quaternion Methods dot :: Num a => Quaternion a -> Quaternion a -> a # quadrance :: Num a => Quaternion a -> a # qd :: Num a => Quaternion a -> Quaternion a -> a # distance :: Floating a => Quaternion a -> Quaternion a -> a # norm :: Floating a => Quaternion a -> a # signorm :: Floating a => Quaternion a -> Quaternion a # | |||||
| Complicated Quaternion | |||||
Defined in Linear.Quaternion | |||||
| Hamiltonian Quaternion | |||||
Defined in Linear.Quaternion Methods _j :: Lens' (Quaternion a) a # _k :: Lens' (Quaternion a) a # _ijk :: Lens' (Quaternion a) (V3 a) # | |||||
| Trace Quaternion | |||||
Defined in Linear.Trace Methods trace :: Num a => Quaternion (Quaternion a) -> a # diagonal :: Quaternion (Quaternion a) -> Quaternion a # | |||||
| Finite Quaternion | |||||
Defined in Linear.Quaternion Associated Types
| |||||
| R1 Quaternion | |||||
Defined in Linear.Quaternion Methods _x :: Lens' (Quaternion a) a # | |||||
| R2 Quaternion | |||||
Defined in Linear.Quaternion | |||||
| R3 Quaternion | |||||
Defined in Linear.Quaternion | |||||
| R4 Quaternion | |||||
Defined in Linear.Quaternion | |||||
| Additive Quaternion | |||||
Defined in Linear.Quaternion Methods zero :: Num a => Quaternion a # (^+^) :: Num a => Quaternion a -> Quaternion a -> Quaternion a # (^-^) :: Num a => Quaternion a -> Quaternion a -> Quaternion a # lerp :: Num a => a -> Quaternion a -> Quaternion a -> Quaternion a # liftU2 :: (a -> a -> a) -> Quaternion a -> Quaternion a -> Quaternion a # liftI2 :: (a -> b -> c) -> Quaternion a -> Quaternion b -> Quaternion c # | |||||
| Apply Quaternion | |||||
Defined in Linear.Quaternion Methods (<.>) :: Quaternion (a -> b) -> Quaternion a -> Quaternion b (.>) :: Quaternion a -> Quaternion b -> Quaternion b (<.) :: Quaternion a -> Quaternion b -> Quaternion a liftF2 :: (a -> b -> c) -> Quaternion a -> Quaternion b -> Quaternion c | |||||
| Bind Quaternion | |||||
Defined in Linear.Quaternion Methods (>>-) :: Quaternion a -> (a -> Quaternion b) -> Quaternion b join :: Quaternion (Quaternion a) -> Quaternion a | |||||
| Generic1 Quaternion | |||||
Defined in Linear.Quaternion Associated Types
| |||||
| (Num r, TrivialConjugate r) => Algebra r (E Quaternion) | |||||
Defined in Linear.Algebra Methods mult :: (E Quaternion -> E Quaternion -> r) -> E Quaternion -> r # unital :: r -> E Quaternion -> r # | |||||
| (Num r, TrivialConjugate r) => Coalgebra r (E Quaternion) | |||||
Defined in Linear.Algebra Methods comult :: (E Quaternion -> r) -> E Quaternion -> E Quaternion -> r # counital :: (E Quaternion -> r) -> r # | |||||
| Lift a => Lift (Quaternion a :: Type) | |||||
Defined in Linear.Quaternion Methods lift :: Quote m => Quaternion a -> m Exp liftTyped :: forall (m :: Type -> Type). Quote m => Quaternion a -> Code m (Quaternion a) | |||||
| Unbox a => Vector Vector (Quaternion a) | |||||
Defined in Linear.Quaternion Methods basicUnsafeFreeze :: Mutable Vector s (Quaternion a) -> ST s (Vector (Quaternion a)) basicUnsafeThaw :: Vector (Quaternion a) -> ST s (Mutable Vector s (Quaternion a)) basicLength :: Vector (Quaternion a) -> Int basicUnsafeSlice :: Int -> Int -> Vector (Quaternion a) -> Vector (Quaternion a) basicUnsafeIndexM :: Vector (Quaternion a) -> Int -> Box (Quaternion a) basicUnsafeCopy :: Mutable Vector s (Quaternion a) -> Vector (Quaternion a) -> ST s () elemseq :: Vector (Quaternion a) -> Quaternion a -> b -> b | |||||
| Unbox a => MVector MVector (Quaternion a) | |||||
Defined in Linear.Quaternion Methods basicLength :: MVector s (Quaternion a) -> Int basicUnsafeSlice :: Int -> Int -> MVector s (Quaternion a) -> MVector s (Quaternion a) basicOverlaps :: MVector s (Quaternion a) -> MVector s (Quaternion a) -> Bool basicUnsafeNew :: Int -> ST s (MVector s (Quaternion a)) basicInitialize :: MVector s (Quaternion a) -> ST s () basicUnsafeReplicate :: Int -> Quaternion a -> ST s (MVector s (Quaternion a)) basicUnsafeRead :: MVector s (Quaternion a) -> Int -> ST s (Quaternion a) basicUnsafeWrite :: MVector s (Quaternion a) -> Int -> Quaternion a -> ST s () basicClear :: MVector s (Quaternion a) -> ST s () basicSet :: MVector s (Quaternion a) -> Quaternion a -> ST s () basicUnsafeCopy :: MVector s (Quaternion a) -> MVector s (Quaternion a) -> ST s () basicUnsafeMove :: MVector s (Quaternion a) -> MVector s (Quaternion a) -> ST s () basicUnsafeGrow :: MVector s (Quaternion a) -> Int -> ST s (MVector s (Quaternion a)) | |||||
| Data a => Data (Quaternion a) | |||||
Defined in Linear.Quaternion Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Quaternion a -> c (Quaternion a) gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Quaternion a) toConstr :: Quaternion a -> Constr dataTypeOf :: Quaternion a -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Quaternion a)) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Quaternion a)) gmapT :: (forall b. Data b => b -> b) -> Quaternion a -> Quaternion a gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Quaternion a -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Quaternion a -> r gmapQ :: (forall d. Data d => d -> u) -> Quaternion a -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Quaternion a -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Quaternion a -> m (Quaternion a) gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Quaternion a -> m (Quaternion a) gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Quaternion a -> m (Quaternion a) | |||||
| Storable a => Storable (Quaternion a) | |||||
Defined in Linear.Quaternion Methods sizeOf :: Quaternion a -> Int alignment :: Quaternion a -> Int peekElemOff :: Ptr (Quaternion a) -> Int -> IO (Quaternion a) pokeElemOff :: Ptr (Quaternion a) -> Int -> Quaternion a -> IO () peekByteOff :: Ptr b -> Int -> IO (Quaternion a) pokeByteOff :: Ptr b -> Int -> Quaternion a -> IO () peek :: Ptr (Quaternion a) -> IO (Quaternion a) poke :: Ptr (Quaternion a) -> Quaternion a -> IO () | |||||
| Monoid a => Monoid (Quaternion a) | |||||
Defined in Linear.Quaternion Methods mempty :: Quaternion a mappend :: Quaternion a -> Quaternion a -> Quaternion a mconcat :: [Quaternion a] -> Quaternion a | |||||
| Semigroup a => Semigroup (Quaternion a) | |||||
Defined in Linear.Quaternion Methods (<>) :: Quaternion a -> Quaternion a -> Quaternion a sconcat :: NonEmpty (Quaternion a) -> Quaternion a stimes :: Integral b => b -> Quaternion a -> Quaternion a | |||||
| RealFloat a => Floating (Quaternion a) | |||||
Defined in Linear.Quaternion Methods pi :: Quaternion a exp :: Quaternion a -> Quaternion a log :: Quaternion a -> Quaternion a sqrt :: Quaternion a -> Quaternion a (**) :: Quaternion a -> Quaternion a -> Quaternion a logBase :: Quaternion a -> Quaternion a -> Quaternion a sin :: Quaternion a -> Quaternion a cos :: Quaternion a -> Quaternion a tan :: Quaternion a -> Quaternion a asin :: Quaternion a -> Quaternion a acos :: Quaternion a -> Quaternion a atan :: Quaternion a -> Quaternion a sinh :: Quaternion a -> Quaternion a cosh :: Quaternion a -> Quaternion a tanh :: Quaternion a -> Quaternion a asinh :: Quaternion a -> Quaternion a acosh :: Quaternion a -> Quaternion a atanh :: Quaternion a -> Quaternion a log1p :: Quaternion a -> Quaternion a expm1 :: Quaternion a -> Quaternion a log1pexp :: Quaternion a -> Quaternion a log1mexp :: Quaternion a -> Quaternion a | |||||
| Generic (Quaternion a) | |||||
Defined in Linear.Quaternion Associated Types
| |||||
| Ix a => Ix (Quaternion a) | |||||
Defined in Linear.Quaternion Methods range :: (Quaternion a, Quaternion a) -> [Quaternion a] index :: (Quaternion a, Quaternion a) -> Quaternion a -> Int unsafeIndex :: (Quaternion a, Quaternion a) -> Quaternion a -> Int inRange :: (Quaternion a, Quaternion a) -> Quaternion a -> Bool rangeSize :: (Quaternion a, Quaternion a) -> Int unsafeRangeSize :: (Quaternion a, Quaternion a) -> Int | |||||
| RealFloat a => Num (Quaternion a) | |||||
Defined in Linear.Quaternion Methods (+) :: Quaternion a -> Quaternion a -> Quaternion a (-) :: Quaternion a -> Quaternion a -> Quaternion a (*) :: Quaternion a -> Quaternion a -> Quaternion a negate :: Quaternion a -> Quaternion a abs :: Quaternion a -> Quaternion a signum :: Quaternion a -> Quaternion a fromInteger :: Integer -> Quaternion a | |||||
| Read a => Read (Quaternion a) | |||||
Defined in Linear.Quaternion Methods readsPrec :: Int -> ReadS (Quaternion a) readList :: ReadS [Quaternion a] readPrec :: ReadPrec (Quaternion a) readListPrec :: ReadPrec [Quaternion a] | |||||
| RealFloat a => Fractional (Quaternion a) | |||||
Defined in Linear.Quaternion Methods (/) :: Quaternion a -> Quaternion a -> Quaternion a recip :: Quaternion a -> Quaternion a fromRational :: Rational -> Quaternion a | |||||
| Show a => Show (Quaternion a) | |||||
Defined in Linear.Quaternion Methods showsPrec :: Int -> Quaternion a -> ShowS show :: Quaternion a -> String showList :: [Quaternion a] -> ShowS | |||||
| Binary a => Binary (Quaternion a) | |||||
Defined in Linear.Quaternion | |||||
| Serial a => Serial (Quaternion a) | |||||
Defined in Linear.Quaternion | |||||
| Serialize a => Serialize (Quaternion a) | |||||
Defined in Linear.Quaternion | |||||
| NFData a => NFData (Quaternion a) | |||||
Defined in Linear.Quaternion Methods rnf :: Quaternion a -> () | |||||
| Eq a => Eq (Quaternion a) | |||||
Defined in Linear.Quaternion | |||||
| Ord a => Ord (Quaternion a) | |||||
Defined in Linear.Quaternion Methods compare :: Quaternion a -> Quaternion a -> Ordering (<) :: Quaternion a -> Quaternion a -> Bool (<=) :: Quaternion a -> Quaternion a -> Bool (>) :: Quaternion a -> Quaternion a -> Bool (>=) :: Quaternion a -> Quaternion a -> Bool max :: Quaternion a -> Quaternion a -> Quaternion a min :: Quaternion a -> Quaternion a -> Quaternion a | |||||
| Hashable a => Hashable (Quaternion a) | |||||
Defined in Linear.Quaternion | |||||
| Ixed (Quaternion a) | |||||
Defined in Linear.Quaternion Methods ix :: Index (Quaternion a) -> Traversal' (Quaternion a) (IxValue (Quaternion a)) | |||||
| (Conjugate a, RealFloat a) => Conjugate (Quaternion a) | |||||
Defined in Linear.Quaternion Methods conjugate :: Quaternion a -> Quaternion a # | |||||
| (RealFloat a, Epsilon a) => Epsilon (Quaternion a) | |||||
Defined in Linear.Quaternion Methods nearZero :: Quaternion a -> Bool # | |||||
| Random a => Random (Quaternion a) | |||||
Defined in Linear.Quaternion Methods randomR :: RandomGen g => (Quaternion a, Quaternion a) -> g -> (Quaternion a, g) random :: RandomGen g => g -> (Quaternion a, g) randomRs :: RandomGen g => (Quaternion a, Quaternion a) -> g -> [Quaternion a] randoms :: RandomGen g => g -> [Quaternion a] | |||||
| Uniform a => Uniform (Quaternion a) | |||||
Defined in Linear.Quaternion Methods uniformM :: StatefulGen g m => g -> m (Quaternion a) | |||||
| UniformRange a => UniformRange (Quaternion a) | |||||
Defined in Linear.Quaternion Methods uniformRM :: StatefulGen g m => (Quaternion a, Quaternion a) -> g -> m (Quaternion a) | |||||
| Unbox a => Unbox (Quaternion a) | |||||
Defined in Linear.Quaternion | |||||
| FoldableWithIndex (E Quaternion) Quaternion | |||||
Defined in Linear.Quaternion Methods ifoldMap :: Monoid m => (E Quaternion -> a -> m) -> Quaternion a -> m ifoldMap' :: Monoid m => (E Quaternion -> a -> m) -> Quaternion a -> m ifoldr :: (E Quaternion -> a -> b -> b) -> b -> Quaternion a -> b ifoldl :: (E Quaternion -> b -> a -> b) -> b -> Quaternion a -> b ifoldr' :: (E Quaternion -> a -> b -> b) -> b -> Quaternion a -> b ifoldl' :: (E Quaternion -> b -> a -> b) -> b -> Quaternion a -> b | |||||
| FunctorWithIndex (E Quaternion) Quaternion | |||||
Defined in Linear.Quaternion Methods imap :: (E Quaternion -> a -> b) -> Quaternion a -> Quaternion b | |||||
| TraversableWithIndex (E Quaternion) Quaternion | |||||
Defined in Linear.Quaternion Methods itraverse :: Applicative f => (E Quaternion -> a -> f b) -> Quaternion a -> f (Quaternion b) | |||||
| Each (Quaternion a) (Quaternion b) a b | |||||
Defined in Linear.Quaternion Methods each :: Traversal (Quaternion a) (Quaternion b) a b | |||||
| Field1 (Quaternion a) (Quaternion a) a a | |||||
Defined in Linear.Quaternion Methods _1 :: Lens (Quaternion a) (Quaternion a) a a | |||||
| Field2 (Quaternion a) (Quaternion a) a a | |||||
Defined in Linear.Quaternion Methods _2 :: Lens (Quaternion a) (Quaternion a) a a | |||||
| Field3 (Quaternion a) (Quaternion a) a a | |||||
Defined in Linear.Quaternion Methods _3 :: Lens (Quaternion a) (Quaternion a) a a | |||||
| Field4 (Quaternion a) (Quaternion a) a a | |||||
Defined in Linear.Quaternion Methods _4 :: Lens (Quaternion a) (Quaternion a) a a | |||||
| type Rep Quaternion | |||||
Defined in Linear.Quaternion | |||||
| type Diff Quaternion | |||||
Defined in Linear.Affine | |||||
| type Size Quaternion | |||||
Defined in Linear.Quaternion type Size Quaternion = 4 | |||||
| type Rep1 Quaternion | |||||
Defined in Linear.Quaternion type Rep1 Quaternion = D1 ('MetaData "Quaternion" "Linear.Quaternion" "linear-1.23.3-ADGR3XL3jXeLQNN7Kf8DKT" 'False) (C1 ('MetaCons "Quaternion" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) Par1 :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedUnpack) (Rec1 V3))) | |||||
| data MVector s (Quaternion a) | |||||
Defined in Linear.Quaternion | |||||
| type Rep (Quaternion a) | |||||
Defined in Linear.Quaternion type Rep (Quaternion a) = D1 ('MetaData "Quaternion" "Linear.Quaternion" "linear-1.23.3-ADGR3XL3jXeLQNN7Kf8DKT" 'False) (C1 ('MetaCons "Quaternion" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedUnpack) (Rec0 (V3 a)))) | |||||
| type Index (Quaternion a) | |||||
Defined in Linear.Quaternion | |||||
| type IxValue (Quaternion a) | |||||
Defined in Linear.Quaternion type IxValue (Quaternion a) = a | |||||
| data Vector (Quaternion a) | |||||
Defined in Linear.Quaternion | |||||
absi :: Floating a => Quaternion a -> a #
acoshq :: RealFloat a => Quaternion a -> Quaternion a -> Quaternion a #
acosq :: RealFloat a => Quaternion a -> Quaternion a -> Quaternion a #
asinhq :: RealFloat a => Quaternion a -> Quaternion a -> Quaternion a #
asinq :: RealFloat a => Quaternion a -> Quaternion a -> Quaternion a #
atanhq :: RealFloat a => Quaternion a -> Quaternion a -> Quaternion a #
atanq :: RealFloat a => Quaternion a -> Quaternion a -> Quaternion a #
axisAngle :: (Epsilon a, Floating a) => V3 a -> a -> Quaternion a #
ee :: forall (t :: Type -> Type). Complicated t => E t #
ei :: forall (t :: Type -> Type). Complicated t => E t #
ej :: forall (t :: Type -> Type). Hamiltonian t => E t #
ek :: forall (t :: Type -> Type). Hamiltonian t => E t #
pow :: RealFloat a => Quaternion a -> a -> Quaternion a #
slerp :: RealFloat a => Quaternion a -> Quaternion a -> a -> Quaternion a #
Constructors
| V0 |
Instances
| Representable V0 | |
| MonadFix V0 | |
| MonadZip V0 | |
| Foldable V0 | |
Defined in Linear.V0 Methods foldMap :: Monoid m => (a -> m) -> V0 a -> m foldMap' :: Monoid m => (a -> m) -> V0 a -> m foldr :: (a -> b -> b) -> b -> V0 a -> b foldr' :: (a -> b -> b) -> b -> V0 a -> b foldl :: (b -> a -> b) -> b -> V0 a -> b foldl' :: (b -> a -> b) -> b -> V0 a -> b foldr1 :: (a -> a -> a) -> V0 a -> a foldl1 :: (a -> a -> a) -> V0 a -> a | |
| Eq1 V0 | |
| Ord1 V0 | |
Defined in Linear.V0 Methods liftCompare :: (a -> b -> Ordering) -> V0 a -> V0 b -> Ordering | |
| Read1 V0 | |
Defined in Linear.V0 Methods liftReadsPrec :: (Int -> ReadS a) -> ReadS [a] -> Int -> ReadS (V0 a) liftReadList :: (Int -> ReadS a) -> ReadS [a] -> ReadS [V0 a] liftReadPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec (V0 a) liftReadListPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec [V0 a] | |
| Show1 V0 | |
Defined in Linear.V0 Methods liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> V0 a -> ShowS liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [V0 a] -> ShowS | |
| Traversable V0 | |
| Applicative V0 | |
| Functor V0 | |
| Monad V0 | |
| Serial1 V0 | |
Defined in Linear.V0 Methods serializeWith :: MonadPut m => (a -> m ()) -> V0 a -> m () deserializeWith :: MonadGet m => m a -> m (V0 a) | |
| Distributive V0 | |
| Hashable1 V0 | |
Defined in Linear.V0 Methods liftHashWithSalt :: (Int -> a -> Int) -> Int -> V0 a -> Int | |
| Affine V0 | |
| Metric V0 | |
| Trace V0 | |
| Finite V0 | |
| Additive V0 | |
| Apply V0 | |
| Bind V0 | |
| Generic1 V0 | |
| Num r => Algebra r (E V0) | |
| Num r => Coalgebra r (E V0) | |
| Lift (V0 a :: Type) | |
| Vector Vector (V0 a) | |
Defined in Linear.V0 Methods basicUnsafeFreeze :: Mutable Vector s (V0 a) -> ST s (Vector (V0 a)) basicUnsafeThaw :: Vector (V0 a) -> ST s (Mutable Vector s (V0 a)) basicLength :: Vector (V0 a) -> Int basicUnsafeSlice :: Int -> Int -> Vector (V0 a) -> Vector (V0 a) basicUnsafeIndexM :: Vector (V0 a) -> Int -> Box (V0 a) basicUnsafeCopy :: Mutable Vector s (V0 a) -> Vector (V0 a) -> ST s () | |
| MVector MVector (V0 a) | |
Defined in Linear.V0 Methods basicLength :: MVector s (V0 a) -> Int basicUnsafeSlice :: Int -> Int -> MVector s (V0 a) -> MVector s (V0 a) basicOverlaps :: MVector s (V0 a) -> MVector s (V0 a) -> Bool basicUnsafeNew :: Int -> ST s (MVector s (V0 a)) basicInitialize :: MVector s (V0 a) -> ST s () basicUnsafeReplicate :: Int -> V0 a -> ST s (MVector s (V0 a)) basicUnsafeRead :: MVector s (V0 a) -> Int -> ST s (V0 a) basicUnsafeWrite :: MVector s (V0 a) -> Int -> V0 a -> ST s () basicClear :: MVector s (V0 a) -> ST s () basicSet :: MVector s (V0 a) -> V0 a -> ST s () basicUnsafeCopy :: MVector s (V0 a) -> MVector s (V0 a) -> ST s () basicUnsafeMove :: MVector s (V0 a) -> MVector s (V0 a) -> ST s () basicUnsafeGrow :: MVector s (V0 a) -> Int -> ST s (MVector s (V0 a)) | |
| Data a => Data (V0 a) | |
Defined in Linear.V0 Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> V0 a -> c (V0 a) gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (V0 a) dataTypeOf :: V0 a -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (V0 a)) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (V0 a)) gmapT :: (forall b. Data b => b -> b) -> V0 a -> V0 a gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> V0 a -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> V0 a -> r gmapQ :: (forall d. Data d => d -> u) -> V0 a -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> V0 a -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> V0 a -> m (V0 a) gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> V0 a -> m (V0 a) gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> V0 a -> m (V0 a) | |
| Storable (V0 a) | |
Defined in Linear.V0 Methods peekElemOff :: Ptr (V0 a) -> Int -> IO (V0 a) pokeElemOff :: Ptr (V0 a) -> Int -> V0 a -> IO () peekByteOff :: Ptr b -> Int -> IO (V0 a) pokeByteOff :: Ptr b -> Int -> V0 a -> IO () | |
| Monoid (V0 a) | |
| Semigroup (V0 a) | |
| Bounded (V0 a) | |
| Enum (V0 a) | |
| Floating (V0 a) | |
| Generic (V0 a) | |
| Ix (V0 a) | |
| Num (V0 a) | |
| Read (V0 a) | |
| Fractional (V0 a) | |
| Show (V0 a) | |
| Binary (V0 a) | |
| Serial (V0 a) | |
Defined in Linear.V0 | |
| Serialize (V0 a) | |
| NFData (V0 a) | |
| Eq (V0 a) | |
| Ord (V0 a) | |
| Hashable (V0 a) | |
Defined in Linear.V0 | |
| Ixed (V0 a) | |
| Epsilon (V0 a) | |
| Random (V0 a) | |
| Uniform (V0 a) | |
| UniformRange (V0 a) | |
| Unbox (V0 a) | |
Defined in Linear.V0 | |
| FoldableWithIndex (E V0) V0 | |
| FunctorWithIndex (E V0) V0 | |
| TraversableWithIndex (E V0) V0 | |
| Each (V0 a) (V0 b) a b | |
| type Rep V0 | |
| type Diff V0 | |
Defined in Linear.Affine | |
| type Size V0 | |
| type Rep1 V0 | |
| newtype MVector s (V0 a) | |
| type Rep (V0 a) | |
| type Index (V0 a) | |
| type IxValue (V0 a) | |
| newtype Vector (V0 a) | |
class R3 t => R4 (t :: Type -> Type) where #
Instances
| R4 Quaternion | |
Defined in Linear.Quaternion | |
| R4 V4 | |
| R4 f => R4 (Point f) | |
normalizePoint :: Fractional a => V4 a -> V3 a #
newtype E (t :: Type -> Type) #
Instances
| Num r => Algebra r (E Complex) | |
| (Num r, TrivialConjugate r) => Algebra r (E Quaternion) | |
Defined in Linear.Algebra Methods mult :: (E Quaternion -> E Quaternion -> r) -> E Quaternion -> r # unital :: r -> E Quaternion -> r # | |
| Num r => Algebra r (E V0) | |
| Num r => Algebra r (E V1) | |
| Num r => Coalgebra r (E Complex) | |
| (Num r, TrivialConjugate r) => Coalgebra r (E Quaternion) | |
Defined in Linear.Algebra Methods comult :: (E Quaternion -> r) -> E Quaternion -> E Quaternion -> r # counital :: (E Quaternion -> r) -> r # | |
| Num r => Coalgebra r (E V0) | |
| Num r => Coalgebra r (E V1) | |
| Num r => Coalgebra r (E V2) | |
| Num r => Coalgebra r (E V3) | |
| Num r => Coalgebra r (E V4) | |
| FoldableWithIndex (E Plucker) Plucker | |
Defined in Linear.Plucker Methods ifoldMap :: Monoid m => (E Plucker -> a -> m) -> Plucker a -> m ifoldMap' :: Monoid m => (E Plucker -> a -> m) -> Plucker a -> m ifoldr :: (E Plucker -> a -> b -> b) -> b -> Plucker a -> b ifoldl :: (E Plucker -> b -> a -> b) -> b -> Plucker a -> b ifoldr' :: (E Plucker -> a -> b -> b) -> b -> Plucker a -> b ifoldl' :: (E Plucker -> b -> a -> b) -> b -> Plucker a -> b | |
| FoldableWithIndex (E Quaternion) Quaternion | |
Defined in Linear.Quaternion Methods ifoldMap :: Monoid m => (E Quaternion -> a -> m) -> Quaternion a -> m ifoldMap' :: Monoid m => (E Quaternion -> a -> m) -> Quaternion a -> m ifoldr :: (E Quaternion -> a -> b -> b) -> b -> Quaternion a -> b ifoldl :: (E Quaternion -> b -> a -> b) -> b -> Quaternion a -> b ifoldr' :: (E Quaternion -> a -> b -> b) -> b -> Quaternion a -> b ifoldl' :: (E Quaternion -> b -> a -> b) -> b -> Quaternion a -> b | |
| FoldableWithIndex (E V0) V0 | |
| FoldableWithIndex (E V1) V1 | |
| FoldableWithIndex (E V2) V2 | |
| FoldableWithIndex (E V3) V3 | |
| FoldableWithIndex (E V4) V4 | |
| FunctorWithIndex (E Plucker) Plucker | |
Defined in Linear.Plucker | |
| FunctorWithIndex (E Quaternion) Quaternion | |
Defined in Linear.Quaternion Methods imap :: (E Quaternion -> a -> b) -> Quaternion a -> Quaternion b | |
| FunctorWithIndex (E V0) V0 | |
| FunctorWithIndex (E V1) V1 | |
| FunctorWithIndex (E V2) V2 | |
| FunctorWithIndex (E V3) V3 | |
| FunctorWithIndex (E V4) V4 | |
| TraversableWithIndex (E Plucker) Plucker | |
Defined in Linear.Plucker | |
| TraversableWithIndex (E Quaternion) Quaternion | |
Defined in Linear.Quaternion Methods itraverse :: Applicative f => (E Quaternion -> a -> f b) -> Quaternion a -> f (Quaternion b) | |
| TraversableWithIndex (E V0) V0 | |
| TraversableWithIndex (E V1) V1 | |
| TraversableWithIndex (E V2) V2 | |
| TraversableWithIndex (E V3) V3 | |
| TraversableWithIndex (E V4) V4 | |
type family Diff (p :: Type -> Type) :: Type -> Type #
Instances
| type Diff ZipList | |
Defined in Linear.Affine type Diff ZipList = ZipList | |
| type Diff Complex | |
Defined in Linear.Affine type Diff Complex = Complex | |
| type Diff Identity | |
Defined in Linear.Affine type Diff Identity = Identity | |
| type Diff IntMap | |
Defined in Linear.Affine type Diff IntMap = IntMap | |
| type Diff Plucker | |
Defined in Linear.Affine type Diff Plucker = Plucker | |
| type Diff Quaternion | |
Defined in Linear.Affine | |
| type Diff V0 | |
Defined in Linear.Affine | |
| type Diff V1 | |
Defined in Linear.Affine | |
| type Diff V2 | |
Defined in Linear.Affine | |
| type Diff V3 | |
Defined in Linear.Affine | |
| type Diff V4 | |
Defined in Linear.Affine | |
| type Diff Vector | |
Defined in Linear.Affine type Diff Vector = Vector | |
| type Diff Maybe | |
Defined in Linear.Affine type Diff Maybe = Maybe | |
| type Diff [] | |
Defined in Linear.Affine type Diff [] = [] | |
| type Diff (Map k) | |
Defined in Linear.Affine type Diff (Map k) = Map k | |
| type Diff (Point f) | |
Defined in Linear.Affine | |
| type Diff (HashMap k) | |
Defined in Linear.Affine type Diff (HashMap k) = HashMap k | |
| type Diff (V n) | |
Defined in Linear.Affine type Diff (V n) = V n | |
| type Diff (Product f g) | |
Defined in Linear.Affine | |
| type Diff ((->) b) | |
Defined in Linear.Affine type Diff ((->) b) = (->) b | |
_Point :: forall f1 a g b p f2. (Profunctor p, Functor f2) => p (f1 a) (f2 (g b)) -> p (Point f1 a) (f2 (Point g b)) #
relative :: forall (f :: Type -> Type) a. (Additive f, Num a) => Point f a -> Iso' (Point f a) (f a) #
Point
newtype Point (f :: Type -> Type) a #
Constructors
| P (f a) |
Instances
| Generic1 (Point f :: Type -> Type) | |||||
Defined in Linear.Affine Associated Types
| |||||
| Unbox (f a) => Vector Vector (Point f a) | |||||
Defined in Linear.Affine Methods basicUnsafeFreeze :: Mutable Vector s (Point f a) -> ST s (Vector (Point f a)) basicUnsafeThaw :: Vector (Point f a) -> ST s (Mutable Vector s (Point f a)) basicLength :: Vector (Point f a) -> Int basicUnsafeSlice :: Int -> Int -> Vector (Point f a) -> Vector (Point f a) basicUnsafeIndexM :: Vector (Point f a) -> Int -> Box (Point f a) basicUnsafeCopy :: Mutable Vector s (Point f a) -> Vector (Point f a) -> ST s () | |||||
| Unbox (f a) => MVector MVector (Point f a) | |||||
Defined in Linear.Affine Methods basicLength :: MVector s (Point f a) -> Int basicUnsafeSlice :: Int -> Int -> MVector s (Point f a) -> MVector s (Point f a) basicOverlaps :: MVector s (Point f a) -> MVector s (Point f a) -> Bool basicUnsafeNew :: Int -> ST s (MVector s (Point f a)) basicInitialize :: MVector s (Point f a) -> ST s () basicUnsafeReplicate :: Int -> Point f a -> ST s (MVector s (Point f a)) basicUnsafeRead :: MVector s (Point f a) -> Int -> ST s (Point f a) basicUnsafeWrite :: MVector s (Point f a) -> Int -> Point f a -> ST s () basicClear :: MVector s (Point f a) -> ST s () basicSet :: MVector s (Point f a) -> Point f a -> ST s () basicUnsafeCopy :: MVector s (Point f a) -> MVector s (Point f a) -> ST s () basicUnsafeMove :: MVector s (Point f a) -> MVector s (Point f a) -> ST s () basicUnsafeGrow :: MVector s (Point f a) -> Int -> ST s (MVector s (Point f a)) | |||||
| Representable f => Representable (Point f) | |||||
Defined in Linear.Affine Associated Types
| |||||
| Foldable f => Foldable (Point f) | |||||
Defined in Linear.Affine Methods fold :: Monoid m => Point f m -> m foldMap :: Monoid m => (a -> m) -> Point f a -> m foldMap' :: Monoid m => (a -> m) -> Point f a -> m foldr :: (a -> b -> b) -> b -> Point f a -> b foldr' :: (a -> b -> b) -> b -> Point f a -> b foldl :: (b -> a -> b) -> b -> Point f a -> b foldl' :: (b -> a -> b) -> b -> Point f a -> b foldr1 :: (a -> a -> a) -> Point f a -> a foldl1 :: (a -> a -> a) -> Point f a -> a elem :: Eq a => a -> Point f a -> Bool maximum :: Ord a => Point f a -> a minimum :: Ord a => Point f a -> a | |||||
| Eq1 f => Eq1 (Point f) | |||||
Defined in Linear.Affine | |||||
| Ord1 f => Ord1 (Point f) | |||||
Defined in Linear.Affine Methods liftCompare :: (a -> b -> Ordering) -> Point f a -> Point f b -> Ordering | |||||
| Read1 f => Read1 (Point f) | |||||
Defined in Linear.Affine Methods liftReadsPrec :: (Int -> ReadS a) -> ReadS [a] -> Int -> ReadS (Point f a) liftReadList :: (Int -> ReadS a) -> ReadS [a] -> ReadS [Point f a] liftReadPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec (Point f a) liftReadListPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec [Point f a] | |||||
| Show1 f => Show1 (Point f) | |||||
Defined in Linear.Affine Methods liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> Point f a -> ShowS liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [Point f a] -> ShowS | |||||
| Traversable f => Traversable (Point f) | |||||
| Applicative f => Applicative (Point f) | |||||
| Functor f => Functor (Point f) | |||||
| Monad f => Monad (Point f) | |||||
| Serial1 f => Serial1 (Point f) | |||||
Defined in Linear.Affine Methods serializeWith :: MonadPut m => (a -> m ()) -> Point f a -> m () deserializeWith :: MonadGet m => m a -> m (Point f a) | |||||
| Distributive f => Distributive (Point f) | |||||
Defined in Linear.Affine | |||||
| Hashable1 f => Hashable1 (Point f) | |||||
Defined in Linear.Affine Methods liftHashWithSalt :: (Int -> a -> Int) -> Int -> Point f a -> Int | |||||
| Additive f => Affine (Point f) | |||||
Defined in Linear.Affine Associated Types
| |||||
| Metric f => Metric (Point f) | |||||
Defined in Linear.Affine | |||||
| Finite f => Finite (Point f) | |||||
Defined in Linear.Affine Associated Types
| |||||
| R1 f => R1 (Point f) | |||||
Defined in Linear.Affine | |||||
| R2 f => R2 (Point f) | |||||
| R3 f => R3 (Point f) | |||||
| R4 f => R4 (Point f) | |||||
| Additive f => Additive (Point f) | |||||
Defined in Linear.Affine Methods (^+^) :: Num a => Point f a -> Point f a -> Point f a # (^-^) :: Num a => Point f a -> Point f a -> Point f a # lerp :: Num a => a -> Point f a -> Point f a -> Point f a # liftU2 :: (a -> a -> a) -> Point f a -> Point f a -> Point f a # liftI2 :: (a -> b -> c) -> Point f a -> Point f b -> Point f c # | |||||
| Apply f => Apply (Point f) | |||||
| Bind f => Bind (Point f) | |||||
| (Typeable f, Typeable a, Data (f a)) => Data (Point f a) | |||||
Defined in Linear.Affine Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Point f a -> c (Point f a) gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Point f a) toConstr :: Point f a -> Constr dataTypeOf :: Point f a -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Point f a)) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Point f a)) gmapT :: (forall b. Data b => b -> b) -> Point f a -> Point f a gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Point f a -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Point f a -> r gmapQ :: (forall d. Data d => d -> u) -> Point f a -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Point f a -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Point f a -> m (Point f a) gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Point f a -> m (Point f a) gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Point f a -> m (Point f a) | |||||
| Storable (f a) => Storable (Point f a) | |||||
Defined in Linear.Affine Methods peekElemOff :: Ptr (Point f a) -> Int -> IO (Point f a) pokeElemOff :: Ptr (Point f a) -> Int -> Point f a -> IO () peekByteOff :: Ptr b -> Int -> IO (Point f a) pokeByteOff :: Ptr b -> Int -> Point f a -> IO () | |||||
| Monoid (f a) => Monoid (Point f a) | |||||
| Semigroup (f a) => Semigroup (Point f a) | |||||
| Generic (Point f a) | |||||
Defined in Linear.Affine Associated Types
| |||||
| Ix (f a) => Ix (Point f a) | |||||
Defined in Linear.Affine Methods range :: (Point f a, Point f a) -> [Point f a] index :: (Point f a, Point f a) -> Point f a -> Int unsafeIndex :: (Point f a, Point f a) -> Point f a -> Int inRange :: (Point f a, Point f a) -> Point f a -> Bool rangeSize :: (Point f a, Point f a) -> Int unsafeRangeSize :: (Point f a, Point f a) -> Int | |||||
| Num (f a) => Num (Point f a) | |||||
| Read (f a) => Read (Point f a) | |||||
Defined in Linear.Affine | |||||
| Fractional (f a) => Fractional (Point f a) | |||||
Defined in Linear.Affine | |||||
| Show (f a) => Show (Point f a) | |||||
| Binary (f a) => Binary (Point f a) | |||||
| Serial (f a) => Serial (Point f a) | |||||
Defined in Linear.Affine | |||||
| Serialize (f a) => Serialize (Point f a) | |||||
Defined in Linear.Affine | |||||
| NFData (f a) => NFData (Point f a) | |||||
Defined in Linear.Affine | |||||
| Eq (f a) => Eq (Point f a) | |||||
| Ord (f a) => Ord (Point f a) | |||||
Defined in Linear.Affine | |||||
| Hashable (f a) => Hashable (Point f a) | |||||
Defined in Linear.Affine | |||||
| Ixed (f a) => Ixed (Point f a) | |||||
Defined in Linear.Affine | |||||
| Wrapped (Point f a) | |||||
Defined in Linear.Affine Associated Types
| |||||
| Epsilon (f a) => Epsilon (Point f a) | |||||
Defined in Linear.Affine | |||||
| Random (f a) => Random (Point f a) | |||||
| Unbox (f a) => Unbox (Point f a) | |||||
Defined in Linear.Affine | |||||
| t ~ Point g b => Rewrapped (Point f a) t | |||||
Defined in Linear.Affine | |||||
| Traversable f => Each (Point f a) (Point f b) a b | |||||
Defined in Linear.Affine | |||||
| type Rep1 (Point f :: Type -> Type) | |||||
Defined in Linear.Affine type Rep1 (Point f :: Type -> Type) = D1 ('MetaData "Point" "Linear.Affine" "linear-1.23.3-ADGR3XL3jXeLQNN7Kf8DKT" 'True) (C1 ('MetaCons "P" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec1 f))) | |||||
| newtype MVector s (Point f a) | |||||
Defined in Linear.Affine | |||||
| type Rep (Point f) | |||||
Defined in Linear.Affine type Rep (Point f) = Rep f | |||||
| type Diff (Point f) | |||||
Defined in Linear.Affine | |||||
| type Size (Point f) | |||||
Defined in Linear.Affine type Size (Point f) = Size f | |||||
| type Rep (Point f a) | |||||
Defined in Linear.Affine type Rep (Point f a) = D1 ('MetaData "Point" "Linear.Affine" "linear-1.23.3-ADGR3XL3jXeLQNN7Kf8DKT" 'True) (C1 ('MetaCons "P" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f a)))) | |||||
| type Index (Point f a) | |||||
Defined in Linear.Affine type Index (Point f a) = Index (f a) | |||||
| type IxValue (Point f a) | |||||
Defined in Linear.Affine type IxValue (Point f a) = IxValue (f a) | |||||
| type Unwrapped (Point f a) | |||||
Defined in Linear.Affine type Unwrapped (Point f a) = f a | |||||
| newtype Vector (Point f a) | |||||
Defined in Linear.Affine | |||||
Vectors
Constructors
| V2 !a !a |
Instances
| Representable V2 | |||||
| MonadFix V2 | |||||
| MonadZip V2 | |||||
| Foldable V2 | |||||
Defined in Linear.V2 Methods foldMap :: Monoid m => (a -> m) -> V2 a -> m foldMap' :: Monoid m => (a -> m) -> V2 a -> m foldr :: (a -> b -> b) -> b -> V2 a -> b foldr' :: (a -> b -> b) -> b -> V2 a -> b foldl :: (b -> a -> b) -> b -> V2 a -> b foldl' :: (b -> a -> b) -> b -> V2 a -> b foldr1 :: (a -> a -> a) -> V2 a -> a foldl1 :: (a -> a -> a) -> V2 a -> a | |||||
| Foldable1 V2 | |||||
Defined in Linear.V2 Methods fold1 :: Semigroup m => V2 m -> m foldMap1 :: Semigroup m => (a -> m) -> V2 a -> m foldMap1' :: Semigroup m => (a -> m) -> V2 a -> m toNonEmpty :: V2 a -> NonEmpty a foldrMap1 :: (a -> b) -> (a -> b -> b) -> V2 a -> b foldlMap1' :: (a -> b) -> (b -> a -> b) -> V2 a -> b foldlMap1 :: (a -> b) -> (b -> a -> b) -> V2 a -> b foldrMap1' :: (a -> b) -> (a -> b -> b) -> V2 a -> b | |||||
| Eq1 V2 | |||||
| Ord1 V2 | |||||
Defined in Linear.V2 Methods liftCompare :: (a -> b -> Ordering) -> V2 a -> V2 b -> Ordering | |||||
| Read1 V2 | |||||
Defined in Linear.V2 Methods liftReadsPrec :: (Int -> ReadS a) -> ReadS [a] -> Int -> ReadS (V2 a) liftReadList :: (Int -> ReadS a) -> ReadS [a] -> ReadS [V2 a] liftReadPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec (V2 a) liftReadListPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec [V2 a] | |||||
| Show1 V2 | |||||
Defined in Linear.V2 Methods liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> V2 a -> ShowS liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [V2 a] -> ShowS | |||||
| Traversable V2 | |||||
| Applicative V2 | |||||
| Functor V2 | |||||
| Monad V2 | |||||
| Serial1 V2 | |||||
Defined in Linear.V2 Methods serializeWith :: MonadPut m => (a -> m ()) -> V2 a -> m () deserializeWith :: MonadGet m => m a -> m (V2 a) | |||||
| Distributive V2 | |||||
| Hashable1 V2 | |||||
Defined in Linear.V2 Methods liftHashWithSalt :: (Int -> a -> Int) -> Int -> V2 a -> Int | |||||
| Affine V2 | |||||
| Metric V2 | |||||
| Trace V2 | |||||
| Finite V2 | |||||
| R1 V2 | |||||
| R2 V2 | |||||
| Additive V2 | |||||
| Apply V2 | |||||
| Bind V2 | |||||
| Traversable1 V2 | |||||
| Generic1 V2 | |||||
Defined in Linear.V2 Associated Types
| |||||
| Num r => Coalgebra r (E V2) | |||||
| Lift a => Lift (V2 a :: Type) | |||||
| Unbox a => Vector Vector (V2 a) | |||||
Defined in Linear.V2 Methods basicUnsafeFreeze :: Mutable Vector s (V2 a) -> ST s (Vector (V2 a)) basicUnsafeThaw :: Vector (V2 a) -> ST s (Mutable Vector s (V2 a)) basicLength :: Vector (V2 a) -> Int basicUnsafeSlice :: Int -> Int -> Vector (V2 a) -> Vector (V2 a) basicUnsafeIndexM :: Vector (V2 a) -> Int -> Box (V2 a) basicUnsafeCopy :: Mutable Vector s (V2 a) -> Vector (V2 a) -> ST s () | |||||
| Unbox a => MVector MVector (V2 a) | |||||
Defined in Linear.V2 Methods basicLength :: MVector s (V2 a) -> Int basicUnsafeSlice :: Int -> Int -> MVector s (V2 a) -> MVector s (V2 a) basicOverlaps :: MVector s (V2 a) -> MVector s (V2 a) -> Bool basicUnsafeNew :: Int -> ST s (MVector s (V2 a)) basicInitialize :: MVector s (V2 a) -> ST s () basicUnsafeReplicate :: Int -> V2 a -> ST s (MVector s (V2 a)) basicUnsafeRead :: MVector s (V2 a) -> Int -> ST s (V2 a) basicUnsafeWrite :: MVector s (V2 a) -> Int -> V2 a -> ST s () basicClear :: MVector s (V2 a) -> ST s () basicSet :: MVector s (V2 a) -> V2 a -> ST s () basicUnsafeCopy :: MVector s (V2 a) -> MVector s (V2 a) -> ST s () basicUnsafeMove :: MVector s (V2 a) -> MVector s (V2 a) -> ST s () basicUnsafeGrow :: MVector s (V2 a) -> Int -> ST s (MVector s (V2 a)) | |||||
| Data a => Data (V2 a) | |||||
Defined in Linear.V2 Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> V2 a -> c (V2 a) gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (V2 a) dataTypeOf :: V2 a -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (V2 a)) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (V2 a)) gmapT :: (forall b. Data b => b -> b) -> V2 a -> V2 a gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> V2 a -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> V2 a -> r gmapQ :: (forall d. Data d => d -> u) -> V2 a -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> V2 a -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> V2 a -> m (V2 a) gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> V2 a -> m (V2 a) gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> V2 a -> m (V2 a) | |||||
| Storable a => Storable (V2 a) | |||||
Defined in Linear.V2 Methods peekElemOff :: Ptr (V2 a) -> Int -> IO (V2 a) pokeElemOff :: Ptr (V2 a) -> Int -> V2 a -> IO () peekByteOff :: Ptr b -> Int -> IO (V2 a) pokeByteOff :: Ptr b -> Int -> V2 a -> IO () | |||||
| Monoid a => Monoid (V2 a) | |||||
| Semigroup a => Semigroup (V2 a) | |||||
| Bounded a => Bounded (V2 a) | |||||
| Floating a => Floating (V2 a) | |||||
| Generic (V2 a) | |||||
Defined in Linear.V2 Associated Types
| |||||
| Ix a => Ix (V2 a) | |||||
| Num a => Num (V2 a) | |||||
| Read a => Read (V2 a) | |||||
| Fractional a => Fractional (V2 a) | |||||
| Show a => Show (V2 a) | |||||
| Binary a => Binary (V2 a) | |||||
| Serial a => Serial (V2 a) | |||||
Defined in Linear.V2 | |||||
| Serialize a => Serialize (V2 a) | |||||
| NFData a => NFData (V2 a) | |||||
| Eq a => Eq (V2 a) | |||||
| Ord a => Ord (V2 a) | |||||
| Hashable a => Hashable (V2 a) | |||||
Defined in Linear.V2 | |||||
| Ixed (V2 a) | |||||
| Epsilon a => Epsilon (V2 a) | |||||
| Random a => Random (V2 a) | |||||
| Uniform a => Uniform (V2 a) | |||||
| UniformRange a => UniformRange (V2 a) | |||||
| Unbox a => Unbox (V2 a) | |||||
Defined in Linear.V2 | |||||
| FoldableWithIndex (E V2) V2 | |||||
| FunctorWithIndex (E V2) V2 | |||||
| TraversableWithIndex (E V2) V2 | |||||
| Each (V2 a) (V2 b) a b | |||||
| Field1 (V2 a) (V2 a) a a | |||||
| Field2 (V2 a) (V2 a) a a | |||||
| type Rep V2 | |||||
| type Diff V2 | |||||
Defined in Linear.Affine | |||||
| type Size V2 | |||||
| type Rep1 V2 | |||||
Defined in Linear.V2 type Rep1 V2 = D1 ('MetaData "V2" "Linear.V2" "linear-1.23.3-ADGR3XL3jXeLQNN7Kf8DKT" 'False) (C1 ('MetaCons "V2" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) Par1 :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) Par1)) | |||||
| data MVector s (V2 a) | |||||
| type Rep (V2 a) | |||||
Defined in Linear.V2 type Rep (V2 a) = D1 ('MetaData "V2" "Linear.V2" "linear-1.23.3-ADGR3XL3jXeLQNN7Kf8DKT" 'False) (C1 ('MetaCons "V2" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a))) | |||||
| type Index (V2 a) | |||||
| type IxValue (V2 a) | |||||
| data Vector (V2 a) | |||||
Constructors
| V3 !a !a !a |
Instances
| Representable V3 | |||||
| MonadFix V3 | |||||
| MonadZip V3 | |||||
| Foldable V3 | |||||
Defined in Linear.V3 Methods foldMap :: Monoid m => (a -> m) -> V3 a -> m foldMap' :: Monoid m => (a -> m) -> V3 a -> m foldr :: (a -> b -> b) -> b -> V3 a -> b foldr' :: (a -> b -> b) -> b -> V3 a -> b foldl :: (b -> a -> b) -> b -> V3 a -> b foldl' :: (b -> a -> b) -> b -> V3 a -> b foldr1 :: (a -> a -> a) -> V3 a -> a foldl1 :: (a -> a -> a) -> V3 a -> a | |||||
| Foldable1 V3 | |||||
Defined in Linear.V3 Methods fold1 :: Semigroup m => V3 m -> m foldMap1 :: Semigroup m => (a -> m) -> V3 a -> m foldMap1' :: Semigroup m => (a -> m) -> V3 a -> m toNonEmpty :: V3 a -> NonEmpty a foldrMap1 :: (a -> b) -> (a -> b -> b) -> V3 a -> b foldlMap1' :: (a -> b) -> (b -> a -> b) -> V3 a -> b foldlMap1 :: (a -> b) -> (b -> a -> b) -> V3 a -> b foldrMap1' :: (a -> b) -> (a -> b -> b) -> V3 a -> b | |||||
| Eq1 V3 | |||||
| Ord1 V3 | |||||
Defined in Linear.V3 Methods liftCompare :: (a -> b -> Ordering) -> V3 a -> V3 b -> Ordering | |||||
| Read1 V3 | |||||
Defined in Linear.V3 Methods liftReadsPrec :: (Int -> ReadS a) -> ReadS [a] -> Int -> ReadS (V3 a) liftReadList :: (Int -> ReadS a) -> ReadS [a] -> ReadS [V3 a] liftReadPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec (V3 a) liftReadListPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec [V3 a] | |||||
| Show1 V3 | |||||
Defined in Linear.V3 Methods liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> V3 a -> ShowS liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [V3 a] -> ShowS | |||||
| Traversable V3 | |||||
| Applicative V3 | |||||
| Functor V3 | |||||
| Monad V3 | |||||
| Serial1 V3 | |||||
Defined in Linear.V3 Methods serializeWith :: MonadPut m => (a -> m ()) -> V3 a -> m () deserializeWith :: MonadGet m => m a -> m (V3 a) | |||||
| Distributive V3 | |||||
| Hashable1 V3 | |||||
Defined in Linear.V3 Methods liftHashWithSalt :: (Int -> a -> Int) -> Int -> V3 a -> Int | |||||
| Affine V3 | |||||
| Metric V3 | |||||
| Trace V3 | |||||
| Finite V3 | |||||
| R1 V3 | |||||
| R2 V3 | |||||
| R3 V3 | |||||
| Additive V3 | |||||
| Apply V3 | |||||
| Bind V3 | |||||
| Traversable1 V3 | |||||
| Generic1 V3 | |||||
Defined in Linear.V3 Associated Types
| |||||
| Num r => Coalgebra r (E V3) | |||||
| Lift a => Lift (V3 a :: Type) | |||||
| Unbox a => Vector Vector (V3 a) | |||||
Defined in Linear.V3 Methods basicUnsafeFreeze :: Mutable Vector s (V3 a) -> ST s (Vector (V3 a)) basicUnsafeThaw :: Vector (V3 a) -> ST s (Mutable Vector s (V3 a)) basicLength :: Vector (V3 a) -> Int basicUnsafeSlice :: Int -> Int -> Vector (V3 a) -> Vector (V3 a) basicUnsafeIndexM :: Vector (V3 a) -> Int -> Box (V3 a) basicUnsafeCopy :: Mutable Vector s (V3 a) -> Vector (V3 a) -> ST s () | |||||
| Unbox a => MVector MVector (V3 a) | |||||
Defined in Linear.V3 Methods basicLength :: MVector s (V3 a) -> Int basicUnsafeSlice :: Int -> Int -> MVector s (V3 a) -> MVector s (V3 a) basicOverlaps :: MVector s (V3 a) -> MVector s (V3 a) -> Bool basicUnsafeNew :: Int -> ST s (MVector s (V3 a)) basicInitialize :: MVector s (V3 a) -> ST s () basicUnsafeReplicate :: Int -> V3 a -> ST s (MVector s (V3 a)) basicUnsafeRead :: MVector s (V3 a) -> Int -> ST s (V3 a) basicUnsafeWrite :: MVector s (V3 a) -> Int -> V3 a -> ST s () basicClear :: MVector s (V3 a) -> ST s () basicSet :: MVector s (V3 a) -> V3 a -> ST s () basicUnsafeCopy :: MVector s (V3 a) -> MVector s (V3 a) -> ST s () basicUnsafeMove :: MVector s (V3 a) -> MVector s (V3 a) -> ST s () basicUnsafeGrow :: MVector s (V3 a) -> Int -> ST s (MVector s (V3 a)) | |||||
| Data a => Data (V3 a) | |||||
Defined in Linear.V3 Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> V3 a -> c (V3 a) gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (V3 a) dataTypeOf :: V3 a -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (V3 a)) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (V3 a)) gmapT :: (forall b. Data b => b -> b) -> V3 a -> V3 a gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> V3 a -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> V3 a -> r gmapQ :: (forall d. Data d => d -> u) -> V3 a -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> V3 a -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> V3 a -> m (V3 a) gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> V3 a -> m (V3 a) gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> V3 a -> m (V3 a) | |||||
| Storable a => Storable (V3 a) | |||||
Defined in Linear.V3 Methods peekElemOff :: Ptr (V3 a) -> Int -> IO (V3 a) pokeElemOff :: Ptr (V3 a) -> Int -> V3 a -> IO () peekByteOff :: Ptr b -> Int -> IO (V3 a) pokeByteOff :: Ptr b -> Int -> V3 a -> IO () | |||||
| Monoid a => Monoid (V3 a) | |||||
| Semigroup a => Semigroup (V3 a) | |||||
| Bounded a => Bounded (V3 a) | |||||
| Floating a => Floating (V3 a) | |||||
| Generic (V3 a) | |||||
Defined in Linear.V3 Associated Types
| |||||
| Ix a => Ix (V3 a) | |||||
| Num a => Num (V3 a) | |||||
| Read a => Read (V3 a) | |||||
| Fractional a => Fractional (V3 a) | |||||
| Show a => Show (V3 a) | |||||
| Binary a => Binary (V3 a) | |||||
| Serial a => Serial (V3 a) | |||||
Defined in Linear.V3 | |||||
| Serialize a => Serialize (V3 a) | |||||
| NFData a => NFData (V3 a) | |||||
| Eq a => Eq (V3 a) | |||||
| Ord a => Ord (V3 a) | |||||
| Hashable a => Hashable (V3 a) | |||||
Defined in Linear.V3 | |||||
| Ixed (V3 a) | |||||
| Epsilon a => Epsilon (V3 a) | |||||
| Random a => Random (V3 a) | |||||
| Uniform a => Uniform (V3 a) | |||||
| UniformRange a => UniformRange (V3 a) | |||||
| Unbox a => Unbox (V3 a) | |||||
Defined in Linear.V3 | |||||
| FoldableWithIndex (E V3) V3 | |||||
| FunctorWithIndex (E V3) V3 | |||||
| TraversableWithIndex (E V3) V3 | |||||
| Each (V3 a) (V3 b) a b | |||||
| Field1 (V3 a) (V3 a) a a | |||||
| Field2 (V3 a) (V3 a) a a | |||||
| Field3 (V3 a) (V3 a) a a | |||||
| type Rep V3 | |||||
| type Diff V3 | |||||
Defined in Linear.Affine | |||||
| type Size V3 | |||||
| type Rep1 V3 | |||||
Defined in Linear.V3 type Rep1 V3 = D1 ('MetaData "V3" "Linear.V3" "linear-1.23.3-ADGR3XL3jXeLQNN7Kf8DKT" 'False) (C1 ('MetaCons "V3" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) Par1 :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) Par1 :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) Par1))) | |||||
| data MVector s (V3 a) | |||||
| type Rep (V3 a) | |||||
Defined in Linear.V3 type Rep (V3 a) = D1 ('MetaData "V3" "Linear.V3" "linear-1.23.3-ADGR3XL3jXeLQNN7Kf8DKT" 'False) (C1 ('MetaCons "V3" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a)))) | |||||
| type Index (V3 a) | |||||
| type IxValue (V3 a) | |||||
| data Vector (V3 a) | |||||
Constructors
| V4 !a !a !a !a |
Instances
| Representable V4 | |||||
| MonadFix V4 | |||||
| MonadZip V4 | |||||
| Foldable V4 | |||||
Defined in Linear.V4 Methods foldMap :: Monoid m => (a -> m) -> V4 a -> m foldMap' :: Monoid m => (a -> m) -> V4 a -> m foldr :: (a -> b -> b) -> b -> V4 a -> b foldr' :: (a -> b -> b) -> b -> V4 a -> b foldl :: (b -> a -> b) -> b -> V4 a -> b foldl' :: (b -> a -> b) -> b -> V4 a -> b foldr1 :: (a -> a -> a) -> V4 a -> a foldl1 :: (a -> a -> a) -> V4 a -> a | |||||
| Foldable1 V4 | |||||
Defined in Linear.V4 Methods fold1 :: Semigroup m => V4 m -> m foldMap1 :: Semigroup m => (a -> m) -> V4 a -> m foldMap1' :: Semigroup m => (a -> m) -> V4 a -> m toNonEmpty :: V4 a -> NonEmpty a foldrMap1 :: (a -> b) -> (a -> b -> b) -> V4 a -> b foldlMap1' :: (a -> b) -> (b -> a -> b) -> V4 a -> b foldlMap1 :: (a -> b) -> (b -> a -> b) -> V4 a -> b foldrMap1' :: (a -> b) -> (a -> b -> b) -> V4 a -> b | |||||
| Eq1 V4 | |||||
| Ord1 V4 | |||||
Defined in Linear.V4 Methods liftCompare :: (a -> b -> Ordering) -> V4 a -> V4 b -> Ordering | |||||
| Read1 V4 | |||||
Defined in Linear.V4 Methods liftReadsPrec :: (Int -> ReadS a) -> ReadS [a] -> Int -> ReadS (V4 a) liftReadList :: (Int -> ReadS a) -> ReadS [a] -> ReadS [V4 a] liftReadPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec (V4 a) liftReadListPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec [V4 a] | |||||
| Show1 V4 | |||||
Defined in Linear.V4 Methods liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> V4 a -> ShowS liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [V4 a] -> ShowS | |||||
| Traversable V4 | |||||
| Applicative V4 | |||||
| Functor V4 | |||||
| Monad V4 | |||||
| Serial1 V4 | |||||
Defined in Linear.V4 Methods serializeWith :: MonadPut m => (a -> m ()) -> V4 a -> m () deserializeWith :: MonadGet m => m a -> m (V4 a) | |||||
| Distributive V4 | |||||
| Hashable1 V4 | |||||
Defined in Linear.V4 Methods liftHashWithSalt :: (Int -> a -> Int) -> Int -> V4 a -> Int | |||||
| Affine V4 | |||||
| Metric V4 | |||||
| Trace V4 | |||||
| Finite V4 | |||||
| R1 V4 | |||||
| R2 V4 | |||||
| R3 V4 | |||||
| R4 V4 | |||||
| Additive V4 | |||||
| Apply V4 | |||||
| Bind V4 | |||||
| Traversable1 V4 | |||||
| Generic1 V4 | |||||
Defined in Linear.V4 Associated Types
| |||||
| Num r => Coalgebra r (E V4) | |||||
| Lift a => Lift (V4 a :: Type) | |||||
| Unbox a => Vector Vector (V4 a) | |||||
Defined in Linear.V4 Methods basicUnsafeFreeze :: Mutable Vector s (V4 a) -> ST s (Vector (V4 a)) basicUnsafeThaw :: Vector (V4 a) -> ST s (Mutable Vector s (V4 a)) basicLength :: Vector (V4 a) -> Int basicUnsafeSlice :: Int -> Int -> Vector (V4 a) -> Vector (V4 a) basicUnsafeIndexM :: Vector (V4 a) -> Int -> Box (V4 a) basicUnsafeCopy :: Mutable Vector s (V4 a) -> Vector (V4 a) -> ST s () | |||||
| Unbox a => MVector MVector (V4 a) | |||||
Defined in Linear.V4 Methods basicLength :: MVector s (V4 a) -> Int basicUnsafeSlice :: Int -> Int -> MVector s (V4 a) -> MVector s (V4 a) basicOverlaps :: MVector s (V4 a) -> MVector s (V4 a) -> Bool basicUnsafeNew :: Int -> ST s (MVector s (V4 a)) basicInitialize :: MVector s (V4 a) -> ST s () basicUnsafeReplicate :: Int -> V4 a -> ST s (MVector s (V4 a)) basicUnsafeRead :: MVector s (V4 a) -> Int -> ST s (V4 a) basicUnsafeWrite :: MVector s (V4 a) -> Int -> V4 a -> ST s () basicClear :: MVector s (V4 a) -> ST s () basicSet :: MVector s (V4 a) -> V4 a -> ST s () basicUnsafeCopy :: MVector s (V4 a) -> MVector s (V4 a) -> ST s () basicUnsafeMove :: MVector s (V4 a) -> MVector s (V4 a) -> ST s () basicUnsafeGrow :: MVector s (V4 a) -> Int -> ST s (MVector s (V4 a)) | |||||
| Data a => Data (V4 a) | |||||
Defined in Linear.V4 Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> V4 a -> c (V4 a) gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (V4 a) dataTypeOf :: V4 a -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (V4 a)) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (V4 a)) gmapT :: (forall b. Data b => b -> b) -> V4 a -> V4 a gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> V4 a -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> V4 a -> r gmapQ :: (forall d. Data d => d -> u) -> V4 a -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> V4 a -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> V4 a -> m (V4 a) gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> V4 a -> m (V4 a) gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> V4 a -> m (V4 a) | |||||
| Storable a => Storable (V4 a) | |||||
Defined in Linear.V4 Methods peekElemOff :: Ptr (V4 a) -> Int -> IO (V4 a) pokeElemOff :: Ptr (V4 a) -> Int -> V4 a -> IO () peekByteOff :: Ptr b -> Int -> IO (V4 a) pokeByteOff :: Ptr b -> Int -> V4 a -> IO () | |||||
| Monoid a => Monoid (V4 a) | |||||
| Semigroup a => Semigroup (V4 a) | |||||
| Bounded a => Bounded (V4 a) | |||||
| Floating a => Floating (V4 a) | |||||
| Generic (V4 a) | |||||
Defined in Linear.V4 Associated Types
| |||||
| Ix a => Ix (V4 a) | |||||
| Num a => Num (V4 a) | |||||
| Read a => Read (V4 a) | |||||
| Fractional a => Fractional (V4 a) | |||||
| Show a => Show (V4 a) | |||||
| Binary a => Binary (V4 a) | |||||
| Serial a => Serial (V4 a) | |||||
Defined in Linear.V4 | |||||
| Serialize a => Serialize (V4 a) | |||||
| NFData a => NFData (V4 a) | |||||
| Eq a => Eq (V4 a) | |||||
| Ord a => Ord (V4 a) | |||||
| Hashable a => Hashable (V4 a) | |||||
Defined in Linear.V4 | |||||
| Ixed (V4 a) | |||||
| Epsilon a => Epsilon (V4 a) | |||||
| Random a => Random (V4 a) | |||||
| Uniform a => Uniform (V4 a) | |||||
| UniformRange a => UniformRange (V4 a) | |||||
| Unbox a => Unbox (V4 a) | |||||
Defined in Linear.V4 | |||||
| FoldableWithIndex (E V4) V4 | |||||
| FunctorWithIndex (E V4) V4 | |||||
| TraversableWithIndex (E V4) V4 | |||||
| Each (V4 a) (V4 b) a b | |||||
| Field1 (V4 a) (V4 a) a a | |||||
| Field2 (V4 a) (V4 a) a a | |||||
| Field3 (V4 a) (V4 a) a a | |||||
| Field4 (V4 a) (V4 a) a a | |||||
| type Rep V4 | |||||
| type Diff V4 | |||||
Defined in Linear.Affine | |||||
| type Size V4 | |||||
| type Rep1 V4 | |||||
Defined in Linear.V4 type Rep1 V4 = D1 ('MetaData "V4" "Linear.V4" "linear-1.23.3-ADGR3XL3jXeLQNN7Kf8DKT" 'False) (C1 ('MetaCons "V4" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) Par1 :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) Par1) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) Par1 :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) Par1))) | |||||
| data MVector s (V4 a) | |||||
| type Rep (V4 a) | |||||
Defined in Linear.V4 type Rep (V4 a) = D1 ('MetaData "V4" "Linear.V4" "linear-1.23.3-ADGR3XL3jXeLQNN7Kf8DKT" 'False) (C1 ('MetaCons "V4" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a)))) | |||||
| type Index (V4 a) | |||||
| type IxValue (V4 a) | |||||
| data Vector (V4 a) | |||||