Documentation

type SqlIO (m :: Type -> Type) = MonadCatch m #

safeIO :: forall m (r :: EffectRow) v. (SqlIO m, Members '[FatalError :: (Type -> Type) -> Type -> Type, Embed m] r) => m v -> Sem r v #