Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
Documentation
type AnnotateWriteIO m bk = (SqlIO m, MonadNapkin bk m, Command AnnotateCommand () bk) #
runAnnotateWriteIO :: (AnnotateWriteIO m bk, Members [Embed m, FatalError] r) => BackendConn bk -> Sem (AnnotateWrite bk ': r) a -> Sem r a #