Safe Haskell	None
Language	Haskell2010

Rel8.Internal.Table.ADT

Documentation

newtype ADT (t :: Rel8able) (context :: Context) Source #

Constructors

ADT (GColumnsADT t context)

Instances

Instances details

ADTable t => Rel8able (ADT t) Source #

Instance details

Defined in Rel8.Internal.Table.ADT

Associated Types

type GColumns (ADT t)
Instance details Defined in Rel8.Internal.Table.ADT type GColumns (ADT t)
type GFromExprs (ADT t)
Instance details Defined in Rel8.Internal.Table.ADT type GFromExprs (ADT t) = t Result

Methods

gfromColumns :: forall (context :: Context). SContext context -> GColumns (ADT t) context -> ADT t context Source #

gtoColumns :: forall (context :: Context). SContext context -> ADT t context -> GColumns (ADT t) context Source #

gfromResult :: GColumns (ADT t) Result -> GFromExprs (ADT t) Source #

gtoResult :: GFromExprs (ADT t) -> GColumns (ADT t) Result Source #

type GColumns (ADT t) Source #

Instance details

Defined in Rel8.Internal.Table.ADT

type GColumns (ADT t)

type GFromExprs (ADT t) Source #

Instance details

Defined in Rel8.Internal.Table.ADT

type GFromExprs (ADT t) = t Result

class (Generic (Record (t Result)), HTable (GColumnsADT t), GSerializeADT TSerialize TColumns (Eval (ADTRep t Expr)) (Eval (ADTRep t Result))) => ADTable (t :: Rel8able) Source #

Instances

Instances details

(Generic (Record (t Result)), HTable (GColumnsADT t), GSerializeADT TSerialize TColumns (Eval (ADTRep t Expr)) (Eval (ADTRep t Result))) => ADTable t Source #
Instance details Defined in Rel8.Internal.Table.ADT

class GGBuildable 'Sum name (ADTRep t) => BuildableADT (t :: Rel8able) (name :: Symbol) Source #

Instances

Instances details

GGBuildable 'Sum name (ADTRep t) => BuildableADT t name Source #
Instance details Defined in Rel8.Internal.Table.ADT

type BuildADT (t :: Rel8able) (name :: Symbol) = GGBuild 'Sum name (ADTRep t) (ADT t Expr) Source #

buildADT :: forall (t :: Rel8able) (name :: Symbol). BuildableADT t name => BuildADT t name Source #

class GGConstructable 'Sum (ADTRep t) => ConstructableADT (t :: Rel8able) Source #

Instances

Instances details

GGConstructable 'Sum (ADTRep t) => ConstructableADT t Source #
Instance details Defined in Rel8.Internal.Table.ADT

type ConstructADT (t :: Rel8able) = forall r. GGConstruct 'Sum (ADTRep t) r Source #

constructADT :: forall (t :: Rel8able). ConstructableADT t => ConstructADT t -> ADT t Expr Source #

type DeconstructADT (t :: Rel8able) r = GGDeconstruct 'Sum (ADTRep t) (ADT t Expr) r Source #

deconstructADT :: forall (t :: Rel8able) r. (ConstructableADT t, Table Expr r) => DeconstructADT t r Source #

deconstructAADT :: forall (t :: Rel8able) (f :: Type -> Type) r. (ConstructableADT t, Apply f, Table Expr r) => DeconstructADT t (f r) Source #

type NameADT (t :: Rel8able) = GGName 'Sum (ADTRep t) (ADT t Name) Source #

nameADT :: forall (t :: Rel8able). ConstructableADT t => NameADT t Source #

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

Instances

Instances details

type Eval (ADTRep t context :: (Type -> Type) -> Type) Source #
Instance details Defined in Rel8.Internal.Table.ADT type Eval (ADTRep t context :: (Type -> Type) -> Type) = GRep t context