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
data NullEq a b c where
- NullEq :: forall a b. (NumericWidenOp (BaseType a) (BaseType b), NullLift2Op a b Bool (NullCmpResult a b), Eq (Promote (BaseType a) (BaseType b))) => NullEq a b (NullCmpResult a b)
data NullNeq a b c where
- NullNeq :: forall a b. (NumericWidenOp (BaseType a) (BaseType b), NullLift2Op a b Bool (NullCmpResult a b), Eq (Promote (BaseType a) (BaseType b))) => NullNeq a b (NullCmpResult a b)
data NullLt a b c where
- NullLt :: forall a b. (NumericWidenOp (BaseType a) (BaseType b), NullLift2Op a b Bool (NullCmpResult a b), Ord (Promote (BaseType a) (BaseType b))) => NullLt a b (NullCmpResult a b)
data NullGt a b c where
- NullGt :: forall a b. (NumericWidenOp (BaseType a) (BaseType b), NullLift2Op a b Bool (NullCmpResult a b), Ord (Promote (BaseType a) (BaseType b))) => NullGt a b (NullCmpResult a b)
data NullLeq a b c where
- NullLeq :: forall a b. (NumericWidenOp (BaseType a) (BaseType b), NullLift2Op a b Bool (NullCmpResult a b), Ord (Promote (BaseType a) (BaseType b))) => NullLeq a b (NullCmpResult a b)
data NullGeq a b c where
- NullGeq :: forall a b. (NumericWidenOp (BaseType a) (BaseType b), NullLift2Op a b Bool (NullCmpResult a b), Ord (Promote (BaseType a) (BaseType b))) => NullGeq a b (NullCmpResult a b)
data NullAnd a b c where
- NullAnd :: forall a b. (NullableCmpOp a b (NullCmpResult a b), BaseType a ~ Bool) => NullAnd a b (NullCmpResult a b)
data NullOr a b c where
- NullOr :: forall a b. (NullableCmpOp a b (NullCmpResult a b), BaseType a ~ Bool) => NullOr a b (NullCmpResult a b)
(.==.) :: (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)
(.==) :: (NumericWidenOp (BaseType a) (BaseType b), NullLift2Op a b Bool (NullCmpResult a b), Eq (Promote (BaseType a) (BaseType b))) => Expr a -> Expr b -> Expr (NullCmpResult a b)
(./=) :: (NumericWidenOp (BaseType a) (BaseType b), NullLift2Op a b Bool (NullCmpResult a b), Eq (Promote (BaseType a) (BaseType b))) => Expr a -> Expr b -> Expr (NullCmpResult a b)
(.<) :: (NumericWidenOp (BaseType a) (BaseType b), NullLift2Op a b Bool (NullCmpResult a b), Ord (Promote (BaseType a) (BaseType b))) => Expr a -> Expr b -> Expr (NullCmpResult a b)
(.>) :: (NumericWidenOp (BaseType a) (BaseType b), NullLift2Op a b Bool (NullCmpResult a b), Ord (Promote (BaseType a) (BaseType b))) => Expr a -> Expr b -> Expr (NullCmpResult a b)
(.<=) :: (NumericWidenOp (BaseType a) (BaseType b), NullLift2Op a b Bool (NullCmpResult a b), Ord (Promote (BaseType a) (BaseType b))) => Expr a -> Expr b -> Expr (NullCmpResult a b)
(.>=) :: (NumericWidenOp (BaseType a) (BaseType b), NullLift2Op a b Bool (NullCmpResult a b), Ord (Promote (BaseType a) (BaseType b))) => 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 #

data NullEq a b c where Source #

Constructors

NullEq :: forall a b. (NumericWidenOp (BaseType a) (BaseType b), NullLift2Op a b Bool (NullCmpResult a b), Eq (Promote (BaseType a) (BaseType b))) => NullEq a b (NullCmpResult a b)

Instances

Instances details

BinaryOp NullEq Source #
Instance details Defined in DataFrame.Operators Methods binaryFn :: NullEq a b c -> a -> b -> c Source # binaryName :: NullEq a b c -> Text Source # binarySymbol :: NullEq a b c -> Maybe Text Source # binaryCommutative :: NullEq a b c -> Bool Source # binaryPrecedence :: NullEq a b c -> Int Source #

data NullNeq a b c where Source #

Constructors

NullNeq :: forall a b. (NumericWidenOp (BaseType a) (BaseType b), NullLift2Op a b Bool (NullCmpResult a b), Eq (Promote (BaseType a) (BaseType b))) => NullNeq a b (NullCmpResult a b)

Instances

Instances details

BinaryOp NullNeq Source #
Instance details Defined in DataFrame.Operators Methods binaryFn :: NullNeq a b c -> a -> b -> c Source # binaryName :: NullNeq a b c -> Text Source # binarySymbol :: NullNeq a b c -> Maybe Text Source # binaryCommutative :: NullNeq a b c -> Bool Source # binaryPrecedence :: NullNeq a b c -> Int Source #

data NullLt a b c where Source #

Constructors

NullLt :: forall a b. (NumericWidenOp (BaseType a) (BaseType b), NullLift2Op a b Bool (NullCmpResult a b), Ord (Promote (BaseType a) (BaseType b))) => NullLt a b (NullCmpResult a b)

Instances

Instances details

BinaryOp NullLt Source #
Instance details Defined in DataFrame.Operators Methods binaryFn :: NullLt a b c -> a -> b -> c Source # binaryName :: NullLt a b c -> Text Source # binarySymbol :: NullLt a b c -> Maybe Text Source # binaryCommutative :: NullLt a b c -> Bool Source # binaryPrecedence :: NullLt a b c -> Int Source #

