decrel-core
API
Generated with
decrel-core/decrel.reify.monofunctor/proof

proof

decrel.reify.monofunctor.proof
trait proof

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait module[F]
Self type

Members list

Concise view

Type members

Classlikes

abstract class Proof[Rel, -In, Out]

Attributes

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

Attributes

Companion:
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Proof.type
abstract class ReifiedRelation[-In, Out]

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
implicit class relationOps[Rel, In, Out](val rel: Rel & Relation[In, Out])

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any

Implicits

Implicits

final implicit def relationOps[Rel, In, Out](rel: Rel & Relation[In, Out]): relationOps[Rel, In, Out]
Generated with