Frames.Col

Column types

Documentation

newtype (s :: Symbol) :-> a

A column's type includes a textual name and the data type of each element.

Constructors

Col

Fields

• getCol :: a

Instances

(KnownSymbol s, Show (f (Col' s a)), ShowRec f rs) => ShowRec f ((:) * ((:->) s a) rs)

Methods

showRec' :: Rec * f ((* ': (s :-> a)) rs) -> [String]

Eq a => Eq ((:->) s a)

Methods

(==) :: (s :-> a) -> (s :-> a) -> Bool

(/=) :: (s :-> a) -> (s :-> a) -> Bool

Floating a => Floating ((:->) s a)

Methods

pi :: s :-> a

exp :: (s :-> a) -> s :-> a

log :: (s :-> a) -> s :-> a

sqrt :: (s :-> a) -> s :-> a

(**) :: (s :-> a) -> (s :-> a) -> s :-> a

logBase :: (s :-> a) -> (s :-> a) -> s :-> a

sin :: (s :-> a) -> s :-> a

cos :: (s :-> a) -> s :-> a

tan :: (s :-> a) -> s :-> a

asin :: (s :-> a) -> s :-> a

acos :: (s :-> a) -> s :-> a

atan :: (s :-> a) -> s :-> a

sinh :: (s :-> a) -> s :-> a

cosh :: (s :-> a) -> s :-> a

tanh :: (s :-> a) -> s :-> a

asinh :: (s :-> a) -> s :-> a

acosh :: (s :-> a) -> s :-> a

atanh :: (s :-> a) -> s :-> a

log1p :: (s :-> a) -> s :-> a

expm1 :: (s :-> a) -> s :-> a

log1pexp :: (s :-> a) -> s :-> a

log1mexp :: (s :-> a) -> s :-> a

Fractional a => Fractional ((:->) s a)

Methods

(/) :: (s :-> a) -> (s :-> a) -> s :-> a

recip :: (s :-> a) -> s :-> a

fromRational :: Rational -> s :-> a

Num a => Num ((:->) s a)

Methods

(+) :: (s :-> a) -> (s :-> a) -> s :-> a

(-) :: (s :-> a) -> (s :-> a) -> s :-> a

(*) :: (s :-> a) -> (s :-> a) -> s :-> a

negate :: (s :-> a) -> s :-> a

abs :: (s :-> a) -> s :-> a

signum :: (s :-> a) -> s :-> a

fromInteger :: Integer -> s :-> a

Ord a => Ord ((:->) s a)

Methods

compare :: (s :-> a) -> (s :-> a) -> Ordering

(<) :: (s :-> a) -> (s :-> a) -> Bool

(<=) :: (s :-> a) -> (s :-> a) -> Bool

(>) :: (s :-> a) -> (s :-> a) -> Bool

(>=) :: (s :-> a) -> (s :-> a) -> Bool

max :: (s :-> a) -> (s :-> a) -> s :-> a

min :: (s :-> a) -> (s :-> a) -> s :-> a

Real a => Real ((:->) s a)

Methods

toRational :: (s :-> a) -> Rational

RealFloat a => RealFloat ((:->) s a)

Methods

floatRadix :: (s :-> a) -> Integer

floatDigits :: (s :-> a) -> Int

floatRange :: (s :-> a) -> (Int, Int)

decodeFloat :: (s :-> a) -> (Integer, Int)

encodeFloat :: Integer -> Int -> s :-> a

exponent :: (s :-> a) -> Int

significand :: (s :-> a) -> s :-> a

scaleFloat :: Int -> (s :-> a) -> s :-> a

isNaN :: (s :-> a) -> Bool

isInfinite :: (s :-> a) -> Bool

isDenormalized :: (s :-> a) -> Bool

isNegativeZero :: (s :-> a) -> Bool

isIEEE :: (s :-> a) -> Bool

atan2 :: (s :-> a) -> (s :-> a) -> s :-> a

RealFrac a => RealFrac ((:->) s a)

Methods

properFraction :: Integral b => (s :-> a) -> (b, s :-> a)

truncate :: Integral b => (s :-> a) -> b

round :: Integral b => (s :-> a) -> b

ceiling :: Integral b => (s :-> a) -> b

floor :: Integral b => (s :-> a) -> b

(KnownSymbol s, Show a) => Show ((:->) s a)

Methods

showsPrec :: Int -> (s :-> a) -> ShowS

show :: (s :-> a) -> String

showList :: [s :-> a] -> ShowS

Semigroup a => Semigroup ((:->) s a)

Methods

(<>) :: (s :-> a) -> (s :-> a) -> s :-> a

sconcat :: NonEmpty (s :-> a) -> s :-> a

stimes :: Integral b => b -> (s :-> a) -> s :-> a

Monoid a => Monoid ((:->) s a)

Methods

mempty :: s :-> a

mappend :: (s :-> a) -> (s :-> a) -> s :-> a

mconcat :: [s :-> a] -> s :-> a

AsVinyl ts => AsVinyl ((:) * ((:->) s t) ts)

Methods

toVinyl :: Functor f => Rec * f ((* ': (s :-> t)) ts) -> Rec * f (UnColumn ((* ': (s :-> t)) ts))

