rel8-internal
Safe HaskellNone
LanguageHaskell2010

Rel8.Internal.Table.Rel8able

Orphan instances

(Rel8able t, Reifiable context, context ~ context') => Table context' (t context) Source # 
Instance details

Associated Types

type Columns (t context) 
Instance details

Defined in Rel8.Internal.Table.Rel8able

type Columns (t context) = GColumns t
type Context (t context) 
Instance details

Defined in Rel8.Internal.Table.Rel8able

type Context (t context) = context
type FromExprs (t context) 
Instance details

Defined in Rel8.Internal.Table.Rel8able

type FromExprs (t context) = GFromExprs t

Methods

toColumns :: t context -> Columns (t context) context' Source #

fromColumns :: Columns (t context) context' -> t context Source #

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

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

(Rel8able t', t' ~ Choose (Algebra t) t, x ~ t' Expr, result ~ Result) => ToExprs x (t result) Source # 
Instance details

(context ~ Expr, Rel8able t, HConstrainTable (Columns (t context)) (Sql DBEq)) => EqTable (t context) Source # 
Instance details

Methods

eqTable :: Columns (t context) (Dict (Sql DBEq)) Source #

(context ~ Expr, Rel8able t, HConstrainTable (Columns (t context)) (Sql DBEq), HConstrainTable (Columns (t context)) (Sql DBOrd)) => OrdTable (t context) Source # 
Instance details

Methods

ordTable :: Columns (t context) (Dict (Sql DBOrd)) Source #