dataframe-0.3.3.2: A fast, safe, and intuitive DataFrame library.

Safe Haskell	None
Language	Haskell2010

DataFrame.Functions

Synopsis

name :: Show a => Expr a -> Text
col :: Columnable a => Text -> Expr a
as :: Columnable a => Expr a -> Text -> (Text, UExpr)
ifThenElse :: Columnable a => Expr Bool -> Expr a -> Expr a -> Expr a
lit :: Columnable a => a -> Expr a
lift :: (Columnable a, Columnable b) => (a -> b) -> Expr a -> Expr b
lift2 :: (Columnable c, Columnable b, Columnable a) => (c -> b -> a) -> Expr c -> Expr b -> Expr a
(==) :: (Columnable a, Eq a) => Expr a -> Expr a -> Expr Bool
eq :: (Columnable a, Eq a) => Expr a -> Expr a -> Expr Bool
(<) :: (Columnable a, Ord a) => Expr a -> Expr a -> Expr Bool
lt :: (Columnable a, Ord a) => Expr a -> Expr a -> Expr Bool
(>) :: (Columnable a, Ord a) => Expr a -> Expr a -> Expr Bool
gt :: (Columnable a, Ord a) => Expr a -> Expr a -> Expr Bool
(<=) :: (Columnable a, Ord a, Eq a) => Expr a -> Expr a -> Expr Bool
leq :: (Columnable a, Ord a, Eq a) => Expr a -> Expr a -> Expr Bool
(>=) :: (Columnable a, Ord a, Eq a) => Expr a -> Expr a -> Expr Bool
geq :: (Columnable a, Ord a, Eq a) => Expr a -> Expr a -> Expr Bool
and :: Expr Bool -> Expr Bool -> Expr Bool
or :: Expr Bool -> Expr Bool -> Expr Bool
not :: Expr Bool -> Expr Bool
count :: Columnable a => Expr a -> Expr Int
minimum :: (Columnable a, Ord a) => Expr a -> Expr a
maximum :: (Columnable a, Ord a) => Expr a -> Expr a
sum :: (Columnable a, Num a, Unbox a) => Expr a -> Expr a
mean :: (Columnable a, Real a, Unbox a) => Expr a -> Expr Double
median :: Expr Double -> Expr Double
percentile :: Int -> Expr Double -> Expr Double
stddev :: (Columnable a, Real a, Unbox a) => Expr a -> Expr Double
zScore :: Expr Double -> Expr Double
pow :: (Columnable a, Num a) => Int -> Expr a -> Expr a
relu :: (Columnable a, Num a) => Expr a -> Expr a
min :: (Columnable a, Ord a) => Expr a -> Expr a -> Expr a
max :: (Columnable a, Ord a) => Expr a -> Expr a -> Expr a
reduce :: (Columnable a, Columnable b) => Expr b -> a -> (a -> b -> a) -> Expr a
generatePrograms :: [Expr Double] -> [Expr Double] -> [Expr Double]
deduplicate :: DataFrame -> [Expr Double] -> [(Expr Double, TypedColumn Double)]
equivalent :: DataFrame -> Expr Double -> Expr Double -> Bool
synthesizeFeatureExpr :: Text -> Int -> Int -> DataFrame -> Either String (Expr Double)
fitRegression :: Text -> Int -> Int -> DataFrame -> Either String (Expr Double)
data BeamConfig = BeamConfig {
- searchDepth :: Int
- beamLength :: Int
- rankingFunction :: Vector Double -> Vector Double -> Maybe Double
}
beamSearch :: DataFrame -> BeamConfig -> TypedColumn Double -> [Expr Double] -> Maybe (Expr Double)
pickTopN :: DataFrame -> TypedColumn Double -> BeamConfig -> [(Expr Double, TypedColumn a)] -> [Expr Double]
satisfiesExamples :: DataFrame -> TypedColumn Double -> Expr Double -> Bool
isReservedId :: Text -> Bool
isVarId :: Text -> Bool
isHaskellIdentifier :: Text -> Bool
sanitize :: Text -> Text
typeFromString :: [String] -> Q Type
declareColumns :: DataFrame -> DecsQ

Documentation

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

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

as :: Columnable a => Expr a -> Text -> (Text, UExpr) Source #

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

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

