tofu.internal.instances.ScopedInstance.scala Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of tofu-kernel_3 Show documentation

Opinionated set of tools for functional programming in Scala

There is a newer version: 0.13.6

package tofu.internal
package instances

import scala.compiletime.summonFrom

import tofu.ScopedExecute
import tofu.internal.carriers.{ScopedCarrier2, ScopedCarrier3}

private[tofu] trait ScopedInstance:
  inline given [Tag, F[_]]: ScopedExecute[Tag, F] = summonFrom {
    case carrier: ScopedCarrier3[Tag, F] => carrier
    case carrier: ScopedCarrier2[Tag, F] => carrier
  }