Numeric.Vector

Vector is an alias to a DataFrame with order 1.

Type aliases

type Vector (t :: l) (n :: k) = DataFrame t '[n]

type Vec2f = Vector Float 2

type Vec3f = Vector Float 3

type Vec4f = Vector Float 4

type Vec2d = Vector Double 2

type Vec3d = Vector Double 3

type Vec4d = Vector Double 4

type Vec2i = Vector Int 2

type Vec3i = Vector Int 3

type Vec4i = Vector Int 4

type Vec2w = Vector Word 2

type Vec3w = Vector Word 3

type Vec4w = Vector Word 4

Vector constructors

class Vector2 t where

Packing and unpacking 2D vectors

Methods

vec2 :: t -> t -> Vector t 2

Compose a 2D vector

unpackV2# :: Vector t 2 -> (# t, t #)

Unpack 2D vector elements

Instances

SubSpace t '[2] ('[] :: [Nat]) '[2] => Vector2 t

Defined in Numeric.Vector.Internal

Methods

vec2 :: t -> t -> Vector t 2

unpackV2# :: Vector t 2 -> (# t, t #)

class Vector3 t where

Packing and unpacking 3D vectors

Methods

vec3 :: t -> t -> t -> Vector t 3

Compose a 3D vector

unpackV3# :: Vector t 3 -> (# t, t, t #)

Unpack 3D vector elements

Instances

SubSpace t '[3] ('[] :: [Nat]) '[3] => Vector3 t

Defined in Numeric.Vector.Internal

Methods

vec3 :: t -> t -> t -> Vector t 3

unpackV3# :: Vector t 3 -> (# t, t, t #)

class Vector4 t where

Packing and unpacking 4D vectors

Methods

vec4 :: t -> t -> t -> t -> Vector t 4

Compose a 4D vector

unpackV4# :: Vector t 4 -> (# t, t, t, t #)

Unpack 4D vector elements

Instances

SubSpace t '[4] ('[] :: [Nat]) '[4] => Vector4 t

Defined in Numeric.Vector.Internal

Methods

vec4 :: t -> t -> t -> t -> Vector t 4

unpackV4# :: Vector t 4 -> (# t, t, t, t #)

data family DataFrame (t :: l) (xs :: [k])

Keep data in a primitive data frame and maintain information about Dimensions in the type system

Instances

(Dimensions xns, KnownBackend t (DimsBound xns), PrimArray t (DataFrame t (DimsBound xns)), PrimBytes t) => PrimArray t (DataFrame t xns)

Defined in Numeric.DataFrame.Type

Methods

broadcast# :: t -> DataFrame t xns

ix# :: Int# -> DataFrame t xns -> t

gen# :: CumulDims -> (s -> (# s, t #)) -> s -> (# s, DataFrame t xns #)

upd# :: CumulDims -> Int# -> t -> DataFrame t xns -> DataFrame t xns

withArrayContent# :: forall (rep :: RuntimeRep) (r :: TYPE rep). (t -> r) -> (CumulDims -> Int# -> ByteArray# -> r) -> DataFrame t xns -> r

offsetElems :: DataFrame t xns -> Int#

uniqueOrCumulDims :: DataFrame t xns -> Either t CumulDims

fromElems# :: CumulDims -> Int# -> ByteArray# -> DataFrame t xns

(PrimArray t (DFBackend t ds), PrimBytes t) => PrimArray t (DataFrame t ds)

Defined in Numeric.DataFrame.Type

Methods

broadcast# :: t -> DataFrame t ds

ix# :: Int# -> DataFrame t ds -> t

gen# :: CumulDims -> (s -> (# s, t #)) -> s -> (# s, DataFrame t ds #)

upd# :: CumulDims -> Int# -> t -> DataFrame t ds -> DataFrame t ds

withArrayContent# :: forall (rep :: RuntimeRep) (r :: TYPE rep). (t -> r) -> (CumulDims -> Int# -> ByteArray# -> r) -> DataFrame t ds -> r

offsetElems :: DataFrame t ds -> Int#

uniqueOrCumulDims :: DataFrame t ds -> Either t CumulDims

fromElems# :: CumulDims -> Int# -> ByteArray# -> DataFrame t ds

Ord (ProductOrd (DFBackend t ds)) => Ord (ProductOrd (DataFrame t ds))

Defined in Numeric.DataFrame.Type

Methods

compare :: ProductOrd (DataFrame t ds) -> ProductOrd (DataFrame t ds) -> Ordering

(<) :: ProductOrd (DataFrame t ds) -> ProductOrd (DataFrame t ds) -> Bool

(<=) :: ProductOrd (DataFrame t ds) -> ProductOrd (DataFrame t ds) -> Bool

(>) :: ProductOrd (DataFrame t ds) -> ProductOrd (DataFrame t ds) -> Bool

