Proptics profunctor
Proptics profunctor
proptics.profunctor
Choice
Choice
ChoiceInstances
Closed
Closed
ClosedInstances
Cochoice
Cochoice
Corepresentable
Corepresentable
CorepresentableInstances
Costar
CostarInstances
Star
StarInstances
Traversing
Wander
Wander
WanderInstances
Proptics profunctor
/
proptics.profunctor
/
Corepresentable
Corepresentable
object
Corepresentable
Companion:
class
Graph
Supertypes
Self type
class
Object
trait
Matchable
class
Any
Corepresentable
.type
Type members
Value members
Type members
Types
type
Aux
[
P
[
_
,
_
],
Corepresentation0
[
_
]] =
Corepresentable
[
P
] {
type
Corepresentation
=
Corepresentation0
; }
Value members
Concrete methods
@inline
def
apply
[
P
[
_
,
_
]](
implicit
ev:
Corepresentable
[
P
]):
Aux
[
P
,
Corepresentation
]
summon an instance of
Corepresentable
for
P
summon an instance of
Corepresentable
for
P