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
/
syntax
syntax
decrel.syntax
See the
syntax
companion object
trait
syntax
Attributes
Companion:
object
Graph
Reset zoom
Hide graph
Show graph
Supertypes
class
Object
trait
Matchable
class
Any
Known subtypes
object
syntax
.type
Clear all
Members list
Concise view
Type members
Classlikes
final implicit
class
CustomSyntax
[
Tree
,
In
,
Out
](
self
:
Tree
&
Relation
[
In
,
Out
])
Attributes
Graph
Reset zoom
Hide graph
Show graph
Supertypes
class
Object
trait
Matchable
class
Any
final implicit
class
RelationComposeSyntax
[
RightTree
,
RightIn
,
RightOut
](
right
:
RightTree
&
Relation
[
RightIn
,
RightOut
])
Attributes
Graph
Reset zoom
Hide graph
Show graph
Supertypes
class
Object
trait
Matchable
class
Any
final implicit
class
ZipSyntax
[
LeftTree
,
LeftIn
,
LeftOut
](
self
:
LeftTree
&
Relation
[
LeftIn
,
LeftOut
])
Attributes
Graph
Reset zoom
Hide graph
Show graph
Supertypes
class
Object
trait
Matchable
class
Any
Implicits
Implicits
final implicit
def
CustomSyntax
[
Tree
,
In
,
Out
](
self
:
Tree
&
Relation
[
In
,
Out
]):
CustomSyntax
[
Tree
,
In
,
Out
]
final implicit
def
RelationComposeSyntax
[
RightTree
,
RightIn
,
RightOut
](
right
:
RightTree
&
Relation
[
RightIn
,
RightOut
]):
RelationComposeSyntax
[
RightTree
,
RightIn
,
RightOut
]
final implicit
def
ZipSyntax
[
LeftTree
,
LeftIn
,
LeftOut
](
self
:
LeftTree
&
Relation
[
LeftIn
,
LeftOut
]):
ZipSyntax
[
LeftTree
,
LeftIn
,
LeftOut
]