(>=) :: ProductOrd (DataFrame t ds) -> ProductOrd (DataFrame t ds) -> Bool

max :: ProductOrd (DataFrame t ds) -> ProductOrd (DataFrame t ds) -> ProductOrd (DataFrame t ds)

min :: ProductOrd (DataFrame t ds) -> ProductOrd (DataFrame t ds) -> ProductOrd (DataFrame t ds)

(Ord (ProductOrd (DFBackend t ds)), Eq (DFBackend t ds)) => Ord (ProductOrd (DataFrame t ds))

Defined in Numeric.DataFrame.Type

Methods

compare :: ProductOrd (DataFrame t ds) -> ProductOrd (DataFrame t ds) -> Ordering

(<) :: ProductOrd (DataFrame t ds) -> ProductOrd (DataFrame t ds) -> Bool

(<=) :: ProductOrd (DataFrame t ds) -> ProductOrd (DataFrame t ds) -> Bool

(>) :: ProductOrd (DataFrame t ds) -> ProductOrd (DataFrame t ds) -> Bool

(>=) :: ProductOrd (DataFrame t ds) -> ProductOrd (DataFrame t ds) -> Bool

max :: ProductOrd (DataFrame t ds) -> ProductOrd (DataFrame t ds) -> ProductOrd (DataFrame t ds)

min :: ProductOrd (DataFrame t ds) -> ProductOrd (DataFrame t ds) -> ProductOrd (DataFrame t ds)

Bounded (DFBackend t ds) => Bounded (DataFrame t ds)

Defined in Numeric.DataFrame.Type

Methods

minBound :: DataFrame t ds

maxBound :: DataFrame t ds

(Dimensions xns, KnownBackends ts (DimsBound xns), Bounded (DataFrame ts (DimsBound xns))) => Bounded (DataFrame ts xns)

Defined in Numeric.DataFrame.Type

Methods

minBound :: DataFrame ts xns

maxBound :: DataFrame ts xns

Enum (DFBackend t ds) => Enum (DataFrame t ds)

Defined in Numeric.DataFrame.Type

Methods

succ :: DataFrame t ds -> DataFrame t ds

pred :: DataFrame t ds -> DataFrame t ds

toEnum :: Int -> DataFrame t ds

fromEnum :: DataFrame t ds -> Int

enumFrom :: DataFrame t ds -> [DataFrame t ds]

enumFromThen :: DataFrame t ds -> DataFrame t ds -> [DataFrame t ds]

enumFromTo :: DataFrame t ds -> DataFrame t ds -> [DataFrame t ds]

enumFromThenTo :: DataFrame t ds -> DataFrame t ds -> DataFrame t ds -> [DataFrame t ds]