fromVinyl :: Functor f => Rec * f (UnColumn ((* ': (s :-> t)) ts)) -> Rec * f ((* ': (s :-> t)) ts)

(ColumnHeaders cs, KnownSymbol s) => ColumnHeaders ((:) * ((:->) s c) cs)

Methods

columnHeaders :: proxy (Rec * f ((* ': (s :-> c)) cs)) -> [String]

(MVector (VectorMFor a) a, Vector (VectorFor a) a, RecVec rs) => RecVec ((:) * ((:->) s a) rs)

Methods

allocRec :: PrimMonad m => proxy ((* ': (s :-> a)) rs) -> Int -> m (Record (VectorMs m ((* ': (s :-> a)) rs)))

freezeRec :: PrimMonad m => proxy ((* ': (s :-> a)) rs) -> Int -> Record (VectorMs m ((* ': (s :-> a)) rs)) -> m (Record (Vectors ((* ': (s :-> a)) rs)))

growRec :: PrimMonad m => proxy ((* ': (s :-> a)) rs) -> Record (VectorMs m ((* ': (s :-> a)) rs)) -> m (Record (VectorMs m ((* ': (s :-> a)) rs)))

writeRec :: PrimMonad m => proxy ((* ': (s :-> a)) rs) -> Int -> Record (VectorMs m ((* ': (s :-> a)) rs)) -> Record ((* ': (s :-> a)) rs) -> m ()

indexRec :: proxy ((* ': (s :-> a)) rs) -> Int -> Record (Vectors ((* ': (s :-> a)) rs)) -> Record ((* ': (s :-> a)) rs)

produceRec :: proxy ((* ': (s :-> a)) rs) -> Record (Vectors ((* ': (s :-> a)) rs)) -> Rec * ((LiftedRep -> LiftedRep) Int) ((* ': (s :-> a)) rs)

(Parseable t, ReadRec ts) => ReadRec ((:) * ((:->) s t) ts)

Methods

readRec :: [Text] -> Rec * (Either Text) ((* ': (s :-> t)) ts)

newtype Col' s a

Used only for a show instance that parenthesizes the value.

Constructors

Col' (s :-> a)

Instances

(KnownSymbol s, Show a) => Show (Col' s a)

Methods

showsPrec :: Int -> Col' s a -> ShowS

show :: Col' s a -> String

showList :: [Col' s a] -> ShowS

col' :: a -> Col' s a

Helper for making a Col'

type family ReplaceColumns x ys where ...

ReplaceColumns x ys keeps the textual name of each element of ys, but replaces its data type with x.

Equations

ReplaceColumns x '[] = '[]

ReplaceColumns x ((c :-> y) ': ys) = (c :-> x) ': ReplaceColumns x ys