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
/
ChoiceInstances
ChoiceInstances
abstract
class
ChoiceInstances
Graph
Supertypes
Known subtypes
class
Object
trait
Matchable
class
Any
object
Choice
.type
Implicits
Implicits
Implicits
final implicit
val
choiceFunction
:
Choice
[
Function1
]
final implicit
def
choiceStar
[
F
[
_
]](
implicit
ev:
Applicative
[
F
]):
Choice
[[
_
,
_
]
=>>
Kleisli
[
F
,
_$10
,
_$11
]]