lift :: (Columnable a, Columnable b) => (a -> b) -> Expr a -> Expr b Source #

lift2 :: (Columnable c, Columnable b, Columnable a) => (c -> b -> a) -> Expr c -> Expr b -> Expr a Source #

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

eq :: (Columnable a, Eq a) => Expr a -> Expr a -> Expr Bool Source #

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

lt :: (Columnable a, Ord a) => Expr a -> Expr a -> Expr Bool Source #

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

gt :: (Columnable a, Ord a) => Expr a -> Expr a -> Expr Bool Source #

(<=) :: (Columnable a, Ord a, Eq a) => Expr a -> Expr a -> Expr Bool Source #

leq :: (Columnable a, Ord a, Eq a) => Expr a -> Expr a -> Expr Bool Source #

(>=) :: (Columnable a, Ord a, Eq a) => Expr a -> Expr a -> Expr Bool Source #

geq :: (Columnable a, Ord a, Eq a) => Expr a -> Expr a -> Expr Bool Source #

and :: Expr Bool -> Expr Bool -> Expr Bool Source #

or :: Expr Bool -> Expr Bool -> Expr Bool Source #

not :: Expr Bool -> Expr Bool Source #

count :: Columnable a => Expr a -> Expr Int Source #

minimum :: (Columnable a, Ord a) => Expr a -> Expr a Source #

maximum :: (Columnable a, Ord a) => Expr a -> Expr a Source #

sum :: (Columnable a, Num a, Unbox a) => Expr a -> Expr a Source #

mean :: (Columnable a, Real a, Unbox a) => Expr a -> Expr Double Source #

median :: Expr Double -> Expr Double Source #

percentile :: Int -> Expr Double -> Expr Double Source #

stddev :: (Columnable a, Real a, Unbox a) => Expr a -> Expr Double Source #

zScore :: Expr Double -> Expr Double Source #

pow :: (Columnable a, Num a) => Int -> Expr a -> Expr a Source #

relu :: (Columnable a, Num a) => Expr a -> Expr a Source #

min :: (Columnable a, Ord a) => Expr a -> Expr a -> Expr a Source #

max :: (Columnable a, Ord a) => Expr a -> Expr a -> Expr a Source #

reduce :: (Columnable a, Columnable b) => Expr b -> a -> (a -> b -> a) -> Expr a Source #

generatePrograms :: [Expr Double] -> [Expr Double] -> [Expr Double] Source #

deduplicate :: DataFrame -> [Expr Double] -> [(Expr Double, TypedColumn Double)] Source #

Deduplicate programs pick the least smallest one by size.

equivalent :: DataFrame -> Expr Double -> Expr Double -> Bool Source #

Checks if two programs generate the same outputs given all the same inputs.

synthesizeFeatureExpr Source #

Arguments

:: Text	Target expression
-> Int	Depth of search (Roughly, how many terms in the final expression)
-> Int	Beam size - the number of candidate expressions to consider at a time.
-> DataFrame
-> Either String (Expr Double)

fitRegression Source #

Arguments

:: Text	Target expression
-> Int	Depth of search (Roughly, how many terms in the final expression)
-> Int	Beam size - the number of candidate expressions to consider at a time.
-> DataFrame
-> Either String (Expr Double)

data BeamConfig Source #

Constructors

BeamConfig
Fields searchDepth :: Int beamLength :: Int rankingFunction :: Vector Double -> Vector Double -> Maybe Double

beamSearch Source #

Arguments

:: DataFrame
-> BeamConfig	Parameters of the beam search.
-> TypedColumn Double	Examples
-> [Expr Double]	Programs
-> Maybe (Expr Double)

pickTopN :: DataFrame -> TypedColumn Double -> BeamConfig -> [(Expr Double, TypedColumn a)] -> [Expr Double] Source #

satisfiesExamples :: DataFrame -> TypedColumn Double -> Expr Double -> Bool Source #

isReservedId :: Text -> Bool Source #

isVarId :: Text -> Bool Source #

isHaskellIdentifier :: Text -> Bool Source #

sanitize :: Text -> Text Source #

typeFromString :: [String] -> Q Type Source #

declareColumns :: DataFrame -> DecsQ Source #