object BranchLang
- Companion:
- class
Type members
Classlikes
case class AddFailed[Ref[_], K[_], D, A](ref: Ref[D], wit: Unit === A) extends BranchLang[Ref, K, A]
case class AddUnresolved[Ref[_], K[_], D, A](ref: Ref[D], ev: Splittable[D], wit: Unit === A) extends BranchLang[Ref, K, A]
case class RmUnresolved[Ref[_], K[_], D, A](ref: Ref[D], wit: Unit === A) extends BranchLang[Ref, K, A]
Value members
Concrete methods
def addFailedF[Ref[_], F[_[_], _], A](ref: Ref[A])(implicit inj: Inject[[_] =>> BranchLang[Ref, [_] =>> FreeK[F, _$37], _$38], [_] =>> F[[_] =>> FreeK[F, _$39], _$40]]): FreeK[F, Unit]
def addUnresolved[Ref[_], K[_], A](ref: Ref[A])(implicit ev: Splittable[A]): BranchLang[Ref, K, Unit]
def addUnresolvedF[Ref[_], F[_[_], _], A](ref: Ref[A])(implicit ev: Splittable[A], inj: Inject[[_] =>> BranchLang[Ref, [_] =>> FreeK[F, _$19], _$20], [_] =>> F[[_] =>> FreeK[F, _$21], _$22]]): FreeK[F, Unit]
def rmUnresolvedF[Ref[_], F[_[_], _], A](ref: Ref[A])(implicit inj: Inject[[_] =>> BranchLang[Ref, [_] =>> FreeK[F, _$28], _$29], [_] =>> F[[_] =>> FreeK[F, _$30], _$31]]): FreeK[F, Unit]