Copyright | (c) Artem Chirkin |
---|---|
License | BSD3 |
Maintainer | chirkin@arch.ethz.ch |
Safe Haskell | None |
Language | Haskell2010 |
- class MutableFrame t ns
- data IODataFrame t ns
- data SomeIODataFrame t xns = (FixedDim xns ns ~ ns, FixedXDim xns ns ~ xns, NumericFrame t ns) => SomeIODataFrame (IODataFrame t ns)
- newDataFrame :: forall t ns. (PrimBytes t, Dimensions ns) => IO (IODataFrame t ns)
- copyDataFrame :: forall t as b' b bs asbs. (ConcatList as (b :+ bs) asbs, Dimensions (b :+ bs), PrimBytes (DataFrame t (as +: b'))) => DataFrame t (as +: b') -> Idx (b :+ bs) -> IODataFrame t asbs -> IO ()
- copyMutableDataFrame :: forall t as b' b bs asbs. (PrimBytes t, ConcatList as (b :+ bs) asbs, Dimensions (b :+ bs)) => IODataFrame t (as +: b') -> Idx (b :+ bs) -> IODataFrame t asbs -> IO ()
- unsafeFreezeDataFrame :: forall t ns. PrimBytes (DataFrame t ns) => IODataFrame t ns -> IO (DataFrame t ns)
- freezeDataFrame :: forall t ns. PrimBytes (DataFrame t ns) => IODataFrame t ns -> IO (DataFrame t ns)
- thawDataFrame :: forall t ns. PrimBytes (DataFrame t ns) => DataFrame t ns -> IO (IODataFrame t ns)
- writeDataFrame :: forall t ns. (MutableFrame t ns, Dimensions ns) => IODataFrame t ns -> Idx ns -> Scalar t -> IO ()
- readDataFrame :: forall t ns. (MutableFrame t ns, Dimensions ns) => IODataFrame t ns -> Idx ns -> IO (Scalar t)
- writeDataFrameOff :: forall t ns. (MutableFrame t ns, Dimensions ns) => IODataFrame t ns -> Int -> Scalar t -> IO ()
- readDataFrameOff :: forall t ns. (MutableFrame t ns, Dimensions ns) => IODataFrame t ns -> Int -> IO (Scalar t)
Documentation
class MutableFrame t ns Source #
writeDataFrameOff#, readDataFrameOff#
MutableFrame Double ns Source # | |
MutableFrame Float ns Source # | |
MutableFrame Int ns Source # | |
MutableFrame Int8 ns Source # | |
MutableFrame Int16 ns Source # | |
MutableFrame Int32 ns Source # | |
MutableFrame Int64 ns Source # | |
MutableFrame Word ns Source # | |
MutableFrame Word8 ns Source # | |
MutableFrame Word16 ns Source # | |
MutableFrame Word32 ns Source # | |
MutableFrame Word64 ns Source # | |
data IODataFrame t ns Source #
Mutable DataFrame that lives in IO. Internal representation is always a ByteArray.
data SomeIODataFrame t xns Source #
Mutable DataFrame of unknown dimensionality
(FixedDim xns ns ~ ns, FixedXDim xns ns ~ xns, NumericFrame t ns) => SomeIODataFrame (IODataFrame t ns) |
newDataFrame :: forall t ns. (PrimBytes t, Dimensions ns) => IO (IODataFrame t ns) Source #
Create a new mutable DataFrame.
copyDataFrame :: forall t as b' b bs asbs. (ConcatList as (b :+ bs) asbs, Dimensions (b :+ bs), PrimBytes (DataFrame t (as +: b'))) => DataFrame t (as +: b') -> Idx (b :+ bs) -> IODataFrame t asbs -> IO () Source #
Copy one DataFrame into another mutable DataFrame at specified position.
copyMutableDataFrame :: forall t as b' b bs asbs. (PrimBytes t, ConcatList as (b :+ bs) asbs, Dimensions (b :+ bs)) => IODataFrame t (as +: b') -> Idx (b :+ bs) -> IODataFrame t asbs -> IO () Source #
Copy one mutable DataFrame into another mutable DataFrame at specified position.
unsafeFreezeDataFrame :: forall t ns. PrimBytes (DataFrame t ns) => IODataFrame t ns -> IO (DataFrame t ns) Source #
Make a mutable DataFrame immutable, without copying.
freezeDataFrame :: forall t ns. PrimBytes (DataFrame t ns) => IODataFrame t ns -> IO (DataFrame t ns) Source #
Copy content of a mutable DataFrame into a new immutable DataFrame.
thawDataFrame :: forall t ns. PrimBytes (DataFrame t ns) => DataFrame t ns -> IO (IODataFrame t ns) Source #
Create a new mutable DataFrame and copy content of immutable one in there.
writeDataFrame :: forall t ns. (MutableFrame t ns, Dimensions ns) => IODataFrame t ns -> Idx ns -> Scalar t -> IO () Source #
Write a single element at the specified index
readDataFrame :: forall t ns. (MutableFrame t ns, Dimensions ns) => IODataFrame t ns -> Idx ns -> IO (Scalar t) Source #
Read a single element at the specified index
writeDataFrameOff :: forall t ns. (MutableFrame t ns, Dimensions ns) => IODataFrame t ns -> Int -> Scalar t -> IO () Source #
Write a single element at the specified element offset
readDataFrameOff :: forall t ns. (MutableFrame t ns, Dimensions ns) => IODataFrame t ns -> Int -> IO (Scalar t) Source #
Read a single element at the specified element offset