(Dimensions xns, KnownBackend t (DimsBound xns), PrimArray t (DataFrame t (DimsBound xns)), PrimBytes t) => PrimArray t (DataFrame t xns) Source # | |
Instance detailsDefined in Numeric.DataFrame.Type |
(PrimArray t (DFBackend t ds), PrimBytes t) => PrimArray t (DataFrame t ds) Source # | |
Instance detailsDefined in Numeric.DataFrame.Type |
Ord (ProductOrd (DFBackend t ds)) => Ord (ProductOrd (DataFrame t ds)) Source # | |
Instance detailsDefined in Numeric.DataFrame.Type |
(Ord (ProductOrd (DFBackend t ds)), Eq (DFBackend t ds)) => Ord (ProductOrd (DataFrame t ds)) Source # | |
Instance detailsDefined in Numeric.DataFrame.Type |
Bounded (DFBackend t ds) => Bounded (DataFrame t ds) Source # | |
Instance detailsDefined in Numeric.DataFrame.Type |
(Dimensions xns, KnownBackends ts (DimsBound xns), Bounded (DataFrame ts (DimsBound xns))) => Bounded (DataFrame ts xns) Source # | |
Instance detailsDefined in Numeric.DataFrame.Type |
Enum (DFBackend t ds) => Enum (DataFrame t ds) Source # | |
Instance detailsDefined in Numeric.DataFrame.Type |
(Enum (DataFrame ts ('[] :: [Nat])), KnownBackends ts ('[] :: [Nat])) => Enum (DataFrame ts ('[] :: [XNat])) Source # | |
Instance detailsDefined in Numeric.DataFrame.Type |
AllFrames Eq ts ds => Eq (DataFrame ts ds) Source # | |
Instance detailsDefined in Numeric.DataFrame.Type |
All Eq ts => Eq (DataFrame ts ds) Source # | |
Instance detailsDefined in Numeric.DataFrame.Type |
Eq (DFBackend t ds) => Eq (DataFrame t ds) Source # | |
Instance detailsDefined in Numeric.DataFrame.Type |
Eq t => Eq (DataFrame t ds) Source # | |
Instance detailsDefined in Numeric.DataFrame.Type |
Floating (DFBackend t ds) => Floating (DataFrame t ds) Source # | |
Instance detailsDefined in Numeric.DataFrame.Type |
(Dimensions xns, KnownBackends ts (DimsBound xns), Floating (DataFrame ts (DimsBound xns))) => Floating (DataFrame ts xns) Source # | |
Instance detailsDefined in Numeric.DataFrame.Type |
Fractional (DFBackend t ds) => Fractional (DataFrame t ds) Source # | |
Instance detailsDefined in Numeric.DataFrame.Type |
(Dimensions xns, KnownBackends ts (DimsBound xns), Fractional (DataFrame ts (DimsBound xns))) => Fractional (DataFrame ts xns) Source # | |
Instance detailsDefined in Numeric.DataFrame.Type |
Integral (DFBackend t ds) => Integral (DataFrame t ds) Source # | |
Instance detailsDefined in Numeric.DataFrame.Type |
(Integral (DataFrame ts ('[] :: [Nat])), KnownBackends ts ('[] :: [Nat]), Eq (DataFrame ts ('[] :: [XNat]))) => Integral (DataFrame ts ('[] :: [XNat])) Source # | |
Instance detailsDefined in Numeric.DataFrame.Type |
(AllFrames Data ts ds, Typeable ts, Typeable ds) => Data (DataFrame ts ds) Source # | 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. |
Instance detailsDefined in Numeric.DataFrame.Type |
(Data t, PrimBytes t, Typeable ds) => Data (DataFrame t ds) Source # | 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. |
Instance detailsDefined in Numeric.DataFrame.Type |
Num (DFBackend t ds) => Num (DataFrame t ds) Source # | |
Instance detailsDefined in Numeric.DataFrame.Type |
(Dimensions xns, KnownBackends ts (DimsBound xns), Num (DataFrame ts (DimsBound xns))) => Num (DataFrame ts xns) Source # | |
Instance detailsDefined in Numeric.DataFrame.Type |
(AllFrames Eq ts ds, AllFrames Ord ts ds) => Ord (DataFrame ts ds) Source # | |
Instance detailsDefined in Numeric.DataFrame.Type |
Ord (DFBackend t ds) => Ord (DataFrame t ds) Source # | |
Instance detailsDefined in Numeric.DataFrame.Type |
(xns ~ Map 'N (DimsBound xns), Eq (DataFrame ts xns), Ord (DataFrame ts (DimsBound xns))) => Ord (DataFrame ts xns) Source # | |
Instance detailsDefined in Numeric.DataFrame.Type |
(All Read ts, All PrimBytes ts, RepresentableList ts, Dimensions ds) => Read (DataFrame ts ds) Source # | |
Instance detailsDefined in Numeric.DataFrame.Type |
(All Read ts, All PrimBytes ts, RepresentableList ts, BoundedDims ds, All (KnownDimType :: XNat -> Constraint) ds) => Read (DataFrame ts ds) Source # | |
Instance detailsDefined in Numeric.DataFrame.Type |
(Read t, PrimBytes t, Dimensions ds) => Read (DataFrame t ds) Source # | |
Instance detailsDefined in Numeric.DataFrame.Type |
(Read t, PrimBytes t, BoundedDims ds, All (KnownDimType :: XNat -> Constraint) ds) => Read (DataFrame t ds) Source # | |
Instance detailsDefined in Numeric.DataFrame.Type |
Real (DFBackend t ds) => Real (DataFrame t ds) Source # | |
Instance detailsDefined in Numeric.DataFrame.Type |
(Real (DataFrame ts ('[] :: [Nat])), KnownBackends ts ('[] :: [Nat]), Eq (DataFrame ts ('[] :: [XNat]))) => Real (DataFrame ts ('[] :: [XNat])) Source # | |
Instance detailsDefined in Numeric.DataFrame.Type |
RealFloat (DFBackend t ds) => RealFloat (DataFrame t ds) Source # | |
Instance detailsDefined in Numeric.DataFrame.Type |
(RealFloat (DataFrame t ('[] :: [Nat])), KnownBackend t ('[] :: [Nat]), Eq t) => RealFloat (DataFrame t ('[] :: [XNat])) Source # | |
Instance detailsDefined in Numeric.DataFrame.Type |
RealFrac (DFBackend t ds) => RealFrac (DataFrame t ds) Source # | |
Instance detailsDefined in Numeric.DataFrame.Type |
(RealFrac (DataFrame t ('[] :: [Nat])), KnownBackend t ('[] :: [Nat]), Eq t) => RealFrac (DataFrame t ('[] :: [XNat])) Source # | |
Instance detailsDefined in Numeric.DataFrame.Type |
(All Show ts, All PrimBytes ts, Dimensions ds) => Show (DataFrame ts ds) Source # | |
Instance detailsDefined in Numeric.DataFrame.Type |
(All Show ts, All PrimBytes ts) => Show (DataFrame ts xns) Source # | |
Instance detailsDefined in Numeric.DataFrame.Type |
(Show t, PrimBytes t, Dimensions ds) => Show (DataFrame t ds) Source # | |
Instance detailsDefined in Numeric.DataFrame.Type |
(Show t, PrimBytes t) => Show (DataFrame t xns) Source # | |
Instance detailsDefined in Numeric.DataFrame.Type |
Generic (DataFrame ts ds) Source # | |
Instance detailsDefined in Numeric.DataFrame.Type |
(PrimBytes t, Dimensions ds) => Generic (DataFrame t ds) Source # | |
Instance detailsDefined in Numeric.DataFrame.Type |
PrimBytes (DataFrame t ds) => Storable (DataFrame t ds) Source # | |
Instance detailsDefined in Numeric.DataFrame.Type |
PrimBytes (DFBackend t ds) => PrimBytes (DataFrame t ds) Source # | |
Instance detailsDefined in Numeric.DataFrame.Type |
(Dimensions xns, KnownBackends ts (DimsBound xns), PrimBytes (DataFrame ts (DimsBound xns))) => PrimBytes (DataFrame ts xns) Source # | |
Instance detailsDefined in Numeric.DataFrame.Type |
RealFloatExtras (DFBackend t ds) => RealFloatExtras (DataFrame t ds) Source # | |
|
(RealFloatExtras (DataFrame t ('[] :: [Nat])), KnownBackend t ('[] :: [Nat]), Eq t) => RealFloatExtras (DataFrame t ('[] :: [XNat])) Source # | |
|
RealExtras (DFBackend t ds) => RealExtras (DataFrame t ds) Source # | |
|
(RealExtras (DataFrame t ('[] :: [Nat])), KnownBackend t ('[] :: [Nat]), Eq t) => RealExtras (DataFrame t ('[] :: [XNat])) Source # | |
|
Epsilon (DFBackend t ds) => Epsilon (DataFrame t ds) Source # | |
Instance detailsDefined in Numeric.DataFrame.Type |
(Epsilon (DataFrame ts ('[] :: [Nat])), KnownBackends ts ('[] :: [Nat]), Eq (DataFrame ts ('[] :: [XNat]))) => Epsilon (DataFrame ts ('[] :: [XNat])) Source # | |
Instance detailsDefined in Numeric.DataFrame.Type |
ProductOrder (DFBackend t ds) => ProductOrder (DataFrame t ds) Source # | |
Instance detailsDefined in Numeric.DataFrame.Type |
(xns ~ Map 'N (DimsBound xns), ProductOrder (DataFrame ts (DimsBound xns))) => ProductOrder (DataFrame ts xns) Source # | |
Instance detailsDefined in Numeric.DataFrame.Type |
newtype DataFrame (t :: Type) (ns :: [Nat]) Source # | Single frame |
Instance detailsDefined in Numeric.DataFrame.Type |
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 detailsDefined in Numeric.DataFrame.Type |
newtype DataFrame (ts :: [Type]) (ns :: [Nat]) Source # | Multiple "columns" of data frames of the same shape |
Instance detailsDefined in Numeric.DataFrame.Type |
type Rep (DataFrame ts ds) Source # | |
Instance detailsDefined in Numeric.DataFrame.Type |
type Rep (DataFrame t ds) Source # | |
Instance detailsDefined in Numeric.DataFrame.Type |
type PrimFields (DataFrame t ds) Source # | |
Instance detailsDefined in Numeric.DataFrame.Type |
type PrimFields (DataFrame ts xns) Source # | |
Instance detailsDefined in Numeric.DataFrame.Type |