decrel.reify.bifunctor.proof.Proof$
See theProof companion class
object Proof
Members list
Concise view
Type members
Classlikes
Attributes
- Graph
- Supertypes
Attributes
- Graph
- Supertypes
Value members
Implicits
Implicits
implicit def composedManyProof[LeftTree <: Many[LeftIn, CC, LeftOut], LeftIn, LeftE <: RightE, LeftOut, RightTree, RightIn, RightE, RightOut, CC <: ([A] =>> Iterable[A] & IterableOps[A, LazyRef(...), LazyRef(...)])](implicit leftProof: Many[LeftTree, LeftIn, LeftE, LeftOut, CC], rightProof: Proof[RightTree, RightIn, RightE, RightOut], ev: LeftOut <:< RightIn, bf: BuildFrom[CC[RightIn], RightOut, CC[RightOut]]): Proof[Many[LeftTree, LeftIn, LeftOut, RightTree, RightIn, RightOut, CC], LeftIn, RightE, CC[RightOut]]
implicit def composedOptionalProof[LeftTree <: Optional[LeftIn, LeftOut], LeftIn, LeftE <: RightE, LeftOut, RightTree, RightIn, RightE, RightOut](implicit leftProof: Optional[LeftTree, LeftIn, LeftE, LeftOut], rightProof: Proof[RightTree, RightIn, RightE, RightOut], ev: LeftOut <:< RightIn): Proof[Optional[LeftTree, LeftIn, LeftOut, RightTree, RightIn, RightOut], LeftIn, RightE, Option[RightOut]]
implicit def composedSingleProof[LeftTree <: Single[LeftIn, LeftOut], LeftIn, LeftE <: RightE, LeftOut, RightTree, RightIn, RightE, RightOut](implicit leftProof: Single[LeftTree, LeftIn, LeftE, LeftOut], rightProof: Proof[RightTree, RightIn, RightE, RightOut], ev: LeftOut <:< RightIn): Proof[Single[LeftTree, LeftIn, LeftOut, RightTree, RightIn, RightOut], LeftIn, RightE, RightOut]
implicit def composedZippedProof[LeftTree, LeftIn, LeftE <: RightE, LeftOut, LeftOutRefined <: LeftOut, RightTree, RightIn <: LeftIn, RightE, RightOut, ZippedOut, ZOR <: ZippedOut](implicit leftProof: Proof[LeftTree & Relation[LeftIn, LeftOut], LeftIn, LeftE, LeftOutRefined], rightProof: Proof[RightTree & Relation[RightIn, RightOut], RightIn, RightE, RightOut], zippable: Out[LeftOutRefined, RightOut, ZOR], zippedEv: LeftIn <:< RightIn): Proof[Zipped[LeftTree, LeftIn, LeftOut, RightTree, RightIn, RightOut, ZippedOut], LeftIn, RightE, ZOR]