Safe Haskell	None
Language	Haskell2010

Frames.Col

Description

Column types

Synopsis

type (:->) (a :: Symbol) b = '(a, b)
pattern Col :: forall (s :: Symbol) t. KnownSymbol s => t -> ElField '(s, t)
getCol :: forall (s :: Symbol) t. ElField '(s, t) -> t
newtype Col' (s :: Symbol) a = Col' (ElField (s :-> a))
col' :: forall (s :: Symbol) a. KnownSymbol s => a -> Col' s a
type family ReplaceColumns x (ys :: [(Symbol, Type)]) :: [(Symbol, Type)] where ...

Documentation

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

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

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

Get the data payload of a named field.

newtype Col' (s :: Symbol) a Source #

Used only for a show instance that parenthesizes the value.

Constructors

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' :: forall (s :: Symbol) a. KnownSymbol s => a -> Col' s a Source #

Helper for making a Col'

type family ReplaceColumns x (ys :: [(Symbol, Type)]) :: [(Symbol, Type)] where ... Source #

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

Equations

ReplaceColumns x ('[] :: [(Symbol, Type)]) = '[] :: [(Symbol, Type)]
ReplaceColumns x ((c :-> y) ': ys) = (c :-> x) ': ReplaceColumns x ys