Spark.Core.Internal.Arithmetics

Documentation

type family GeneralizedHomoReturn x1 x2 where ...

All the automatic conversions supported when lifting a

Equations

GeneralizedHomoReturn (Column ref x1) (Column ref x1) = Column ref x1

GeneralizedHomoReturn (Column ref x1) DynColumn = DynColumn

GeneralizedHomoReturn (Column ref x1) (LocalData x1) = Column ref x1

GeneralizedHomoReturn (Column ref x1) LocalFrame = DynColumn

GeneralizedHomoReturn DynColumn (Column ref x1) = DynColumn

GeneralizedHomoReturn DynColumn DynColumn = DynColumn

GeneralizedHomoReturn DynColumn (LocalData x1) = DynColumn

GeneralizedHomoReturn DynColumn LocalFrame = DynColumn

GeneralizedHomoReturn (LocalData x1) (Column ref x1) = Column ref x1

GeneralizedHomoReturn (LocalData x1) DynColumn = DynColumn

GeneralizedHomoReturn (LocalData x1) (LocalData x1) = LocalData x1

GeneralizedHomoReturn (LocalData x1) LocalFrame = LocalFrame

GeneralizedHomoReturn LocalFrame (Column ref x1) = DynColumn

GeneralizedHomoReturn LocalFrame LocalFrame = LocalFrame

class GeneralizedHomo2 x1 x2

The class of types that can be lifted to operations onto Karps types.

This is the class for operations on homogeneous types (the inputs and the output have the same underlying type).

At its core, it takes a broadcasted operation that works on columns, and makes that operation available on other shapes.

Instances

GeneralizedHomo2 LocalFrame LocalFrame

Methods

_projectHomo :: LocalFrame -> LocalFrame -> HomoColOp2 -> GeneralizedHomoReturn LocalFrame LocalFrame

GeneralizedHomo2 DynColumn DynColumn

Methods

_projectHomo :: DynColumn -> DynColumn -> HomoColOp2 -> GeneralizedHomoReturn DynColumn DynColumn

GeneralizedHomo2 LocalFrame (Column ref x)

Methods

_projectHomo :: LocalFrame -> Column ref x -> HomoColOp2 -> GeneralizedHomoReturn LocalFrame (Column ref x)

GeneralizedHomo2 DynColumn (Column ref x)

Methods

_projectHomo :: DynColumn -> Column ref x -> HomoColOp2 -> GeneralizedHomoReturn DynColumn (Column ref x)

GeneralizedHomo2 (LocalData x) (Column ref x)

Methods

_projectHomo :: LocalData x -> Column ref x -> HomoColOp2 -> GeneralizedHomoReturn (LocalData x) (Column ref x)

GeneralizedHomo2 (Column ref x) LocalFrame

Methods

_projectHomo :: Column ref x -> LocalFrame -> HomoColOp2 -> GeneralizedHomoReturn (Column ref x) LocalFrame

GeneralizedHomo2 (Column ref x) DynColumn

Methods

_projectHomo :: Column ref x -> DynColumn -> HomoColOp2 -> GeneralizedHomoReturn (Column ref x) DynColumn

GeneralizedHomo2 (Column ref x) (LocalData x)

Methods

_projectHomo :: Column ref x -> LocalData x -> HomoColOp2 -> GeneralizedHomoReturn (Column ref x) (LocalData x)

GeneralizedHomo2 (Column ref x) (Column ref x)

Methods

_projectHomo :: Column ref x -> Column ref x -> HomoColOp2 -> GeneralizedHomoReturn (Column ref x) (Column ref x)

type HomoColOp2 = UntypedColumnData -> UntypedColumnData -> UntypedColumnData

Developer API

performOp :: GeneralizedHomo2 x1 x2 => HomoColOp2 -> x1 -> x2 -> GeneralizedHomoReturn x1 x2

Performs an operation, using a reference operation defined on columns.