rel8-internal
Safe HaskellNone
LanguageHaskell2010

Rel8.Internal.Schema.Field

Synopsis

Documentation

newtype Field table a Source #

A special context used in the construction of Projections.

Constructors

Field (HField (Columns table) a) 

Instances

Instances details
Reifiable (Field table) Source # 
Instance details

Defined in Rel8.Internal.Kind.Context

Methods

contextSing :: SContext (Field table) Source #

Sql DBType a => Table (Field table) (Field table a) Source # 
Instance details

Defined in Rel8.Internal.Schema.Field

Associated Types

type Columns (Field table a) 
Instance details

Defined in Rel8.Internal.Schema.Field

type Columns (Field table a) = HIdentity a
type Context (Field table a) 
Instance details

Defined in Rel8.Internal.Schema.Field

type Context (Field table a) = Field table
type FromExprs (Field table a) 
Instance details

Defined in Rel8.Internal.Schema.Field

type FromExprs (Field table a) = a

Methods

toColumns :: Field table a -> Columns (Field table a) (Field table) Source #

fromColumns :: Columns (Field table a) (Field table) -> Field table a Source #

fromResult :: Columns (Field table a) Result -> FromExprs (Field table a) Source #

toResult :: FromExprs (Field table a) -> Columns (Field table a) Result Source #

type Transpose to (Field table a) Source # 
Instance details

Defined in Rel8.Internal.Schema.Field

type Transpose to (Field table a) = to a
type Columns (Field table a) Source # 
Instance details

Defined in Rel8.Internal.Schema.Field

type Columns (Field table a) = HIdentity a
type Context (Field table a) Source # 
Instance details

Defined in Rel8.Internal.Schema.Field

type Context (Field table a) = Field table
type FromExprs (Field table a) Source # 
Instance details

Defined in Rel8.Internal.Schema.Field

type FromExprs (Field table a) = a

fields :: forall (context :: Context) table fields. Transposes context (Field table) table fields => fields Source #