Documentation

type AnnotateWriteIO (m :: Type -> Type) bk = (SqlIO m, MonadNapkin bk m, Backend bk) #

runAnnotateWriteIO :: forall (m :: Type -> Type) bk (r :: EffectRow) a. (AnnotateWriteIO m bk, Members '[Embed m, FatalError :: (Type -> Type) -> Type -> Type] r) => BackendConn bk -> Sem ((AnnotateWrite bk :: (Type -> Type) -> Type -> Type) ': r) a -> Sem r a #