Documentation

interceptApplyQueryTransformer :: forall b (r :: EffectRow) a. (Members '[Output ExtraDependencies :: (Type -> Type) -> Type -> Type, Reader QueryTransformer, SqlRead b :: (Type -> Type) -> Type -> Type, AnnotateWrite b :: (Type -> Type) -> Type -> Type, AnnotateRead b :: (Type -> Type) -> Type -> Type, SqlWrite b :: (Type -> Type) -> Type -> Type, BackendSpecificEffect b] r, RunBackendEffect b) => Sem r a -> Sem r a #

interceptSqlReadApplyQueryTransformer :: forall {k} (b :: k) (r :: EffectRow) a. Members '[Reader QueryTransformer, SqlRead b :: (Type -> Type) -> Type -> Type] r => Sem r a -> Sem r a #

interceptAnnotateWriteApplyQueryTransformer :: forall {k} (b :: k) (r :: EffectRow) a. Members '[AnnotateWrite b :: (Type -> Type) -> Type -> Type, Reader QueryTransformer] r => Sem r a -> Sem r a #

interceptAnnotateReadApplyQueryTransformer :: forall {k} (b :: k) (r :: EffectRow) a. Members '[AnnotateRead b :: (Type -> Type) -> Type -> Type, Reader QueryTransformer] r => Sem r a -> Sem r a #

interceptSqlWriteApplyQueryTransformer :: forall b (r :: EffectRow) a. Members '[SqlWrite b :: (Type -> Type) -> Type -> Type, Reader QueryTransformer] r => Sem r a -> Sem r a #

interceptExtraDependencies :: forall (effs :: EffectRow) a. Members '[Reader QueryTransformer, Output ExtraDependencies :: (Type -> Type) -> Type -> Type] effs => Sem effs a -> Sem effs a #