decrel-core
API
Generated with
decrel-core/decrel.reify.bifunctor/proof/Proof

Proof

decrel.reify.bifunctor.proof.Proof
See theProof companion object
abstract class Proof[Rel, -In, +E, +Out]

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait Many[Rel, In, E, Out, Coll]
trait Optional[Rel, In, E, Out]
trait Single[Rel, In, E, Out]

Members list

Concise view

Value members

Abstract methods

def reify: ReifiedRelation[In, E, Out]
Generated with