Safe Haskell	None
Language	Haskell2010

DataFrame.Operators

Synopsis

(|>) :: a -> (a -> b) -> b
as :: Columnable a => Expr a -> Text -> NamedExpr
name :: Show a => Expr a -> Text
col :: Columnable a => Text -> Expr a
ifThenElse :: Columnable a => Expr Bool -> Expr a -> Expr a -> Expr a
lit :: Columnable a => a -> Expr a
(.=) :: Columnable a => Text -> Expr a -> NamedExpr
liftDecorated :: (Columnable a, Columnable b) => (a -> b) -> Text -> Maybe Text -> Expr a -> Expr b
lift2Decorated :: (Columnable c, Columnable b, Columnable a) => (c -> b -> a) -> Text -> Maybe Text -> Bool -> Int -> Expr c -> Expr b -> Expr a
(.==.) :: (Columnable a, Eq a) => Expr a -> Expr a -> Expr Bool
(./=.) :: (Columnable a, Eq a) => Expr a -> Expr a -> Expr Bool
(.<.) :: (Columnable a, Ord a) => Expr a -> Expr a -> Expr Bool
(.>.) :: (Columnable a, Ord a) => Expr a -> Expr a -> Expr Bool
(.<=.) :: (Columnable a, Ord a) => Expr a -> Expr a -> Expr Bool
(.>=.) :: (Columnable a, Ord a) => Expr a -> Expr a -> Expr Bool
(.+.) :: (Columnable a, Num a) => Expr a -> Expr a -> Expr a
(.-.) :: (Columnable a, Num a) => Expr a -> Expr a -> Expr a
(.*.) :: (Columnable a, Num a) => Expr a -> Expr a -> Expr a
(./.) :: (Columnable a, Fractional a) => Expr a -> Expr a -> Expr a
(.+) :: (NumericWidenOp (BaseType a) (BaseType b), NullLift2Op a b (Promote (BaseType a) (BaseType b)) (WidenResult a b), Num (Promote (BaseType a) (BaseType b))) => Expr a -> Expr b -> Expr (WidenResult a b)
(.-) :: (NumericWidenOp (BaseType a) (BaseType b), NullLift2Op a b (Promote (BaseType a) (BaseType b)) (WidenResult a b), Num (Promote (BaseType a) (BaseType b))) => Expr a -> Expr b -> Expr (WidenResult a b)
(.*) :: (NumericWidenOp (BaseType a) (BaseType b), NullLift2Op a b (Promote (BaseType a) (BaseType b)) (WidenResult a b), Num (Promote (BaseType a) (BaseType b))) => Expr a -> Expr b -> Expr (WidenResult a b)
(./) :: (DivWidenOp (BaseType a) (BaseType b), NullLift2Op a b (PromoteDiv (BaseType a) (BaseType b)) (WidenResultDiv a b), Fractional (PromoteDiv (BaseType a) (BaseType b))) => Expr a -> Expr b -> Expr (WidenResultDiv a b)
(.==) :: (NullableCmpOp a b (NullCmpResult a b), Eq (BaseType a)) => Expr a -> Expr b -> Expr (NullCmpResult a b)
(./=) :: (NullableCmpOp a b (NullCmpResult a b), Eq (BaseType a)) => Expr a -> Expr b -> Expr (NullCmpResult a b)
(.<) :: (NullableCmpOp a b (NullCmpResult a b), Ord (BaseType a)) => Expr a -> Expr b -> Expr (NullCmpResult a b)
(.>) :: (NullableCmpOp a b (NullCmpResult a b), Ord (BaseType a)) => Expr a -> Expr b -> Expr (NullCmpResult a b)
(.<=) :: (NullableCmpOp a b (NullCmpResult a b), Ord (BaseType a)) => Expr a -> Expr b -> Expr (NullCmpResult a b)
(.>=) :: (NullableCmpOp a b (NullCmpResult a b), Ord (BaseType a)) => Expr a -> Expr b -> Expr (NullCmpResult a b)
(.&&.) :: Expr Bool -> Expr Bool -> Expr Bool
(.||.) :: Expr Bool -> Expr Bool -> Expr Bool
(.&&) :: (NullableCmpOp a b (NullCmpResult a b), BaseType a ~ Bool) => Expr a -> Expr b -> Expr (NullCmpResult a b)
(.||) :: (NullableCmpOp a b (NullCmpResult a b), BaseType a ~ Bool) => Expr a -> Expr b -> Expr (NullCmpResult a b)
(.^^) :: (Columnable (BaseType a), Columnable (BaseType b), Fractional (BaseType a), Integral (BaseType b), NumericWidenOp (BaseType a) (BaseType b), NullLift2Op a b (BaseType a) a, Num (Promote (BaseType a) (BaseType b))) => Expr a -> Expr b -> Expr a
(.^) :: (Columnable (BaseType a), Columnable (BaseType b), Num (BaseType a), Integral (BaseType b), NumericWidenOp (BaseType a) (BaseType b), NullLift2Op a b (BaseType a) a, Num (Promote (BaseType a) (BaseType b))) => Expr a -> Expr b -> Expr a
(.^^.) :: (Columnable a, Columnable b, Fractional a, Integral b) => Expr a -> Expr b -> Expr a
(.^.) :: (Columnable a, Columnable b, Num a, Integral b) => Expr a -> Expr b -> Expr a

