Modulesdl2-2.5.5.0Haskell2010

SDL.Internal.Vect

4 types

Packagesdl2-2.5.5.0
Exports4
LanguageHaskell2010
LicenceBSD-3-Clause
SourceVect.hs

newtypenewtype Point (f :: Type -> Type) a

A handy wrapper to help distinguish points from vectors at the type level

Constructors

P (f a)

Instances23Generic1, Monad, Functor, Applicative, Foldable, Traversable, …

Generic1 (Point f)Defined in sdl2-2.5.5.0 · SDL.Internal.Vect
Unbox (f a) => Vector Vector (Point f a)Defined in sdl2-2.5.5.0 · SDL.Internal.Vect
Unbox (f a) => MVector MVector (Point f a)Defined in sdl2-2.5.5.0 · SDL.Internal.Vect
Monad f => Monad (Point f)Defined in sdl2-2.5.5.0 · SDL.Internal.Vect
Functor f => Functor (Point f)Defined in sdl2-2.5.5.0 · SDL.Internal.Vect
Applicative f => Applicative (Point f)Defined in sdl2-2.5.5.0 · SDL.Internal.Vect
Foldable f => Foldable (Point f)Defined in sdl2-2.5.5.0 · SDL.Internal.Vect
Traversable f => Traversable (Point f)Defined in sdl2-2.5.5.0 · SDL.Internal.Vect
Eq (f a) => Eq (Point f a)Defined in sdl2-2.5.5.0 · SDL.Internal.Vect
Fractional (f a) => Fractional (Point f a)Defined in sdl2-2.5.5.0 · SDL.Internal.Vect
(Typeable f, Typeable a, Data (f a)) => Data (Point f a)Defined in sdl2-2.5.5.0 · SDL.Internal.Vect
Num (f a) => Num (Point f a)Defined in sdl2-2.5.5.0 · SDL.Internal.Vect
Ord (f a) => Ord (Point f a)Defined in sdl2-2.5.5.0 · SDL.Internal.Vect
Read (f a) => Read (Point f a)Defined in sdl2-2.5.5.0 · SDL.Internal.Vect
Show (f a) => Show (Point f a)Defined in sdl2-2.5.5.0 · SDL.Internal.Vect
Ix (f a) => Ix (Point f a)Defined in sdl2-2.5.5.0 · SDL.Internal.Vect
Generic (Point f a)Defined in sdl2-2.5.5.0 · SDL.Internal.Vect
Storable (f a) => Storable (Point f a)Defined in sdl2-2.5.5.0 · SDL.Internal.Vect
Unbox (f a) => Unbox (Point f a)Defined in sdl2-2.5.5.0 · SDL.Internal.Vect
type Rep (Point f a) = D1 ('MetaData "Point" "SDL.Internal.Vect" "sdl2-2.5.5.0-3sH3mgPhw4837qWuaPOiH" 'True) (C1 ('MetaCons "P" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f a))))Defined in sdl2-2.5.5.0 · SDL.Internal.Vect
type Rep1 (Point f) = D1 ('MetaData "Point" "SDL.Internal.Vect" "sdl2-2.5.5.0-3sH3mgPhw4837qWuaPOiH" 'True) (C1 ('MetaCons "P" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec1 f)))Defined in sdl2-2.5.5.0 · SDL.Internal.Vect
data MVector s (Point f a)
- MV_P !(MVector s (f a))
Defined in sdl2-2.5.5.0 · SDL.Internal.Vect
data Vector (Point f a)
- V_P !(Vector (f a))
Defined in sdl2-2.5.5.0 · SDL.Internal.Vect

datadata V2 a

A 2-dimensional vector

Example1 expression

>>> pure 1 :: V2 IntV2 1 1

Example1 expression

>>> V2 1 2 + V2 3 4V2 4 6

Example1 expression

>>> V2 1 2 * V2 3 4V2 3 8

Example1 expression

>>> sum (V2 1 2)3

Constructors

V2 !a !a

Instances27Monad, Functor, MonadFix, Applicative, Foldable, Traversable, …

Monad V2Defined in sdl2-2.5.5.0 · SDL.Internal.Vect
Functor V2Defined in sdl2-2.5.5.0 · SDL.Internal.Vect
MonadFix V2Defined in sdl2-2.5.5.0 · SDL.Internal.Vect
Applicative V2Defined in sdl2-2.5.5.0 · SDL.Internal.Vect
Foldable V2Defined in sdl2-2.5.5.0 · SDL.Internal.Vect
Traversable V2Defined in sdl2-2.5.5.0 · SDL.Internal.Vect
MonadZip V2Defined in sdl2-2.5.5.0 · SDL.Internal.Vect
Generic1 V2Defined in sdl2-2.5.5.0 · SDL.Internal.Vect
Unbox a => Vector Vector (V2 a)Defined in sdl2-2.5.5.0 · SDL.Internal.Vect
Unbox a => MVector MVector (V2 a)Defined in sdl2-2.5.5.0 · SDL.Internal.Vect
Bounded a => Bounded (V2 a)Defined in sdl2-2.5.5.0 · SDL.Internal.Vect
Eq a => Eq (V2 a)Defined in sdl2-2.5.5.0 · SDL.Internal.Vect
Floating a => Floating (V2 a)Defined in sdl2-2.5.5.0 · SDL.Internal.Vect
Fractional a => Fractional (V2 a)Defined in sdl2-2.5.5.0 · SDL.Internal.Vect
Data a => Data (V2 a)Defined in sdl2-2.5.5.0 · SDL.Internal.Vect
Num a => Num (V2 a)Defined in sdl2-2.5.5.0 · SDL.Internal.Vect
Ord a => Ord (V2 a)Defined in sdl2-2.5.5.0 · SDL.Internal.Vect
Read a => Read (V2 a)Defined in sdl2-2.5.5.0 · SDL.Internal.Vect
Show a => Show (V2 a)Defined in sdl2-2.5.5.0 · SDL.Internal.Vect
Ix a => Ix (V2 a)Defined in sdl2-2.5.5.0 · SDL.Internal.Vect
Generic (V2 a)Defined in sdl2-2.5.5.0 · SDL.Internal.Vect
Storable a => Storable (V2 a)Defined in sdl2-2.5.5.0 · SDL.Internal.Vect
Unbox a => Unbox (V2 a)Defined in sdl2-2.5.5.0 · SDL.Internal.Vect
type Rep (V2 a) = D1 ('MetaData "V2" "SDL.Internal.Vect" "sdl2-2.5.5.0-3sH3mgPhw4837qWuaPOiH" 'False) (C1 ('MetaCons "V2" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a)))Defined in sdl2-2.5.5.0 · SDL.Internal.Vect
type Rep1 V2 = D1 ('MetaData "V2" "SDL.Internal.Vect" "sdl2-2.5.5.0-3sH3mgPhw4837qWuaPOiH" 'False) (C1 ('MetaCons "V2" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) Par1 :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) Par1))Defined in sdl2-2.5.5.0 · SDL.Internal.Vect
data MVector s (V2 a)
- MV_V2 !Int !(MVector s a)
Defined in sdl2-2.5.5.0 · SDL.Internal.Vect
data Vector (V2 a)
- V_V2 !Int !(Vector a)
Defined in sdl2-2.5.5.0 · SDL.Internal.Vect

datadata V3 a

A 3-dimensional vector

Constructors

V3 !a !a !a

Instances27Monad, Functor, MonadFix, Applicative, Foldable, Traversable, …

Monad V3Defined in sdl2-2.5.5.0 · SDL.Internal.Vect
Functor V3Defined in sdl2-2.5.5.0 · SDL.Internal.Vect
MonadFix V3Defined in sdl2-2.5.5.0 · SDL.Internal.Vect
Applicative V3Defined in sdl2-2.5.5.0 · SDL.Internal.Vect
Foldable V3Defined in sdl2-2.5.5.0 · SDL.Internal.Vect
Traversable V3Defined in sdl2-2.5.5.0 · SDL.Internal.Vect
MonadZip V3Defined in sdl2-2.5.5.0 · SDL.Internal.Vect
Generic1 V3Defined in sdl2-2.5.5.0 · SDL.Internal.Vect
Unbox a => Vector Vector (V3 a)Defined in sdl2-2.5.5.0 · SDL.Internal.Vect
Unbox a => MVector MVector (V3 a)Defined in sdl2-2.5.5.0 · SDL.Internal.Vect
Bounded a => Bounded (V3 a)Defined in sdl2-2.5.5.0 · SDL.Internal.Vect
Eq a => Eq (V3 a)Defined in sdl2-2.5.5.0 · SDL.Internal.Vect
Floating a => Floating (V3 a)Defined in sdl2-2.5.5.0 · SDL.Internal.Vect
Fractional a => Fractional (V3 a)Defined in sdl2-2.5.5.0 · SDL.Internal.Vect
Data a => Data (V3 a)Defined in sdl2-2.5.5.0 · SDL.Internal.Vect
Num a => Num (V3 a)Defined in sdl2-2.5.5.0 · SDL.Internal.Vect
Ord a => Ord (V3 a)Defined in sdl2-2.5.5.0 · SDL.Internal.Vect
Read a => Read (V3 a)Defined in sdl2-2.5.5.0 · SDL.Internal.Vect
Show a => Show (V3 a)Defined in sdl2-2.5.5.0 · SDL.Internal.Vect
Ix a => Ix (V3 a)Defined in sdl2-2.5.5.0 · SDL.Internal.Vect
Generic (V3 a)Defined in sdl2-2.5.5.0 · SDL.Internal.Vect
Storable a => Storable (V3 a)Defined in sdl2-2.5.5.0 · SDL.Internal.Vect
Unbox a => Unbox (V3 a)Defined in sdl2-2.5.5.0 · SDL.Internal.Vect
type Rep (V3 a) = D1 ('MetaData "V3" "SDL.Internal.Vect" "sdl2-2.5.5.0-3sH3mgPhw4837qWuaPOiH" 'False) (C1 ('MetaCons "V3" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a))))Defined in sdl2-2.5.5.0 · SDL.Internal.Vect
type Rep1 V3 = D1 ('MetaData "V3" "SDL.Internal.Vect" "sdl2-2.5.5.0-3sH3mgPhw4837qWuaPOiH" 'False) (C1 ('MetaCons "V3" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) Par1 :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) Par1 :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) Par1)))Defined in sdl2-2.5.5.0 · SDL.Internal.Vect
data MVector s (V3 a)
- MV_V3 !Int !(MVector s a)
Defined in sdl2-2.5.5.0 · SDL.Internal.Vect
data Vector (V3 a)
- V_V3 !Int !(Vector a)
Defined in sdl2-2.5.5.0 · SDL.Internal.Vect

datadata V4 a

A 4-dimensional vector.

Constructors

V4 !a !a !a !a

Instances27Monad, Functor, MonadFix, Applicative, Foldable, Traversable, …

Monad V4Defined in sdl2-2.5.5.0 · SDL.Internal.Vect
Functor V4Defined in sdl2-2.5.5.0 · SDL.Internal.Vect
MonadFix V4Defined in sdl2-2.5.5.0 · SDL.Internal.Vect
Applicative V4Defined in sdl2-2.5.5.0 · SDL.Internal.Vect
Foldable V4Defined in sdl2-2.5.5.0 · SDL.Internal.Vect
Traversable V4Defined in sdl2-2.5.5.0 · SDL.Internal.Vect
MonadZip V4Defined in sdl2-2.5.5.0 · SDL.Internal.Vect
Generic1 V4Defined in sdl2-2.5.5.0 · SDL.Internal.Vect
Unbox a => Vector Vector (V4 a)Defined in sdl2-2.5.5.0 · SDL.Internal.Vect
Unbox a => MVector MVector (V4 a)Defined in sdl2-2.5.5.0 · SDL.Internal.Vect
Bounded a => Bounded (V4 a)Defined in sdl2-2.5.5.0 · SDL.Internal.Vect
Eq a => Eq (V4 a)Defined in sdl2-2.5.5.0 · SDL.Internal.Vect
Floating a => Floating (V4 a)Defined in sdl2-2.5.5.0 · SDL.Internal.Vect
Fractional a => Fractional (V4 a)Defined in sdl2-2.5.5.0 · SDL.Internal.Vect
Data a => Data (V4 a)Defined in sdl2-2.5.5.0 · SDL.Internal.Vect
Num a => Num (V4 a)Defined in sdl2-2.5.5.0 · SDL.Internal.Vect
Ord a => Ord (V4 a)Defined in sdl2-2.5.5.0 · SDL.Internal.Vect
Read a => Read (V4 a)Defined in sdl2-2.5.5.0 · SDL.Internal.Vect
Show a => Show (V4 a)Defined in sdl2-2.5.5.0 · SDL.Internal.Vect
Ix a => Ix (V4 a)Defined in sdl2-2.5.5.0 · SDL.Internal.Vect
Generic (V4 a)Defined in sdl2-2.5.5.0 · SDL.Internal.Vect
Storable a => Storable (V4 a)Defined in sdl2-2.5.5.0 · SDL.Internal.Vect
Unbox a => Unbox (V4 a)Defined in sdl2-2.5.5.0 · SDL.Internal.Vect
type Rep (V4 a) = D1 ('MetaData "V4" "SDL.Internal.Vect" "sdl2-2.5.5.0-3sH3mgPhw4837qWuaPOiH" 'False) (C1 ('MetaCons "V4" 'PrefixI 'False) ((S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a)) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a))))Defined in sdl2-2.5.5.0 · SDL.Internal.Vect
type Rep1 V4 = D1 ('MetaData "V4" "SDL.Internal.Vect" "sdl2-2.5.5.0-3sH3mgPhw4837qWuaPOiH" 'False) (C1 ('MetaCons "V4" 'PrefixI 'False) ((S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) Par1 :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) Par1) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) Par1 :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) Par1)))Defined in sdl2-2.5.5.0 · SDL.Internal.Vect
data MVector s (V4 a)
- MV_V4 !Int !(MVector s a)
Defined in sdl2-2.5.5.0 · SDL.Internal.Vect
data Vector (V4 a)
- V_V4 !Int !(Vector a)
Defined in sdl2-2.5.5.0 · SDL.Internal.Vect