Safe Haskell	None
Language	Haskell2010

Rel8.Internal.Schema.HTable.Vectorize

Documentation

data HVectorize (list :: Type -> Type) (table :: HTable) (context :: Context) Source #

Instances

Instances details

(HTable table, Vector list) => HTable (HVectorize list table) Source #

Instance details

Defined in Rel8.Internal.Schema.HTable.Vectorize

Associated Types

type HField (HVectorize list table)
Instance details Defined in Rel8.Internal.Schema.HTable.Vectorize type HField (HVectorize list table)

Methods

hfield :: HVectorize list table context -> HField (HVectorize list table) a -> context a Source #

htabulate :: (forall a. HField (HVectorize list table) a -> context a) -> HVectorize list table context Source #

htraverse :: Apply m => (forall a. f a -> m (g a)) -> HVectorize list table f -> m (HVectorize list table g) Source #

hdicts :: forall (c :: Type -> Constraint). HConstrainTable (HVectorize list table) c => HVectorize list table (Dict c) Source #

hspecs :: HVectorize list table Spec Source #

Generic (HVectorize list table context) Source #

Instance details

Defined in Rel8.Internal.Schema.HTable.Vectorize

Associated Types

type Rep (HVectorize list table context)
Instance details Defined in Rel8.Internal.Schema.HTable.Vectorize type Rep (HVectorize list table context)

Methods

from :: HVectorize list table context -> Rep (HVectorize list table context) x #

to :: Rep (HVectorize list table context) x -> HVectorize list table context #

type HField (HVectorize list table) Source #

Instance details

Defined in Rel8.Internal.Schema.HTable.Vectorize

type HField (HVectorize list table)

type HConstrainTable (HVectorize list table) c Source #

Instance details

Defined in Rel8.Internal.Schema.HTable.Vectorize

type HConstrainTable (HVectorize list table) c

type Rep (HVectorize list table context) Source #

Instance details

Defined in Rel8.Internal.Schema.HTable.Vectorize

type Rep (HVectorize list table context)

hvectorize :: (HTable t, Unzip f, Vector list) => (forall a. Spec a -> f (context a) -> context' (list a)) -> f (t context) -> HVectorize list t context' Source #

hvectorizeA :: forall (t :: HTable) f list context'. (HTable t, Apply f, Vector list) => (forall a. Spec a -> HField t a -> f (context' (list a))) -> f (HVectorize list t context') Source #

hunvectorize :: (HTable t, Zip f, Vector list) => (forall a. Spec a -> context (list a) -> f (context' a)) -> HVectorize list t context -> f (t context') Source #

hnullify :: forall (t :: HTable) list context. (HTable t, Vector list) => (forall a. Spec a -> context (list a) -> context (Nullify a)) -> HVectorize list t context -> HNullify t context Source #

happend :: forall (t :: HTable) list context. (HTable t, Vector list) => (forall a. Spec a -> context (list a) -> context (list a) -> context (list a)) -> HVectorize list t context -> HVectorize list t context -> HVectorize list t context Source #

hempty :: forall (t :: HTable) context. HTable t => (forall a. Spec a -> context [a]) -> HVectorize [] t context Source #

hproject :: forall t t' (list :: Type -> Type) (context :: Context). (forall (ctx :: Context). t ctx -> t' ctx) -> HVectorize list t context -> HVectorize list t' context Source #

htraverseVectorP :: forall (t :: HTable) p f list g list'. (HTable t, ProductProfunctor p) => (forall a. HField t a -> p (f (list a)) (g (list' a))) -> p (HVectorize list t f) (HVectorize list' t g) Source #

hcolumn :: HVectorize list (HIdentity a) context -> context (list a) Source #

newtype First a b Source #

Constructors

First
Fields getFirst :: a

Instances

Instances details

Functor (First a) Source #
Instance details Defined in Rel8.Internal.Schema.HTable.Vectorize Methods fmap :: (a0 -> b) -> First a a0 -> First a b # (<$) :: a0 -> First a b -> First a a0 #
Semialign (First a) Source #
Instance details Defined in Rel8.Internal.Schema.HTable.Vectorize Methods align :: First a a0 -> First a b -> First a (These a0 b) alignWith :: (These a0 b -> c) -> First a a0 -> First a b -> First a c
Unzip (First a) Source #
Instance details Defined in Rel8.Internal.Schema.HTable.Vectorize Methods unzipWith :: (c -> (a0, b)) -> First a c -> (First a a0, First a b) unzip :: First a (a0, b) -> (First a a0, First a b)
Zip (First a) Source #
Instance details Defined in Rel8.Internal.Schema.HTable.Vectorize Methods zip :: First a a0 -> First a b -> First a (a0, b) zipWith :: (a0 -> b -> c) -> First a a0 -> First a b -> First a c
Semigroup (First a b) Source #
Instance details Defined in Rel8.Internal.Schema.HTable.Vectorize Methods (<>) :: First a b -> First a b -> First a b # sconcat :: NonEmpty (First a b) -> First a b # stimes :: Integral b0 => b0 -> First a b -> First a b #