Frames.Col

Column types

Documentation

newtype s :-> 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)

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

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

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

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

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

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

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

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

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

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

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

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

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

(Parseable t, ReadRec ts) => ReadRec ((:) * ((:->) 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)

col' :: a -> Col' s a

Helper for making a Col'