Safe Haskell	None
Language	Haskell2010

DataFrame.Internal.Types

Synopsis

type Columnable' a = (Typeable a, Show a, Ord a, Eq a, Read a)
data Rep
- = RBoxed
- | RUnboxed
- | ROptional
type family If (cond :: Bool) (yes :: k) (no :: k) :: k where ...
type family Unboxable a :: Bool where ...
type family Numeric a :: Bool where ...
type family KindOf a :: Rep where ...
data SBool (b :: Bool) where
- STrue :: SBool 'True
- SFalse :: SBool 'False
class SBoolI (b :: Bool) where
- sbool :: SBool b
sUnbox :: SBoolI (Unboxable a) => SBool (Unboxable a)
sNumeric :: SBoolI (Numeric a) => SBool (Numeric a)
type family When (flag :: Bool) c where ...
type UnboxIf a = When (Unboxable a) (Unbox a)
type family IntegralTypes a :: Bool where ...
sIntegral :: SBoolI (IntegralTypes a) => SBool (IntegralTypes a)
type IntegralIf a = When (IntegralTypes a) (Integral a)
type family FloatingTypes a :: Bool where ...
sFloating :: SBoolI (FloatingTypes a) => SBool (FloatingTypes a)
type FloatingIf a = When (FloatingTypes a) (Real a, Fractional a)

Documentation

type Columnable' a = (Typeable a, Show a, Ord a, Eq a, Read a) Source #

data Rep Source #

A type with column representations used to select the "right" representation when specializing the toColumn function.

Constructors

RBoxed
RUnboxed
ROptional

type family If (cond :: Bool) (yes :: k) (no :: k) :: k where ... Source #

Type-level if statement.

Equations

If 'True (yes :: k) (_1 :: k) = yes
If 'False (_1 :: k) (no :: k) = no

type family Unboxable a :: Bool where ... Source #

All unboxable types (according to the vector package).

Equations

Unboxable Int = 'True
Unboxable Int8 = 'True
Unboxable Int16 = 'True
Unboxable Int32 = 'True
Unboxable Int64 = 'True
Unboxable Word = 'True
Unboxable Word8 = 'True
Unboxable Word16 = 'True
Unboxable Word32 = 'True
Unboxable Word64 = 'True
Unboxable Char = 'True
Unboxable Bool = 'True
Unboxable Double = 'True
Unboxable Float = 'True
Unboxable _1 = 'False

type family Numeric a :: Bool where ... Source #

Equations

Numeric Integer = 'True
Numeric Int = 'True
Numeric Int8 = 'True
Numeric Int16 = 'True
Numeric Int32 = 'True
Numeric Int64 = 'True
Numeric Word = 'True
Numeric Word8 = 'True
Numeric Word16 = 'True
Numeric Word32 = 'True
Numeric Word64 = 'True
Numeric Double = 'True
Numeric Float = 'True
Numeric _1 = 'False

type family KindOf a :: Rep where ... Source #

Compute the column representation tag for any ‘a’.

Equations

KindOf (Maybe a) = 'ROptional
KindOf a = If (Unboxable a) 'RUnboxed 'RBoxed

data SBool (b :: Bool) where Source #

Type-level boolean for constraint/type comparison.

Constructors

STrue :: SBool 'True
SFalse :: SBool 'False

class SBoolI (b :: Bool) where Source #

The runtime witness for our type-level branching.

Methods

sbool :: SBool b Source #

Instances

Instances details

SBoolI 'False Source #
Instance details Defined in DataFrame.Internal.Types Methods sbool :: SBool 'False Source #
SBoolI 'True Source #
Instance details Defined in DataFrame.Internal.Types Methods sbool :: SBool 'True Source #

sUnbox :: SBoolI (Unboxable a) => SBool (Unboxable a) Source #

Type-level function to determine whether or not a type is unboxa

sNumeric :: SBoolI (Numeric a) => SBool (Numeric a) Source #

type family When (flag :: Bool) c where ... Source #

Equations

When 'True c = c
When 'False c = ()

type UnboxIf a = When (Unboxable a) (Unbox a) Source #

type family IntegralTypes a :: Bool where ... Source #

Equations

IntegralTypes Integer = 'True
IntegralTypes Int = 'True
IntegralTypes Int8 = 'True
IntegralTypes Int16 = 'True
IntegralTypes Int32 = 'True
IntegralTypes Int64 = 'True
IntegralTypes Word = 'True
IntegralTypes Word8 = 'True
IntegralTypes Word16 = 'True
IntegralTypes Word32 = 'True
IntegralTypes Word64 = 'True
IntegralTypes _1 = 'False

sIntegral :: SBoolI (IntegralTypes a) => SBool (IntegralTypes a) Source #

type IntegralIf a = When (IntegralTypes a) (Integral a) Source #

type family FloatingTypes a :: Bool where ... Source #

Equations

FloatingTypes Float = 'True
FloatingTypes Double = 'True
FloatingTypes _1 = 'False

sFloating :: SBoolI (FloatingTypes a) => SBool (FloatingTypes a) Source #

type FloatingIf a = When (FloatingTypes a) (Real a, Fractional a) Source #