(Enum (DataFrame ts ('[] :: [Nat])), KnownBackends ts ('[] :: [Nat])) => Enum (DataFrame ts ('[] :: [XNat]))

Defined in Numeric.DataFrame.Type

Methods

succ :: DataFrame ts '[] -> DataFrame ts '[]

pred :: DataFrame ts '[] -> DataFrame ts '[]

toEnum :: Int -> DataFrame ts '[]

fromEnum :: DataFrame ts '[] -> Int

enumFrom :: DataFrame ts '[] -> [DataFrame ts '[]]

enumFromThen :: DataFrame ts '[] -> DataFrame ts '[] -> [DataFrame ts '[]]

enumFromTo :: DataFrame ts '[] -> DataFrame ts '[] -> [DataFrame ts '[]]

enumFromThenTo :: DataFrame ts '[] -> DataFrame ts '[] -> DataFrame ts '[] -> [DataFrame ts '[]]

AllFrames Eq ts ds => Eq (DataFrame ts ds)

Defined in Numeric.DataFrame.Type

Methods

(==) :: DataFrame ts ds -> DataFrame ts ds -> Bool

(/=) :: DataFrame ts ds -> DataFrame ts ds -> Bool

All Eq ts => Eq (DataFrame ts ds)

Defined in Numeric.DataFrame.Type

Methods

(==) :: DataFrame ts ds -> DataFrame ts ds -> Bool

(/=) :: DataFrame ts ds -> DataFrame ts ds -> Bool

Eq (DFBackend t ds) => Eq (DataFrame t ds)

Defined in Numeric.DataFrame.Type

Methods

(==) :: DataFrame t ds -> DataFrame t ds -> Bool

(/=) :: DataFrame t ds -> DataFrame t ds -> Bool

Eq t => Eq (DataFrame t ds)

Defined in Numeric.DataFrame.Type

Methods

(==) :: DataFrame t ds -> DataFrame t ds -> Bool

(/=) :: DataFrame t ds -> DataFrame t ds -> Bool

Floating (DFBackend t ds) => Floating (DataFrame t ds)

Defined in Numeric.DataFrame.Type

Methods

pi :: DataFrame t ds

exp :: DataFrame t ds -> DataFrame t ds

log :: DataFrame t ds -> DataFrame t ds

sqrt :: DataFrame t ds -> DataFrame t ds

(**) :: DataFrame t ds -> DataFrame t ds -> DataFrame t ds

logBase :: DataFrame t ds -> DataFrame t ds -> DataFrame t ds

sin :: DataFrame t ds -> DataFrame t ds

cos :: DataFrame t ds -> DataFrame t ds

tan :: DataFrame t ds -> DataFrame t ds

asin :: DataFrame t ds -> DataFrame t ds

acos :: DataFrame t ds -> DataFrame t ds

atan :: DataFrame t ds -> DataFrame t ds

sinh :: DataFrame t ds -> DataFrame t ds

cosh :: DataFrame t ds -> DataFrame t ds

tanh :: DataFrame t ds -> DataFrame t ds

asinh :: DataFrame t ds -> DataFrame t ds

acosh :: DataFrame t ds -> DataFrame t ds

atanh :: DataFrame t ds -> DataFrame t ds

log1p :: DataFrame t ds -> DataFrame t ds

expm1 :: DataFrame t ds -> DataFrame t ds

log1pexp :: DataFrame t ds -> DataFrame t ds

log1mexp :: DataFrame t ds -> DataFrame t ds

(Dimensions xns, KnownBackends ts (DimsBound xns), Floating (DataFrame ts (DimsBound xns))) => Floating (DataFrame ts xns)

Defined in Numeric.DataFrame.Type

Methods

pi :: DataFrame ts xns

exp :: DataFrame ts xns -> DataFrame ts xns

log :: DataFrame ts xns -> DataFrame ts xns

sqrt :: DataFrame ts xns -> DataFrame ts xns

(**) :: DataFrame ts xns -> DataFrame ts xns -> DataFrame ts xns

logBase :: DataFrame ts xns -> DataFrame ts xns -> DataFrame ts xns

sin :: DataFrame ts xns -> DataFrame ts xns

cos :: DataFrame ts xns -> DataFrame ts xns

tan :: DataFrame ts xns -> DataFrame ts xns

asin :: DataFrame ts xns -> DataFrame ts xns

acos :: DataFrame ts xns -> DataFrame ts xns

atan :: DataFrame ts xns -> DataFrame ts xns

sinh :: DataFrame ts xns -> DataFrame ts xns

cosh :: DataFrame ts xns -> DataFrame ts xns

tanh :: DataFrame ts xns -> DataFrame ts xns

asinh :: DataFrame ts xns -> DataFrame ts xns

acosh :: DataFrame ts xns -> DataFrame ts xns

atanh :: DataFrame ts xns -> DataFrame ts xns

log1p :: DataFrame ts xns -> DataFrame ts xns

expm1 :: DataFrame ts xns -> DataFrame ts xns

log1pexp :: DataFrame ts xns -> DataFrame ts xns

log1mexp :: DataFrame ts xns -> DataFrame ts xns

Fractional (DFBackend t ds) => Fractional (DataFrame t ds)

Defined in Numeric.DataFrame.Type

Methods

(/) :: DataFrame t ds -> DataFrame t ds -> DataFrame t ds

recip :: DataFrame t ds -> DataFrame t ds

fromRational :: Rational -> DataFrame t ds

(Dimensions xns, KnownBackends ts (DimsBound xns), Fractional (DataFrame ts (DimsBound xns))) => Fractional (DataFrame ts xns)

Defined in Numeric.DataFrame.Type

Methods

(/) :: DataFrame ts xns -> DataFrame ts xns -> DataFrame ts xns

recip :: DataFrame ts xns -> DataFrame ts xns

fromRational :: Rational -> DataFrame ts xns

Integral (DFBackend t ds) => Integral (DataFrame t ds)

Defined in Numeric.DataFrame.Type

Methods

quot :: DataFrame t ds -> DataFrame t ds -> DataFrame t ds

rem :: DataFrame t ds -> DataFrame t ds -> DataFrame t ds

div :: DataFrame t ds -> DataFrame t ds -> DataFrame t ds

mod :: DataFrame t ds -> DataFrame t ds -> DataFrame t ds

quotRem :: DataFrame t ds -> DataFrame t ds -> (DataFrame t ds, DataFrame t ds)

divMod :: DataFrame t ds -> DataFrame t ds -> (DataFrame t ds, DataFrame t ds)

toInteger :: DataFrame t ds -> Integer

(Integral (DataFrame ts ('[] :: [Nat])), KnownBackends ts ('[] :: [Nat]), Eq (DataFrame ts ('[] :: [XNat]))) => Integral (DataFrame ts ('[] :: [XNat]))

Defined in Numeric.DataFrame.Type

Methods

quot :: DataFrame ts '[] -> DataFrame ts '[] -> DataFrame ts '[]

rem :: DataFrame ts '[] -> DataFrame ts '[] -> DataFrame ts '[]

div :: DataFrame ts '[] -> DataFrame ts '[] -> DataFrame ts '[]

mod :: DataFrame ts '[] -> DataFrame ts '[] -> DataFrame ts '[]

quotRem :: DataFrame ts '[] -> DataFrame ts '[] -> (DataFrame ts '[], DataFrame ts '[])

divMod :: DataFrame ts '[] -> DataFrame ts '[] -> (DataFrame ts '[], DataFrame ts '[])

toInteger :: DataFrame ts '[] -> Integer

(AllFrames Data ts ds, Typeable ts, Typeable ds) => Data (DataFrame ts ds)

Term-level structure of a MultiFrame ts is fully determined by its type Typeable ts. Thus, gunfold does not use its last argument (Constr) at all, relying on the structure of the type parameter.

Defined in Numeric.DataFrame.Type

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DataFrame ts ds -> c (DataFrame ts ds)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (DataFrame ts ds)

toConstr :: DataFrame ts ds -> Constr

dataTypeOf :: DataFrame ts ds -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (DataFrame ts ds))

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (DataFrame ts ds))

gmapT :: (forall b. Data b => b -> b) -> DataFrame ts ds -> DataFrame ts ds

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DataFrame ts ds -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DataFrame ts ds -> r

gmapQ :: (forall d. Data d => d -> u) -> DataFrame ts ds -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> DataFrame ts ds -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> DataFrame ts ds -> m (DataFrame ts ds)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DataFrame ts ds -> m (DataFrame ts ds)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DataFrame ts ds -> m (DataFrame ts ds)

(Data t, PrimBytes t, Typeable ds) => Data (DataFrame t ds)

Term-level structure of a SingleFrame t ds is fully determined by its type dimensionality Typeable ds. Thus, gunfold does not use its last argument (Constr) at all, relying on the structure of the type parameter.

Defined in Numeric.DataFrame.Type

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DataFrame t ds -> c (DataFrame t ds)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (DataFrame t ds)

toConstr :: DataFrame t ds -> Constr

dataTypeOf :: DataFrame t ds -> DataType

dataCast1 :: Typeable t0 => (forall d. Data d => c (t0 d)) -> Maybe (c (DataFrame t ds))

dataCast2 :: Typeable t0 => (forall d e. (Data d, Data e) => c (t0 d e)) -> Maybe (c (DataFrame t ds))

gmapT :: (forall b. Data b => b -> b) -> DataFrame t ds -> DataFrame t ds

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DataFrame t ds -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DataFrame t ds -> r

gmapQ :: (forall d. Data d => d -> u) -> DataFrame t ds -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> DataFrame t ds -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> DataFrame t ds -> m (DataFrame t ds)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DataFrame t ds -> m (DataFrame t ds)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DataFrame t ds -> m (DataFrame t ds)

Num (DFBackend t ds) => Num (DataFrame t ds)

Defined in Numeric.DataFrame.Type

Methods

(+) :: DataFrame t ds -> DataFrame t ds -> DataFrame t ds

(-) :: DataFrame t ds -> DataFrame t ds -> DataFrame t ds

(*) :: DataFrame t ds -> DataFrame t ds -> DataFrame t ds

negate :: DataFrame t ds -> DataFrame t ds

abs :: DataFrame t ds -> DataFrame t ds

signum :: DataFrame t ds -> DataFrame t ds

fromInteger :: Integer -> DataFrame t ds

(Dimensions xns, KnownBackends ts (DimsBound xns), Num (DataFrame ts (DimsBound xns))) => Num (DataFrame ts xns)

Defined in Numeric.DataFrame.Type

Methods

(+) :: DataFrame ts xns -> DataFrame ts xns -> DataFrame ts xns

(-) :: DataFrame ts xns -> DataFrame ts xns -> DataFrame ts xns

(*) :: DataFrame ts xns -> DataFrame ts xns -> DataFrame ts xns

negate :: DataFrame ts xns -> DataFrame ts xns

abs :: DataFrame ts xns -> DataFrame ts xns

signum :: DataFrame ts xns -> DataFrame ts xns

fromInteger :: Integer -> DataFrame ts xns

(AllFrames Eq ts ds, AllFrames Ord ts ds) => Ord (DataFrame ts ds)

Defined in Numeric.DataFrame.Type

Methods

compare :: DataFrame ts ds -> DataFrame ts ds -> Ordering

(<) :: DataFrame ts ds -> DataFrame ts ds -> Bool

(<=) :: DataFrame ts ds -> DataFrame ts ds -> Bool

(>) :: DataFrame ts ds -> DataFrame ts ds -> Bool

(>=) :: DataFrame ts ds -> DataFrame ts ds -> Bool

max :: DataFrame ts ds -> DataFrame ts ds -> DataFrame ts ds

min :: DataFrame ts ds -> DataFrame ts ds -> DataFrame ts ds

Ord (DFBackend t ds) => Ord (DataFrame t ds)

Defined in Numeric.DataFrame.Type

Methods

compare :: DataFrame t ds -> DataFrame t ds -> Ordering

(<) :: DataFrame t ds -> DataFrame t ds -> Bool

(<=) :: DataFrame t ds -> DataFrame t ds -> Bool

(>) :: DataFrame t ds -> DataFrame t ds -> Bool

(>=) :: DataFrame t ds -> DataFrame t ds -> Bool

max :: DataFrame t ds -> DataFrame t ds -> DataFrame t ds

min :: DataFrame t ds -> DataFrame t ds -> DataFrame t ds

(xns ~ Map 'N (DimsBound xns), Eq (DataFrame ts xns), Ord (DataFrame ts (DimsBound xns))) => Ord (DataFrame ts xns)

Defined in Numeric.DataFrame.Type

Methods

compare :: DataFrame ts xns -> DataFrame ts xns -> Ordering

(<) :: DataFrame ts xns -> DataFrame ts xns -> Bool

(<=) :: DataFrame ts xns -> DataFrame ts xns -> Bool

(>) :: DataFrame ts xns -> DataFrame ts xns -> Bool

(>=) :: DataFrame ts xns -> DataFrame ts xns -> Bool

max :: DataFrame ts xns -> DataFrame ts xns -> DataFrame ts xns

min :: DataFrame ts xns -> DataFrame ts xns -> DataFrame ts xns

(All Read ts, All PrimBytes ts, RepresentableList ts, Dimensions ds) => Read (DataFrame ts ds)

Defined in Numeric.DataFrame.Type

Methods

readsPrec :: Int -> ReadS (DataFrame ts ds)

readList :: ReadS [DataFrame ts ds]

readPrec :: ReadPrec (DataFrame ts ds)

readListPrec :: ReadPrec [DataFrame ts ds]

(All Read ts, All PrimBytes ts, RepresentableList ts, BoundedDims ds, All (KnownDimType :: XNat -> Constraint) ds) => Read (DataFrame ts ds)

Defined in Numeric.DataFrame.Type

Methods

readsPrec :: Int -> ReadS (DataFrame ts ds)

readList :: ReadS [DataFrame ts ds]

readPrec :: ReadPrec (DataFrame ts ds)

readListPrec :: ReadPrec [DataFrame ts ds]

(Read t, PrimBytes t, Dimensions ds) => Read (DataFrame t ds)

Defined in Numeric.DataFrame.Type

Methods

readsPrec :: Int -> ReadS (DataFrame t ds)

readList :: ReadS [DataFrame t ds]

readPrec :: ReadPrec (DataFrame t ds)

readListPrec :: ReadPrec [DataFrame t ds]

(Read t, PrimBytes t, BoundedDims ds, All (KnownDimType :: XNat -> Constraint) ds) => Read (DataFrame t ds)

Defined in Numeric.DataFrame.Type

Methods

readsPrec :: Int -> ReadS (DataFrame t ds)

readList :: ReadS [DataFrame t ds]

readPrec :: ReadPrec (DataFrame t ds)

readListPrec :: ReadPrec [DataFrame t ds]

Real (DFBackend t ds) => Real (DataFrame t ds)

Defined in Numeric.DataFrame.Type

Methods

toRational :: DataFrame t ds -> Rational

(Real (DataFrame ts ('[] :: [Nat])), KnownBackends ts ('[] :: [Nat]), Eq (DataFrame ts ('[] :: [XNat]))) => Real (DataFrame ts ('[] :: [XNat]))

Defined in Numeric.DataFrame.Type

Methods

toRational :: DataFrame ts '[] -> Rational

RealFloat (DFBackend t ds) => RealFloat (DataFrame t ds)

Defined in Numeric.DataFrame.Type

Methods

floatRadix :: DataFrame t ds -> Integer

floatDigits :: DataFrame t ds -> Int

floatRange :: DataFrame t ds -> (Int, Int)

decodeFloat :: DataFrame t ds -> (Integer, Int)

encodeFloat :: Integer -> Int -> DataFrame t ds

exponent :: DataFrame t ds -> Int

significand :: DataFrame t ds -> DataFrame t ds

scaleFloat :: Int -> DataFrame t ds -> DataFrame t ds

isNaN :: DataFrame t ds -> Bool

isInfinite :: DataFrame t ds -> Bool

isDenormalized :: DataFrame t ds -> Bool

isNegativeZero :: DataFrame t ds -> Bool

isIEEE :: DataFrame t ds -> Bool

atan2 :: DataFrame t ds -> DataFrame t ds -> DataFrame t ds

(RealFloat (DataFrame t ('[] :: [Nat])), KnownBackend t ('[] :: [Nat]), Eq t) => RealFloat (DataFrame t ('[] :: [XNat]))

Defined in Numeric.DataFrame.Type

Methods

floatRadix :: DataFrame t '[] -> Integer

floatDigits :: DataFrame t '[] -> Int

floatRange :: DataFrame t '[] -> (Int, Int)

decodeFloat :: DataFrame t '[] -> (Integer, Int)

encodeFloat :: Integer -> Int -> DataFrame t '[]

exponent :: DataFrame t '[] -> Int

significand :: DataFrame t '[] -> DataFrame t '[]

scaleFloat :: Int -> DataFrame t '[] -> DataFrame t '[]

isNaN :: DataFrame t '[] -> Bool

isInfinite :: DataFrame t '[] -> Bool

isDenormalized :: DataFrame t '[] -> Bool

isNegativeZero :: DataFrame t '[] -> Bool

isIEEE :: DataFrame t '[] -> Bool

atan2 :: DataFrame t '[] -> DataFrame t '[] -> DataFrame t '[]

RealFrac (DFBackend t ds) => RealFrac (DataFrame t ds)

Defined in Numeric.DataFrame.Type

Methods

properFraction :: Integral b => DataFrame t ds -> (b, DataFrame t ds)

truncate :: Integral b => DataFrame t ds -> b

round :: Integral b => DataFrame t ds -> b

ceiling :: Integral b => DataFrame t ds -> b

floor :: Integral b => DataFrame t ds -> b

(RealFrac (DataFrame t ('[] :: [Nat])), KnownBackend t ('[] :: [Nat]), Eq t) => RealFrac (DataFrame t ('[] :: [XNat]))

Defined in Numeric.DataFrame.Type

Methods

properFraction :: Integral b => DataFrame t '[] -> (b, DataFrame t '[])

truncate :: Integral b => DataFrame t '[] -> b

round :: Integral b => DataFrame t '[] -> b

ceiling :: Integral b => DataFrame t '[] -> b

floor :: Integral b => DataFrame t '[] -> b

(All Show ts, All PrimBytes ts, Dimensions ds) => Show (DataFrame ts ds)

Defined in Numeric.DataFrame.Type

Methods

showsPrec :: Int -> DataFrame ts ds -> ShowS

show :: DataFrame ts ds -> String

showList :: [DataFrame ts ds] -> ShowS

(All Show ts, All PrimBytes ts) => Show (DataFrame ts xns)

Defined in Numeric.DataFrame.Type

Methods

showsPrec :: Int -> DataFrame ts xns -> ShowS

show :: DataFrame ts xns -> String

showList :: [DataFrame ts xns] -> ShowS

(Show t, PrimBytes t, Dimensions ds) => Show (DataFrame t ds)

Defined in Numeric.DataFrame.Type

Methods

showsPrec :: Int -> DataFrame t ds -> ShowS

show :: DataFrame t ds -> String

showList :: [DataFrame t ds] -> ShowS

(Show t, PrimBytes t) => Show (DataFrame t xns)

Defined in Numeric.DataFrame.Type

Methods

showsPrec :: Int -> DataFrame t xns -> ShowS

show :: DataFrame t xns -> String

showList :: [DataFrame t xns] -> ShowS

Generic (DataFrame ts ds)

Defined in Numeric.DataFrame.Type

Associated Types

type Rep (DataFrame ts ds) :: Type -> Type

Methods

from :: DataFrame ts ds -> Rep (DataFrame ts ds) x

to :: Rep (DataFrame ts ds) x -> DataFrame ts ds

(PrimBytes t, Dimensions ds) => Generic (DataFrame t ds)

Defined in Numeric.DataFrame.Type

Associated Types

type Rep (DataFrame t ds) :: Type -> Type

Methods

from :: DataFrame t ds -> Rep (DataFrame t ds) x

to :: Rep (DataFrame t ds) x -> DataFrame t ds

PrimBytes (DataFrame t ds) => Storable (DataFrame t ds)

Defined in Numeric.DataFrame.Type

Methods

sizeOf :: DataFrame t ds -> Int

alignment :: DataFrame t ds -> Int

peekElemOff :: Ptr (DataFrame t ds) -> Int -> IO (DataFrame t ds)

pokeElemOff :: Ptr (DataFrame t ds) -> Int -> DataFrame t ds -> IO ()

peekByteOff :: Ptr b -> Int -> IO (DataFrame t ds)

pokeByteOff :: Ptr b -> Int -> DataFrame t ds -> IO ()

peek :: Ptr (DataFrame t ds) -> IO (DataFrame t ds)

poke :: Ptr (DataFrame t ds) -> DataFrame t ds -> IO ()

PrimBytes (DFBackend t ds) => PrimBytes (DataFrame t ds)

Defined in Numeric.DataFrame.Type

Associated Types

type PrimFields (DataFrame t ds) :: [Symbol]

Methods

getBytes :: DataFrame t ds -> ByteArray#

getBytesPinned :: DataFrame t ds -> ByteArray#

fromBytes :: Int# -> ByteArray# -> DataFrame t ds

readBytes :: MutableByteArray# s -> Int# -> State# s -> (# State# s, DataFrame t ds #)

writeBytes :: MutableByteArray# s -> Int# -> DataFrame t ds -> State# s -> State# s

readAddr :: Addr# -> State# s -> (# State# s, DataFrame t ds #)

writeAddr :: DataFrame t ds -> Addr# -> State# s -> State# s

byteSize :: DataFrame t ds -> Int#

byteAlign :: DataFrame t ds -> Int#

byteOffset :: DataFrame t ds -> Int#

byteFieldOffset :: forall (name :: Symbol). (Elem name (PrimFields (DataFrame t ds)), KnownSymbol name) => Proxy# name -> DataFrame t ds -> Int#

indexArray :: ByteArray# -> Int# -> DataFrame t ds

readArray :: MutableByteArray# s -> Int# -> State# s -> (# State# s, DataFrame t ds #)

writeArray :: MutableByteArray# s -> Int# -> DataFrame t ds -> State# s -> State# s

(Dimensions xns, KnownBackends ts (DimsBound xns), PrimBytes (DataFrame ts (DimsBound xns))) => PrimBytes (DataFrame ts xns)

Defined in Numeric.DataFrame.Type

Associated Types

type PrimFields (DataFrame ts xns) :: [Symbol]

Methods

getBytes :: DataFrame ts xns -> ByteArray#

getBytesPinned :: DataFrame ts xns -> ByteArray#

fromBytes :: Int# -> ByteArray# -> DataFrame ts xns

readBytes :: MutableByteArray# s -> Int# -> State# s -> (# State# s, DataFrame ts xns #)

writeBytes :: MutableByteArray# s -> Int# -> DataFrame ts xns -> State# s -> State# s

readAddr :: Addr# -> State# s -> (# State# s, DataFrame ts xns #)

writeAddr :: DataFrame ts xns -> Addr# -> State# s -> State# s

byteSize :: DataFrame ts xns -> Int#

byteAlign :: DataFrame ts xns -> Int#

byteOffset :: DataFrame ts xns -> Int#

byteFieldOffset :: forall (name :: Symbol). (Elem name (PrimFields (DataFrame ts xns)), KnownSymbol name) => Proxy# name -> DataFrame ts xns -> Int#

indexArray :: ByteArray# -> Int# -> DataFrame ts xns

readArray :: MutableByteArray# s -> Int# -> State# s -> (# State# s, DataFrame ts xns #)

writeArray :: MutableByteArray# s -> Int# -> DataFrame ts xns -> State# s -> State# s

RealFloatExtras (DFBackend t ds) => RealFloatExtras (DataFrame t ds)

Defined in Numeric.DataFrame.Type

Methods

hypot :: DataFrame t ds -> DataFrame t ds -> DataFrame t ds

maxFinite :: DataFrame t ds

(RealFloatExtras (DataFrame t ('[] :: [Nat])), KnownBackend t ('[] :: [Nat]), Eq t) => RealFloatExtras (DataFrame t ('[] :: [XNat]))

Defined in Numeric.DataFrame.Type

Methods

hypot :: DataFrame t '[] -> DataFrame t '[] -> DataFrame t '[]

maxFinite :: DataFrame t '[]

RealExtras (DFBackend t ds) => RealExtras (DataFrame t ds)

Defined in Numeric.DataFrame.Type

Methods

copysign :: DataFrame t ds -> DataFrame t ds -> DataFrame t ds

(RealExtras (DataFrame t ('[] :: [Nat])), KnownBackend t ('[] :: [Nat]), Eq t) => RealExtras (DataFrame t ('[] :: [XNat]))

Defined in Numeric.DataFrame.Type

Methods

copysign :: DataFrame t '[] -> DataFrame t '[] -> DataFrame t '[]

Epsilon (DFBackend t ds) => Epsilon (DataFrame t ds)

Defined in Numeric.DataFrame.Type

Methods

epsilon :: DataFrame t ds

(Epsilon (DataFrame ts ('[] :: [Nat])), KnownBackends ts ('[] :: [Nat]), Eq (DataFrame ts ('[] :: [XNat]))) => Epsilon (DataFrame ts ('[] :: [XNat]))

Defined in Numeric.DataFrame.Type

Methods

epsilon :: DataFrame ts '[]

ProductOrder (DFBackend t ds) => ProductOrder (DataFrame t ds)

Defined in Numeric.DataFrame.Type

Methods

cmp :: DataFrame t ds -> DataFrame t ds -> PartialOrdering

(xns ~ Map 'N (DimsBound xns), ProductOrder (DataFrame ts (DimsBound xns))) => ProductOrder (DataFrame ts xns)

Defined in Numeric.DataFrame.Type

Methods

cmp :: DataFrame ts xns -> DataFrame ts xns -> PartialOrdering

newtype DataFrame (t :: Type) (ns :: [Nat])

Single frame

Defined in Numeric.DataFrame.Type

newtype DataFrame (t :: Type) (ns :: [Nat]) = SingleFrame {

• getSingleFrame :: DFBackend t ns

}

data DataFrame (ts :: l) (xns :: [XNat])

Data frame with some dimensions missing at compile time. Pattern-match against its constructor to get a Nat-indexed data frame.

Defined in Numeric.DataFrame.Type

data DataFrame (ts :: l) (xns :: [XNat]) = (All (KnownDimType :: XNat -> Constraint) xns, FixedDims xns ns, Dimensions ns, KnownBackends ts ns) => XFrame (DataFrame ts ns)

newtype DataFrame (ts :: [Type]) (ns :: [Nat])

Multiple "columns" of data frames of the same shape

Defined in Numeric.DataFrame.Type

newtype DataFrame (ts :: [Type]) (ns :: [Nat]) = MultiFrame (TypedList (DataFrame' ns :: Type -> Type) ts)

type Rep (DataFrame ts ds)

Defined in Numeric.DataFrame.Type

type Rep (DataFrame ts ds)

type Rep (DataFrame t ds)

Defined in Numeric.DataFrame.Type

type Rep (DataFrame t ds)

type PrimFields (DataFrame t ds)

Defined in Numeric.DataFrame.Type

type PrimFields (DataFrame t ds) = PrimFields (DFBackend t ds)

type PrimFields (DataFrame ts xns)

Defined in Numeric.DataFrame.Type

type PrimFields (DataFrame ts xns) = PrimFields (DataFrame ts (DimsBound xns))

Common operations

(.*.) :: (Num t, Num (Vector t n), SubSpace t '[n] '[] '[n]) => Vector t (n :: Nat) -> Vector t n -> Vector t n infixl 7

Scalar product -- sum of Vecs' components products, propagated into whole Vec

dot :: (Num t, Num (Vector t n), SubSpace t '[n] '[] '[n]) => Vector t (n :: Nat) -> Vector t n -> Scalar t

Scalar product -- sum of Vecs' components products -- a scalar

(·) :: (Num t, Num (Vector t n), SubSpace t '[n] '[] '[n]) => Vector t (n :: Nat) -> Vector t n -> Scalar t infixl 7

Dot product of two vectors

normL1 :: (Num (DataFrame t ('[] :: [k])), SubSpace t '[n] '[] '[n]) => Vector t (n :: k) -> DataFrame t ('[] :: [k])

Sum of absolute values

normL2 :: (Floating (DataFrame t ('[] :: [k])), SubSpace t '[n] '[] '[n]) => Vector t (n :: k) -> DataFrame t ('[] :: [k])

hypot function (square root of squares)

normLPInf :: (Ord (DataFrame t ('[] :: [k])), Num (DataFrame t ('[] :: [k])), SubSpace t '[n] '[] '[n]) => Vector t (n :: k) -> DataFrame t ('[] :: [k])

Maximum of absolute values

normLNInf :: (Ord (DataFrame t ('[] :: [k])), Num (DataFrame t ('[] :: [k])), SubSpace t '[n] '[] '[n]) => Vector t (n :: k) -> DataFrame t ('[] :: [k])

Minimum of absolute values

normLP :: (Floating (DataFrame t ('[] :: [k])), SubSpace t '[n] '[] '[n]) => Int -> Vector t (n :: k) -> DataFrame t ('[] :: [k])

Norm in Lp space

normalized :: forall (k :: Type) (t :: Type) (n :: k). (Floating (DataFrame t ('[] :: [k])), SubSpace t '[n] '[] '[n]) => Vector t n -> Vector t n

Normalize vector w.r.t. Euclidean metric (L2).

det2 :: (Num t, PrimBytes t) => Vector t 2 -> Vector t 2 -> Scalar t

Take a determinant of a matrix composed from two 2D vectors. Like a cross product in 2D.

cross :: (Num t, PrimBytes t) => Vector t 3 -> Vector t 3 -> Vector t 3

Cross product

(×) :: (Num t, SubSpace t '[3] '[] '[3]) => Vector t 3 -> Vector t 3 -> Vector t 3 infixl 7

Cross product for two vectors in 3D