Frames-0.7.4: Data frames for working with tabular data files
Safe HaskellSafe-Inferred
LanguageHaskell2010

Frames.Col

Description

Column types

Synopsis

Documentation

type (:->) (a :: Symbol) b = '(a, b) Source #

pattern Col :: KnownSymbol s => t -> ElField '(s, t) Source #

getCol :: ElField '(s, t) -> t Source #

Get the data payload of a named field.

newtype Col' s a Source #

Used only for a show instance that parenthesizes the value.

Constructors

Col' (ElField (s :-> a)) 

Instances

Instances details
(KnownSymbol s, Show a) => Show (Col' s a) Source # 
Instance details

Defined in Frames.Col

Methods

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

show :: Col' s a -> String #

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

col' :: KnownSymbol s => a -> Col' s a Source #

Helper for making a Col'

type family ReplaceColumns x ys where ... Source #

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