AddFailed
case class AddFailed[Ref[_], K[_], D, A](ref: Ref[D], wit: Unit === A) extends BranchLang[Ref, K, A]
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Value members
Concrete methods
override def fold[B](caseTrack: AddUnresolved[Ref, K, _, A] => B, caseUntrack: RmUnresolved[Ref, K, _, A] => B, caseAddFailed: AddFailed[Ref, K, _, A] => B): B
- Definition Classes