Documentation

(|>) :: a -> (a -> b) -> b Source #

as :: Columnable a => Expr a -> Text -> NamedExpr Source #

name :: Show a => Expr a -> Text Source #

col :: Columnable a => Text -> Expr a Source #

ifThenElse :: Columnable a => Expr Bool -> Expr a -> Expr a -> Expr a Source #

lit :: Columnable a => a -> Expr a Source #

(.=) :: Columnable a => Text -> Expr a -> NamedExpr infixr 0 Source #

liftDecorated :: (Columnable a, Columnable b) => (a -> b) -> Text -> Maybe Text -> Expr a -> Expr b Source #

lift2Decorated :: (Columnable c, Columnable b, Columnable a) => (c -> b -> a) -> Text -> Maybe Text -> Bool -> Int -> Expr c -> Expr b -> Expr a Source #

(.==.) :: (Columnable a, Eq a) => Expr a -> Expr a -> Expr Bool infix 4 Source #

(./=.) :: (Columnable a, Eq a) => Expr a -> Expr a -> Expr Bool infix 4 Source #

(.<.) :: (Columnable a, Ord a) => Expr a -> Expr a -> Expr Bool infix 4 Source #

(.>.) :: (Columnable a, Ord a) => Expr a -> Expr a -> Expr Bool infix 4 Source #

(.<=.) :: (Columnable a, Ord a) => Expr a -> Expr a -> Expr Bool infix 4 Source #

(.>=.) :: (Columnable a, Ord a) => Expr a -> Expr a -> Expr Bool infix 4 Source #

(.+.) :: (Columnable a, Num a) => Expr a -> Expr a -> Expr a infixl 6 Source #

(.-.) :: (Columnable a, Num a) => Expr a -> Expr a -> Expr a infixl 6 Source #

(.*.) :: (Columnable a, Num a) => Expr a -> Expr a -> Expr a infixl 7 Source #

(./.) :: (Columnable a, Fractional a) => Expr a -> Expr a -> Expr a infixl 7 Source #

(.+) :: (NumericWidenOp (BaseType a) (BaseType b), NullLift2Op a b (Promote (BaseType a) (BaseType b)) (WidenResult a b), Num (Promote (BaseType a) (BaseType b))) => Expr a -> Expr b -> Expr (WidenResult a b) infixl 6 Source #

Nullable-aware addition. Works for all combinations of nullable/non-nullable operands. col @Int "x" .+ col @(Maybe Int) "y" -- :: Expr (Maybe Int)

(.-) :: (NumericWidenOp (BaseType a) (BaseType b), NullLift2Op a b (Promote (BaseType a) (BaseType b)) (WidenResult a b), Num (Promote (BaseType a) (BaseType b))) => Expr a -> Expr b -> Expr (WidenResult a b) infixl 6 Source #

