Documentation

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

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