Safe Haskell	None
Language	Haskell2010

Rel8.Internal.Table.Cols

Documentation

newtype Cols (context :: Context) (columns :: HTable) Source #

Constructors

Cols (columns context)

Instances details

(HTable columns, context ~ context') => Table context' (Cols context columns) Source #

Instance details

Associated Types

type Columns (Cols context columns)
Instance details Defined in Rel8.Internal.Table.Cols type Columns (Cols context columns) = columns
type Context (Cols context columns)
Instance details Defined in Rel8.Internal.Table.Cols type Context (Cols context columns) = context
type FromExprs (Cols context columns)
Instance details Defined in Rel8.Internal.Table.Cols type FromExprs (Cols context columns) = Cols Result columns

Methods

toColumns :: Cols context columns -> Columns (Cols context columns) context' Source #

fromColumns :: Columns (Cols context columns) context' -> Cols context columns Source #

fromResult :: Columns (Cols context columns) Result -> FromExprs (Cols context columns) Source #

toResult :: FromExprs (Cols context columns) -> Columns (Cols context columns) Result Source #

type Transpose to (Cols context columns) Source #

Instance details

type Transpose to (Cols context columns) = Cols to columns

type Columns (Cols context columns) Source #

Instance details

type Columns (Cols context columns) = columns

type Context (Cols context columns) Source #

Instance details

type Context (Cols context columns) = context

type FromExprs (Cols context columns) Source #

Instance details

type FromExprs (Cols context columns) = Cols Result columns

fromCols :: forall (context :: Context) a. Table context a => Cols context (Columns a) -> a Source #

toCols :: forall (context :: Context) a. Table context a => a -> Cols context (Columns a) Source #