Polysemy.Db.Effect.Store

Documentation

data QStore f q d :: Effect where

Constructors

Insert :: d -> QStore f i d m ()

Upsert :: d -> QStore f i d m ()

Delete :: i -> QStore f i d m (f d)

DeleteAll :: QStore f i d m [d]

Fetch :: i -> QStore f i d m (f d)

FetchAll :: QStore f i d m [d]

fetchAll :: forall f i d r. Member (QStore f i d) r => Sem r [d]

fetch :: forall f i d r. Member (QStore f i d) r => i -> Sem r (f d)

deleteAll :: forall f i d r. Member (QStore f i d) r => Sem r [d]

delete :: forall f i d r. Member (QStore f i d) r => i -> Sem r (f d)

upsert :: forall f i d r. Member (QStore f i d) r => d -> Sem r ()

insert :: forall f i d r. Member (QStore f i d) r => d -> Sem r ()

type Store i d = QStore Maybe i (Uid i d)

type UuidStore d = Store UUID d

type family StoreEffects i e ds :: EffectRow where ...

Equations

StoreEffects _ _ '[] = '[]

StoreEffects i e (d ': ds) = (Store i d !! e) ': StoreEffects i e ds

type family Stores i e ds r :: Constraint where ...

Equations

Stores _ _ '[] _ = ()

Stores i e (d ': ds) r = (Member (Store i d !! e) r, Stores i e ds r)

elem :: forall i d r. Member (Store i d) r => i -> Sem r Bool

fetchPayload :: forall i d r. Member (Store i d) r => i -> Sem r (Maybe d)

alter :: forall i d r. Member (Store i d) r => i -> (d -> d) -> Sem r ()