Safe Haskell	None
Language	Haskell2010

Rel8.Internal.Table.HKD

Documentation

newtype HKD a (f :: Context) Source #

Constructors

HKD (GColumnsHKD a f)

Instances

Instances details

HKDable a => Rel8able (HKD a) Source #

Instance details

Defined in Rel8.Internal.Table.HKD

Associated Types

type GColumns (HKD a)
Instance details Defined in Rel8.Internal.Table.HKD type GColumns (HKD a)
type GFromExprs (HKD a)
Instance details Defined in Rel8.Internal.Table.HKD type GFromExprs (HKD a) = a

Methods

gfromColumns :: forall (context :: Context). SContext context -> GColumns (HKD a) context -> HKD a context Source #

gtoColumns :: forall (context :: Context). SContext context -> HKD a context -> GColumns (HKD a) context Source #

gfromResult :: GColumns (HKD a) Result -> GFromExprs (HKD a) Source #

gtoResult :: GFromExprs (HKD a) -> GColumns (HKD a) Result Source #

(GTable (TTable f) TColumns (GRecord (GMap (TColumn f) (Rep a))), GColumns TColumns (GRecord (GMap (TColumn f) (Rep a))) ~ GColumnsHKD a, GContext TContext (GRecord (GMap (TColumn f) (Rep a))) ~ f, GRecordable (GMap (TColumn f) (Rep a))) => Generic (HKD a f) Source #

Instance details

Defined in Rel8.Internal.Table.HKD

Associated Types

type Rep (HKD a f)
Instance details Defined in Rel8.Internal.Table.HKD type Rep (HKD a f) = GMap (TColumn f) (Rep a)

Methods

from :: HKD a f -> Rep (HKD a f) x #

to :: Rep (HKD a f) x -> HKD a f #

type GColumns (HKD a) Source #

Instance details

Defined in Rel8.Internal.Table.HKD

type GColumns (HKD a)

type GFromExprs (HKD a) Source #

Instance details

Defined in Rel8.Internal.Table.HKD

type GFromExprs (HKD a) = a

type Rep (HKD a f) Source #

Instance details

Defined in Rel8.Internal.Table.HKD

type Rep (HKD a f) = GMap (TColumn f) (Rep a)

class (Generic (Record a), HTable (GColumns (HKD a)), KnownAlgebra (GAlgebra (Rep a)), Eval (GGSerialize (GAlgebra (Rep a)) TSerialize TColumns (Eval (HKDRep a Expr)) (Eval (HKDRep a Result))), GRecord (GMap (TColumn Result) (Rep a)) ~ Rep (Record a)) => HKDable a Source #

Instances

Instances details

(Generic (Record a), HTable (GColumns (HKD a)), KnownAlgebra (GAlgebra (Rep a)), Eval (GGSerialize (GAlgebra (Rep a)) TSerialize TColumns (Eval (HKDRep a Expr)) (Eval (HKDRep a Result))), GRecord (GMap (TColumn Result) (Rep a)) ~ Rep (Record a)) => HKDable a Source #
Instance details Defined in Rel8.Internal.Table.HKD

class GGBuildable (GAlgebra (Rep a)) name (HKDRep a) => BuildableHKD a (name :: Symbol) Source #

Instances

Instances details

GGBuildable (GAlgebra (Rep a)) name (HKDRep a) => BuildableHKD a name Source #
Instance details Defined in Rel8.Internal.Table.HKD

type BuildHKD a (name :: Symbol) = GGBuild (GAlgebra (Rep a)) name (HKDRep a) (HKD a Expr) Source #

buildHKD :: forall a (name :: Symbol). BuildableHKD a name => BuildHKD a name Source #

class GGConstructable (GAlgebra (Rep a)) (HKDRep a) => ConstructableHKD a Source #

Instances

Instances details

GGConstructable (GAlgebra (Rep a)) (HKDRep a) => ConstructableHKD a Source #
Instance details Defined in Rel8.Internal.Table.HKD

type ConstructHKD a = forall r. GGConstruct (GAlgebra (Rep a)) (HKDRep a) r Source #

constructHKD :: ConstructableHKD a => ConstructHKD a -> HKD a Expr Source #

type DeconstructHKD a r = GGDeconstruct (GAlgebra (Rep a)) (HKDRep a) (HKD a Expr) r Source #

deconstructHKD :: (ConstructableHKD a, Table Expr r) => DeconstructHKD a r Source #

deconstructAHKD :: forall a (f :: Type -> Type) r. (ConstructableHKD a, Apply f, Table Expr r) => DeconstructHKD a (f r) Source #

type NameHKD a = GGName (GAlgebra (Rep a)) (HKDRep a) (HKD a Name) Source #

nameHKD :: ConstructableHKD a => NameHKD a Source #

data HKDRep a (b :: Context) (c :: Type -> Type) Source #

Instances

Instances details

type Eval (HKDRep a context :: (Type -> Type) -> Type) Source #
Instance details Defined in Rel8.Internal.Table.HKD type Eval (HKDRep a context :: (Type -> Type) -> Type) = GRecord (GMap (TColumn context) (Rep a))