data NullGt a b c where Source #

Constructors

NullGt :: forall a b. (NumericWidenOp (BaseType a) (BaseType b), NullLift2Op a b Bool (NullCmpResult a b), Ord (Promote (BaseType a) (BaseType b))) => NullGt a b (NullCmpResult a b)

Instances

Instances details

BinaryOp NullGt Source #
Instance details Defined in DataFrame.Operators Methods binaryFn :: NullGt a b c -> a -> b -> c Source # binaryName :: NullGt a b c -> Text Source # binarySymbol :: NullGt a b c -> Maybe Text Source # binaryCommutative :: NullGt a b c -> Bool Source # binaryPrecedence :: NullGt a b c -> Int Source #

data NullLeq a b c where Source #

Constructors

NullLeq :: forall a b. (NumericWidenOp (BaseType a) (BaseType b), NullLift2Op a b Bool (NullCmpResult a b), Ord (Promote (BaseType a) (BaseType b))) => NullLeq a b (NullCmpResult a b)

Instances

Instances details

BinaryOp NullLeq Source #
Instance details Defined in DataFrame.Operators Methods binaryFn :: NullLeq a b c -> a -> b -> c Source # binaryName :: NullLeq a b c -> Text Source # binarySymbol :: NullLeq a b c -> Maybe Text Source # binaryCommutative :: NullLeq a b c -> Bool Source # binaryPrecedence :: NullLeq a b c -> Int Source #

data NullGeq a b c where Source #

Constructors

NullGeq :: forall a b. (NumericWidenOp (BaseType a) (BaseType b), NullLift2Op a b Bool (NullCmpResult a b), Ord (Promote (BaseType a) (BaseType b))) => NullGeq a b (NullCmpResult a b)

Instances

Instances details

BinaryOp NullGeq Source #
Instance details Defined in DataFrame.Operators Methods binaryFn :: NullGeq a b c -> a -> b -> c Source # binaryName :: NullGeq a b c -> Text Source # binarySymbol :: NullGeq a b c -> Maybe Text Source # binaryCommutative :: NullGeq a b c -> Bool Source # binaryPrecedence :: NullGeq a b c -> Int Source #

data NullAnd a b c where Source #

Constructors

NullAnd :: forall a b. (NullableCmpOp a b (NullCmpResult a b), BaseType a ~ Bool) => NullAnd a b (NullCmpResult a b)

Instances

Instances details

BinaryOp NullAnd Source #
Instance details Defined in DataFrame.Operators Methods binaryFn :: NullAnd a b c -> a -> b -> c Source # binaryName :: NullAnd a b c -> Text Source # binarySymbol :: NullAnd a b c -> Maybe Text Source # binaryCommutative :: NullAnd a b c -> Bool Source # binaryPrecedence :: NullAnd a b c -> Int Source #

data NullOr a b c where Source #

Constructors

NullOr :: forall a b. (NullableCmpOp a b (NullCmpResult a b), BaseType a ~ Bool) => NullOr a b (NullCmpResult a b)

Instances

Instances details

BinaryOp NullOr Source #
Instance details Defined in DataFrame.Operators Methods binaryFn :: NullOr a b c -> a -> b -> c Source # binaryName :: NullOr a b c -> Text Source # binarySymbol :: NullOr a b c -> Maybe Text Source # binaryCommutative :: NullOr a b c -> Bool Source # binaryPrecedence :: NullOr a b c -> Int 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.

(.==) :: (NumericWidenOp (BaseType a) (BaseType b), NullLift2Op a b Bool (NullCmpResult a b), Eq (Promote (BaseType a) (BaseType b))) => Expr a -> Expr b -> Expr (NullCmpResult a b) infix 4 Source #

Nullable-aware equality. Widens numeric operands to their common type, so Expr Double .== Expr Int typechecks. Returns Maybe Bool when either operand is nullable.

(./=) :: (NumericWidenOp (BaseType a) (BaseType b), NullLift2Op a b Bool (NullCmpResult a b), Eq (Promote (BaseType a) (BaseType b))) => Expr a -> Expr b -> Expr (NullCmpResult a b) infix 4 Source #

Nullable-aware inequality. Widens numeric operands to their common type.

(.<) :: (NumericWidenOp (BaseType a) (BaseType b), NullLift2Op a b Bool (NullCmpResult a b), Ord (Promote (BaseType a) (BaseType b))) => Expr a -> Expr b -> Expr (NullCmpResult a b) infix 4 Source #

Nullable-aware less-than. Widens numeric operands to their common type.

(.>) :: (NumericWidenOp (BaseType a) (BaseType b), NullLift2Op a b Bool (NullCmpResult a b), Ord (Promote (BaseType a) (BaseType b))) => Expr a -> Expr b -> Expr (NullCmpResult a b) infix 4 Source #

Nullable-aware greater-than. Widens numeric operands to their common type.

(.<=) :: (NumericWidenOp (BaseType a) (BaseType b), NullLift2Op a b Bool (NullCmpResult a b), Ord (Promote (BaseType a) (BaseType b))) => Expr a -> Expr b -> Expr (NullCmpResult a b) infix 4 Source #

Nullable-aware less-than-or-equal. Widens numeric operands to their common type, so Expr Double .<= Expr Int typechecks.

(.>=) :: (NumericWidenOp (BaseType a) (BaseType b), NullLift2Op a b Bool (NullCmpResult a b), Ord (Promote (BaseType a) (BaseType b))) => Expr a -> Expr b -> Expr (NullCmpResult a b) infix 4 Source #

Nullable-aware greater-than-or-equal. Widens numeric operands to their common type.

(.&&.) :: 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 #