| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Effectful.Opaleye.Effect
Contents
Synopsis
- data Opaleye (a :: Type -> Type) b where
- RunSelectExplicit :: forall fields haskells (a :: Type -> Type). FromFields fields haskells -> Select fields -> Opaleye a [haskells]
- RunSelectFoldExplicit :: forall fields haskells b (a :: Type -> Type). FromFields fields haskells -> Select fields -> b -> (b -> haskells -> a b) -> Opaleye a b
- RunInsert :: forall b (a :: Type -> Type). Insert b -> Opaleye a b
- RunDelete :: forall b (a :: Type -> Type). Delete b -> Opaleye a b
- RunUpdate :: forall b (a :: Type -> Type). Update b -> Opaleye a b
- runSelectExplicit :: forall fields haskells (es :: [Effect]). (HasCallStack, Opaleye :> es) => FromFields fields haskells -> Select fields -> Eff es [haskells]
- runSelectFoldExplicit :: forall fields haskells b (es :: [Effect]). (HasCallStack, Opaleye :> es) => FromFields fields haskells -> Select fields -> b -> (b -> haskells -> Eff es b) -> Eff es b
- runInsert :: forall haskells (es :: [Effect]). (HasCallStack, Opaleye :> es) => Insert haskells -> Eff es haskells
- runDelete :: forall haskells (es :: [Effect]). (HasCallStack, Opaleye :> es) => Delete haskells -> Eff es haskells
- runUpdate :: forall haskells (es :: [Effect]). (HasCallStack, Opaleye :> es) => Update haskells -> Eff es haskells
Effect
data Opaleye (a :: Type -> Type) b where Source #
A dynamic effect to perform opaleye operations.
Constructors
| RunSelectExplicit :: forall fields haskells (a :: Type -> Type). FromFields fields haskells -> Select fields -> Opaleye a [haskells] | Lifted |
| RunSelectFoldExplicit :: forall fields haskells b (a :: Type -> Type). FromFields fields haskells -> Select fields -> b -> (b -> haskells -> a b) -> Opaleye a b | Lifted |
| RunInsert :: forall b (a :: Type -> Type). Insert b -> Opaleye a b | Lifted |
| RunDelete :: forall b (a :: Type -> Type). Delete b -> Opaleye a b | Lifted |
| RunUpdate :: forall b (a :: Type -> Type). Update b -> Opaleye a b | Lifted |
Instances
| type DispatchOf Opaleye Source # | |
Defined in Effectful.Opaleye.Effect | |
Effectful functions
runSelectExplicit :: forall fields haskells (es :: [Effect]). (HasCallStack, Opaleye :> es) => FromFields fields haskells -> Select fields -> Eff es [haskells] Source #
Lifted RunSelectExplicit.
runSelectFoldExplicit :: forall fields haskells b (es :: [Effect]). (HasCallStack, Opaleye :> es) => FromFields fields haskells -> Select fields -> b -> (b -> haskells -> Eff es b) -> Eff es b Source #
Lifted RunSelectFoldExplicit.
runInsert :: forall haskells (es :: [Effect]). (HasCallStack, Opaleye :> es) => Insert haskells -> Eff es haskells Source #
Lifted RunInsert.