Nullable-aware subtraction.

(.*) :: (NumericWidenOp (BaseType a) (BaseType b), NullLift2Op a b (Promote (BaseType a) (BaseType b)) (WidenResult a b), Num (Promote (BaseType a) (BaseType b))) => Expr a -> Expr b -> Expr (WidenResult a b) infixl 7 Source #

Nullable-aware multiplication.

(./) :: (DivWidenOp (BaseType a) (BaseType b), NullLift2Op a b (PromoteDiv (BaseType a) (BaseType b)) (WidenResultDiv a b), Fractional (PromoteDiv (BaseType a) (BaseType b))) => Expr a -> Expr b -> Expr (WidenResultDiv a b) infixl 7 Source #

Nullable-aware division. Integral operands are promoted to Double.

(.==) :: (NullableCmpOp a b (NullCmpResult a b), Eq (BaseType a)) => Expr a -> Expr b -> Expr (NullCmpResult a b) infix 4 Source #

Nullable-aware equality. Returns Maybe Bool when either operand is nullable.

(./=) :: (NullableCmpOp a b (NullCmpResult a b), Eq (BaseType a)) => Expr a -> Expr b -> Expr (NullCmpResult a b) infix 4 Source #

Nullable-aware inequality.

(.<) :: (NullableCmpOp a b (NullCmpResult a b), Ord (BaseType a)) => Expr a -> Expr b -> Expr (NullCmpResult a b) infix 4 Source #

Nullable-aware less-than.

(.>) :: (NullableCmpOp a b (NullCmpResult a b), Ord (BaseType a)) => Expr a -> Expr b -> Expr (NullCmpResult a b) infix 4 Source #

Nullable-aware greater-than.

(.<=) :: (NullableCmpOp a b (NullCmpResult a b), Ord (BaseType a)) => Expr a -> Expr b -> Expr (NullCmpResult a b) infix 4 Source #

Nullable-aware less-than-or-equal.

(.>=) :: (NullableCmpOp a b (NullCmpResult a b), Ord (BaseType a)) => Expr a -> Expr b -> Expr (NullCmpResult a b) infix 4 Source #

Nullable-aware greater-than-or-equal.

(.&&.) :: Expr Bool -> Expr Bool -> Expr Bool infixr 3 Source #

(.||.) :: Expr Bool -> Expr Bool -> Expr Bool infixr 2 Source #

(.&&) :: (NullableCmpOp a b (NullCmpResult a b), BaseType a ~ Bool) => Expr a -> Expr b -> Expr (NullCmpResult a b) infixr 3 Source #

Nullable-aware logical AND. Returns Maybe Bool when either operand is nullable.

(.||) :: (NullableCmpOp a b (NullCmpResult a b), BaseType a ~ Bool) => Expr a -> Expr b -> Expr (NullCmpResult a b) infixr 2 Source #

Nullable-aware logical OR. Returns Maybe Bool when either operand is nullable.

(.^^) :: (Columnable (BaseType a), Columnable (BaseType b), Fractional (BaseType a), Integral (BaseType b), NumericWidenOp (BaseType a) (BaseType b), NullLift2Op a b (BaseType a) a, Num (Promote (BaseType a) (BaseType b))) => Expr a -> Expr b -> Expr a infixr 8 Source #

(.^) :: (Columnable (BaseType a), Columnable (BaseType b), Num (BaseType a), Integral (BaseType b), NumericWidenOp (BaseType a) (BaseType b), NullLift2Op a b (BaseType a) a, Num (Promote (BaseType a) (BaseType b))) => Expr a -> Expr b -> Expr a infixr 8 Source #

(.^^.) :: (Columnable a, Columnable b, Fractional a, Integral b) => Expr a -> Expr b -> Expr a infixr 8 Source #

(.^.) :: (Columnable a, Columnable b, Num a, Integral b) => Expr a -> Expr b -> Expr a infixr 8 Source #