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
/
Closed
Closed
object
Closed
extends
ClosedInstances
Companion:
class
Graph
Supertypes
Self type
class
ClosedInstances
class
Object
trait
Matchable
class
Any
Closed
.type
Value members
Implicits
Value members
Concrete methods
def
apply
[
P
[
_
,
_
]](
implicit
ev:
Closed
[
P
]):
Closed
[
P
]
summon an instance of
Closed
for
P
summon an instance of
Closed
for
P
Implicits
Inherited implicits
final implicit
def
closedFunction
:
Closed
[
Function1
]
Inherited from:
ClosedInstances