Safe Haskell	Safe
Language	Haskell2010

Numeric.DataFrame.Family

Description

The very core of DataFrame: definition of the data family.

Synopsis

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

Documentation

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

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

Instances

Dim3 (DataFrame l2 :: [XNat] -> *) (d1 ': (d2 ': (d3 ': ds)) :: [XNat]) Source #
Instance details Defined in Numeric.DataFrame.Type Methods dim3 :: DataFrame l2 (d1 ': (d2 ': (d3 ': ds))) -> Dim (Head (Tail (Tail (d1 ': (d2 ': (d3 ': ds)))))) Source #
Dim2 (DataFrame l2 :: [XNat] -> *) (d1 ': (d2 ': ds) :: [XNat]) Source #
Instance details Defined in Numeric.DataFrame.Type Methods dim2 :: DataFrame l2 (d1 ': (d2 ': ds)) -> Dim (Head (Tail (d1 ': (d2 ': ds)))) Source #
Dim1 (DataFrame l2 :: [XNat] -> *) (d ': ds :: [XNat]) Source #
Instance details Defined in Numeric.DataFrame.Type Methods dim1 :: DataFrame l2 (d ': ds) -> Dim (Head (d ': ds)) Source #
(PrimArray t (Array t ds), PrimBytes t) => PrimArray t (DataFrame t ds) Source #
Instance details Defined in Numeric.DataFrame.Type Methods broadcast :: t -> DataFrame t ds Source # ix# :: Int# -> DataFrame t ds -> t Source # gen# :: Int# -> (s -> (#s, t#)) -> s -> (#s, DataFrame t ds#) Source # upd# :: Int# -> Int# -> t -> DataFrame t ds -> DataFrame t ds Source # elemOffset :: DataFrame t ds -> Int# Source # elemSize0 :: DataFrame t ds -> Int# Source # fromElems :: Int# -> Int# -> ByteArray# -> DataFrame t ds Source #
Bounded (Array t ds) => Bounded (DataFrame t ds) #
Instance details Defined in Numeric.DataFrame.Type Methods minBound :: DataFrame t ds # maxBound :: DataFrame t ds #
Enum (Array t ds) => Enum (DataFrame t ds) #
Instance details 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] #
ImplAllows Eq ts ds => Eq (DataFrame ts ds) #
Instance details Defined in Numeric.DataFrame.Type Methods (==) :: DataFrame ts ds -> DataFrame ts ds -> Bool # (/=) :: DataFrame ts ds -> DataFrame ts ds -> Bool #
Eq (Array t ds) => Eq (DataFrame t ds) #
Instance details Defined in Numeric.DataFrame.Type Methods (==) :: DataFrame t ds -> DataFrame t ds -> Bool # (/=) :: DataFrame t ds -> DataFrame t ds -> Bool #
(AllTypes Eq t, DataFrameInference t) => Eq (DataFrame t ds) #
Instance details Defined in Numeric.DataFrame.Type Methods (==) :: DataFrame t ds -> DataFrame t ds -> Bool # (/=) :: DataFrame t ds -> DataFrame t ds -> Bool #
Floating (Array t ds) => Floating (DataFrame t ds) #
Instance details 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 #
Fractional (Array t ds) => Fractional (DataFrame t ds) #
Instance details 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 #
Integral (Array t ds) => Integral (DataFrame t ds) #
Instance details 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 #
Num (Array t ds) => Num (DataFrame t ds) #
Instance details 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 #
Ord (Array t ds) => Ord (DataFrame t ds) #
Instance details 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 #
(Read (Array t ds), Dimensions ds) => Read (DataFrame t ds) #
Instance details 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 (Array t ds) => Real (DataFrame t ds) #
Instance details Defined in Numeric.DataFrame.Type Methods toRational :: DataFrame t ds -> Rational #
RealFloat (Array t ds) => RealFloat (DataFrame t ds) #
Instance details 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 #
RealFrac (Array t ds) => RealFrac (DataFrame t ds) #
Instance details 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 #
(Dimensions ds, ImplAllows Show ts ds) => Show (DataFrame ts ds) #
Instance details Defined in Numeric.DataFrame.Type Methods showsPrec :: Int -> DataFrame ts ds -> ShowS # show :: DataFrame ts ds -> String # showList :: [DataFrame ts ds] -> ShowS #
(Show (Array t ds), Dimensions ds) => Show (DataFrame t ds) #
Instance details Defined in Numeric.DataFrame.Type Methods showsPrec :: Int -> DataFrame t ds -> ShowS # show :: DataFrame t ds -> String # showList :: [DataFrame t ds] -> ShowS #
(AllTypes Show t, DataFrameInference t) => Show (DataFrame t xns) #
Instance details Defined in Numeric.DataFrame.Type Methods showsPrec :: Int -> DataFrame t xns -> ShowS # show :: DataFrame t xns -> String # showList :: [DataFrame t xns] -> ShowS #
PrimBytes (DataFrame t ds) => Storable (DataFrame t ds) #
Instance details 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 (Array t ds) => PrimBytes (DataFrame t ds) Source #
Instance details Defined in Numeric.DataFrame.Type Methods getBytes :: DataFrame t ds -> ByteArray# Source # fromBytes :: Int# -> ByteArray# -> DataFrame t ds Source # readBytes :: MutableByteArray# s -> Int# -> State# s -> (#State# s, DataFrame t ds#) Source # writeBytes :: MutableByteArray# s -> Int# -> DataFrame t ds -> State# s -> State# s Source # readAddr :: Addr# -> State# s -> (#State# s, DataFrame t ds#) Source # writeAddr :: DataFrame t ds -> Addr# -> State# s -> State# s Source # byteSize :: DataFrame t ds -> Int# Source # byteAlign :: DataFrame t ds -> Int# Source # byteOffset :: DataFrame t ds -> Int# Source # indexArray :: ByteArray# -> Int# -> DataFrame t ds Source # readArray :: MutableByteArray# s -> Int# -> State# s -> (#State# s, DataFrame t ds#) Source # writeArray :: MutableByteArray# s -> Int# -> DataFrame t ds -> State# s -> State# s Source #
data DataFrame (t :: Type) (ns :: [Nat]) Source #	Single frame
Instance details Defined in Numeric.DataFrame.Type data DataFrame (t :: Type) (ns :: [Nat]) = SingleFrame { _getDF :: Array t ns }
data DataFrame (ts :: l) (xns :: [XNat]) Source #	Data frame with some dimensions missing at compile time. Pattern-match against its constructor to get a Nat-indexed data frame.
Instance details Defined in Numeric.DataFrame.Type data DataFrame (ts :: l) (xns :: [XNat]) where XFrame :: DataFrame ts xns
data DataFrame (ts :: [Type]) (ns :: [Nat]) Source #	Multiple "columns" of data frames of the same shape
Instance details Defined in Numeric.DataFrame.Type data DataFrame (ts :: [Type]) (ns :: [Nat]) = MultiFrame { _getDFS :: TypedList (DataFrame' ns :: Type -> *) ts }