is.ashley.scoped

Type members

Classlikes

trait ScopeToString[F[_], A]
Companion:
object
Source:
Scoped.scala
Companion:
class
Source:
Scoped.scala
trait Scoped[F[_], A]

Thread a value through IO using IOLocal

Thread a value through IO using IOLocal

Type parameters:
A

The value being threaded

F

The outer effect

Companion:
object
Source:
Scoped.scala
object Scoped
Companion:
class
Source:
Scoped.scala

Types

type ScopedIO[A] = Scoped[IO, A]

Givens

Givens

given optionalShowableScope[F[_] : ([F] =>> Scoped[F, Option[A]]), A : Show]: optionalShowableScope[F, A]
given showableScope[F[_] : ([F] =>> Scoped[F, A]), A : Show]: showableScope[F, A]