decrel-core
decrel-core
API
decrel
Relation
Relation
Composed
Many
Optional
Single
Zipped
Composed
Custom
Declared
Many
Optional
Self
Self
Single
Zippable
Zippable
ZippableLowPriority1
ZippableLowPriority2
ZippableLowPriority3
ZippableLowPriority4
syntax
CustomSyntax
RelationComposeSyntax
ZipSyntax
syntax
decrel.reify
Cache
Cache
Entry
Key
either
either
decrel.reify.bifunctor
access
module
proof
Proof
Proof
Many
Optional
Single
ReifiedRelation
relationOps
decrel.reify.monofunctor
access
module
proof
Proof
Proof
Many
Optional
Single
ReifiedRelation
relationOps
decrel-core
/
decrel.reify
/
Cache
Cache
decrel.reify.Cache$
See the
Cache
companion class
object
Cache
Attributes
Companion:
class
Graph
Reset zoom
Hide graph
Show graph
Supertypes
trait
Product
trait
Mirror
class
Object
trait
Matchable
class
Any
Self type
Cache
.type
Clear all
Members list
Concise view
Type members
Classlikes
final case
class
Entry
[
Rel
,
A
,
B
](
key
:
Key
[
Rel
,
A
,
B
],
value
:
B
)
Attributes
Graph
Reset zoom
Hide graph
Show graph
Supertypes
trait
Serializable
trait
Product
trait
Equals
class
Object
trait
Matchable
class
Any
final case
class
Key
[
Rel
,
A
,
B
](
relation
:
Rel
&
Relation
[
A
,
B
],
key
:
A
)
Attributes
Graph
Reset zoom
Hide graph
Show graph
Supertypes
trait
Serializable
trait
Product
trait
Equals
class
Object
trait
Matchable
class
Any
Inherited types
type
MirroredElemLabels
<:
Tuple
The names of the product elements
The names of the product elements
Attributes
Inherited from:
Mirror
type
MirroredLabel
<:
String
The name of the type
The name of the type
Attributes
Inherited from:
Mirror
Value members
Concrete fields
val
empty
:
Cache