Numeric.DataFrame.Family

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

Documentation

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

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

Instances

Dim3 XNat (DataFrame l1 XNat l2) ((:) XNat d1 ((:) XNat d2 ((:) XNat d3 ds)))

Methods

dim3 :: (XNat ': d1) ((XNat ': d2) ((XNat ': d3) ds)) ds -> Dim (DataFrame l1 XNat l2) (Head (DataFrame l1 XNat l2) (Tail (DataFrame l1 XNat l2) (Tail (DataFrame l1 XNat l2) ds)))

Dim2 XNat (DataFrame l1 XNat l2) ((:) XNat d1 ((:) XNat d2 ds))

Methods

dim2 :: (XNat ': d1) ((XNat ': d2) ds) ds -> Dim (DataFrame l1 XNat l2) (Head (DataFrame l1 XNat l2) (Tail (DataFrame l1 XNat l2) ds))

Dim1 XNat (DataFrame l1 XNat l2) ((:) XNat d ds)

Methods

dim1 :: (XNat ': d) ds ds -> Dim (DataFrame l1 XNat l2) (Head (DataFrame l1 XNat l2) ds)

data DataFrame Type Nat

Single frame

data DataFrame Type Nat = SingleFrame {

• _getDF :: Array t ns

}

data DataFrame l XNat

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

data DataFrame l XNat where

• XFrame :: DataFrame l XNat ts xns

data DataFrame [Type] Nat

Multiple "columns" of data frames of the same shape

data DataFrame [Type] Nat = MultiFrame {

• _getDFS :: TypedList Type (DataFrame' Nat Type ns) ts

}