Safe Haskell	Safe-Inferred
Language	Haskell2010

Rel8.Internal.FCF

Documentation

type Exp e = e -> Type Source #

type family Eval (a :: Exp e) :: e Source #

Instances

Instances details

type Eval (TContext a :: Context -> Type) Source #
Instance details Defined in Rel8.Internal.Table type Eval (TContext a :: Context -> Type) = Context a
type Eval (TColumns a :: HTable -> Type) Source #
Instance details Defined in Rel8.Internal.Table type Eval (TColumns a :: HTable -> Type) = Columns a
type Eval (Nullify a :: Type -> Type) Source #
Instance details Defined in Rel8.Internal.Schema.HTable.Nullify type Eval (Nullify a :: Type -> Type) = Nullify a
type Eval (TFromExprs a :: Type -> Type) Source #
Instance details Defined in Rel8.Internal.Table type Eval (TFromExprs a :: Type -> Type) = FromExprs a
type Eval (TSerialize expr a :: Constraint -> Type) Source #
Instance details Defined in Rel8.Internal.Generic.Rel8able type Eval (TSerialize expr a :: Constraint -> Type)
type Eval (TSerialize expr a :: Constraint -> Type) Source #
Instance details Defined in Rel8.Internal.Table type Eval (TSerialize expr a :: Constraint -> Type) = (Table (Context expr) expr, a ~ FromExprs expr)
type Eval (TTable context a :: Constraint -> Type) Source #
Instance details Defined in Rel8.Internal.Table type Eval (TTable context a :: Constraint -> Type) = Table context a
type Eval (TColumn f a :: Type -> Type) Source #
Instance details Defined in Rel8.Internal.Column type Eval (TColumn f a :: Type -> Type) = Column f a
type Eval (TTranspose context a :: Type -> Type) Source #
Instance details Defined in Rel8.Internal.Table type Eval (TTranspose context a :: Type -> Type) = Transpose context a
type Eval (Id a :: e -> Type) Source #
Instance details Defined in Rel8.Internal.FCF type Eval (Id a :: e -> Type) = a
type Eval (GGColumns 'Product _Columns rep :: HTable -> Type) Source #
Instance details Defined in Rel8.Internal.Generic.Table type Eval (GGColumns 'Product _Columns rep :: HTable -> Type) = GColumns _Columns rep
type Eval (GGColumns 'Sum _Columns rep :: HTable -> Type) Source #
Instance details Defined in Rel8.Internal.Generic.Table type Eval (GGColumns 'Sum _Columns rep :: HTable -> Type) = GColumnsADT _Columns rep
type Eval (GGSerialize 'Product _Serialize _Columns exprs rep :: Constraint -> Type) Source #
Instance details Defined in Rel8.Internal.Generic.Table type Eval (GGSerialize 'Product _Serialize _Columns exprs rep :: Constraint -> Type) = GSerialize _Serialize _Columns exprs rep
type Eval (GGSerialize 'Sum _Serialize _Columns exprs rep :: Constraint -> Type) Source #
Instance details Defined in Rel8.Internal.Generic.Table type Eval (GGSerialize 'Sum _Serialize _Columns exprs rep :: Constraint -> Type) = GSerializeADT _Serialize _Columns exprs rep
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
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))

data Id (b :: a) (c :: a) Source #

Instances

Instances details

type Eval (Id a :: e -> Type) Source #
Instance details Defined in Rel8.Internal.FCF type Eval (Id a :: e -> Type) = a