Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
The very core of DataFrame: definition of the data family.
- 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
Dim3 XNat (DataFrame l1 XNat l2) ((:) XNat d1 ((:) XNat d2 ((:) XNat d3 ds))) Source # | |
Dim2 XNat (DataFrame l1 XNat l2) ((:) XNat d1 ((:) XNat d2 ds)) Source # | |
Dim1 XNat (DataFrame l1 XNat l2) ((:) XNat d ds) Source # | |
data DataFrame Type Nat Source # | Single frame |
data DataFrame l XNat Source # | Data frame with some dimensions missing at compile time. Pattern-match against its constructor to get a Nat-indexed data frame. |
data DataFrame [Type] Nat Source # | Multiple "columns" of data frames of the same shape |