Polysemy.Db.Ext

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]

data Query q o :: Effect where

Constructors

Query :: q -> Query q o m o

data Random a :: Effect where

Constructors

Random :: Random a m a

RandomR :: (a, a) -> Random a m a

data Id i :: Effect where

Constructors

NewId :: Id i m i