Safe Haskell	None
Language	Haskell2010

DataFrame.Monad

Contents

The frame-state monad
Frame verbs
Column-derivation pipelines

Synopsis

data FrameM a
runFrameM :: DataFrame -> FrameM a -> (a, DataFrame)
evalFrameM :: DataFrame -> FrameM a -> a
execFrameM :: DataFrame -> FrameM a -> DataFrame
modifyM :: (DataFrame -> DataFrame) -> FrameM ()
inspectM :: (DataFrame -> b) -> FrameM b
deriveM :: Columnable a => Text -> Expr a -> FrameM (Expr a)
insertM :: Columnable a => Text -> [a] -> FrameM (Expr a)
renameM :: Columnable a => Expr a -> Text -> FrameM (Expr a)
filterWhereM :: Expr Bool -> FrameM ()
sampleM :: RandomGen g => g -> Double -> FrameM ()
takeM :: Int -> FrameM ()
dropM :: Int -> FrameM ()
selectM :: [Text] -> FrameM ()
excludeM :: [Text] -> FrameM ()
sortByM :: [SortOrder] -> FrameM ()
data SortOrder where
- Asc :: forall a. (Columnable a, Ord a) => Expr a -> SortOrder
- Desc :: forall a. (Columnable a, Ord a) => Expr a -> SortOrder
columnAsListM :: Columnable a => Expr a -> FrameM [a]
filterJustM :: Columnable a => Expr (Maybe a) -> FrameM (Expr a)
imputeM :: (ImputeOp a, Columnable (BaseType a)) => Expr a -> BaseType a -> FrameM (Expr (BaseType a))
data Pipeline a
letAs :: Columnable a => Text -> Expr a -> Pipeline (Expr a)
letExpr :: Columnable a => Expr a -> Pipeline (Expr a)
pipelineSteps :: Pipeline a -> Int
toFrameM :: Pipeline (Expr a) -> FrameM (Expr a)
runPipeline :: DataFrame -> Pipeline (Expr a) -> (Expr a, DataFrame)

The frame-state monad

data FrameM a Source #

Instances

Instances details

Applicative FrameM Source #
Instance details Defined in DataFrame.Monad Methods pure :: a -> FrameM a # (<>) :: FrameM (a -> b) -> FrameM a -> FrameM b # liftA2 :: (a -> b -> c) -> FrameM a -> FrameM b -> FrameM c # (>) :: FrameM a -> FrameM b -> FrameM b # (<*) :: FrameM a -> FrameM b -> FrameM a #
Functor FrameM Source #
Instance details Defined in DataFrame.Monad Methods fmap :: (a -> b) -> FrameM a -> FrameM b # (<$) :: a -> FrameM b -> FrameM a #
Monad FrameM Source #
Instance details Defined in DataFrame.Monad Methods (>>=) :: FrameM a -> (a -> FrameM b) -> FrameM b # (>>) :: FrameM a -> FrameM b -> FrameM b # return :: a -> FrameM a #

runFrameM :: DataFrame -> FrameM a -> (a, DataFrame) Source #

evalFrameM :: DataFrame -> FrameM a -> a Source #

execFrameM :: DataFrame -> FrameM a -> DataFrame Source #

modifyM :: (DataFrame -> DataFrame) -> FrameM () Source #

inspectM :: (DataFrame -> b) -> FrameM b Source #

Frame verbs

deriveM :: Columnable a => Text -> Expr a -> FrameM (Expr a) Source #

insertM :: Columnable a => Text -> [a] -> FrameM (Expr a) Source #

renameM :: Columnable a => Expr a -> Text -> FrameM (Expr a) Source #

filterWhereM :: Expr Bool -> FrameM () Source #

sampleM :: RandomGen g => g -> Double -> FrameM () Source #

takeM :: Int -> FrameM () Source #

dropM :: Int -> FrameM () Source #

selectM :: [Text] -> FrameM () Source #

Keep only the named columns. dropM drops rows; this drops columns.

excludeM :: [Text] -> FrameM () Source #

Drop the named columns.

sortByM :: [SortOrder] -> FrameM () Source #

data SortOrder where Source #

Sort order taken as a parameter by the sortBy function.

Constructors

Asc :: forall a. (Columnable a, Ord a) => Expr a -> SortOrder
Desc :: forall a. (Columnable a, Ord a) => Expr a -> SortOrder

Instances

Instances details

Eq SortOrder Source #
Instance details Defined in DataFrame.Operations.Permutation Methods (==) :: SortOrder -> SortOrder -> Bool # (/=) :: SortOrder -> SortOrder -> Bool #

columnAsListM :: Columnable a => Expr a -> FrameM [a] Source #

filterJustM :: Columnable a => Expr (Maybe a) -> FrameM (Expr a) Source #

imputeM :: (ImputeOp a, Columnable (BaseType a)) => Expr a -> BaseType a -> FrameM (Expr (BaseType a)) Source #

Column-derivation pipelines

data Pipeline a Source #

Instances

Instances details

Applicative Pipeline Source #
Instance details Defined in DataFrame.Monad Methods pure :: a -> Pipeline a # (<>) :: Pipeline (a -> b) -> Pipeline a -> Pipeline b # liftA2 :: (a -> b -> c) -> Pipeline a -> Pipeline b -> Pipeline c # (>) :: Pipeline a -> Pipeline b -> Pipeline b # (<*) :: Pipeline a -> Pipeline b -> Pipeline a #
Functor Pipeline Source #
Instance details Defined in DataFrame.Monad Methods fmap :: (a -> b) -> Pipeline a -> Pipeline b # (<$) :: a -> Pipeline b -> Pipeline a #
Monad Pipeline Source #
Instance details Defined in DataFrame.Monad Methods (>>=) :: Pipeline a -> (a -> Pipeline b) -> Pipeline b # (>>) :: Pipeline a -> Pipeline b -> Pipeline b # return :: a -> Pipeline a #
Show (Pipeline (Expr a)) Source #
Instance details Defined in DataFrame.Monad Methods showsPrec :: Int -> Pipeline (Expr a) -> ShowS # show :: Pipeline (Expr a) -> String # showList :: [Pipeline (Expr a)] -> ShowS #

letAs :: Columnable a => Text -> Expr a -> Pipeline (Expr a) Source #

Derive a column under an explicit name, returning a reference to it.

letExpr :: Columnable a => Expr a -> Pipeline (Expr a) Source #

Derive a column under a fresh generated name.

pipelineSteps :: Pipeline a -> Int Source #

Number of column derivations the pipeline performs.

toFrameM :: Pipeline (Expr a) -> FrameM (Expr a) Source #

Interpret a pipeline into FrameM, deriving each logged column in order.

runPipeline :: DataFrame -> Pipeline (Expr a) -> (Expr a, DataFrame) Source #

Run a pipeline over a frame: derive its columns and return the result expression (a reference to the final column) and the resulting frame.