crystal
crystal
crystal
ActionInterpreter
ActionInterpreterOpt
ComponentTypes
ComponentTypes
ComponentTypesForPlatform
Error
Pending
Pot
Pot
Ready
UnitMonadOps
ViewF
ViewF
ViewListF
ViewOps
ViewOptF
crystal.implicits
AnyOptionToPotOps
AnyToPotOps
OptionApplicativeUnitOps
PotCats
TryOptionToPotOps
TryToPotOps
throwable
crystal
/
crystal
/
ViewF
ViewF
final
class
ViewF
[F[_], A](val get:
A
, val modCB: (
A
=>
A
,
A
=>
F
[
Unit
]) =>
F
[
Unit
])(implicit evidence$2:
Monad
[
F
]) extends
ViewOps
[
F
,
Id
,
A
]
Companion
object
Graph
Supertypes
Self type
class
ViewOps
[
F
,
Id
,
A
]
class
Object
trait
Matchable
class
Any
ViewF
[
F
,
A
]
Value members
Value members
Concrete methods
def
as
[B](iso:
Iso
[
A
, B]):
ViewF
[
F
, B]
def
asList
:
ViewListF
[
F
,
A
]
def
asOpt
:
ViewOptF
[
F
,
A
]
def
mapValue
[B, C](f:
ViewF
[
F
, B] => C)(implicit ev:
A
=:=
Option
[B]):
Option
[C]
def
modAndExtract
[B](f:
A
=> (
A
, B))(implicit F:
Async
[
F
]):
F
[B]
def
modAndGet
(f:
A
=>
A
)(implicit F:
Async
[
F
]):
F
[
A
]
def
to
[F1[_] :
Monad
](toF1:
F
[
Unit
] => F1[
Unit
], fromF1: F1[
Unit
] =>
F
[
Unit
]):
ViewF
[F1,
A
]
override
def
toString
():
String
Definition Classes
Any
def
unsafeNarrow
[B <:
A
]:
ViewF
[
F
, B]
def
widen
[B >:
A
]:
ViewF
[
F
, B]
def
withOnMod
(f:
A
=>
F
[
Unit
]):
ViewF
[
F
,
A
]
def
zoom
[B](getB:
A
=> B)(modB: B => B =>
A
=>
A
):
ViewF
[
F
, B]
def
zoom
[B](lens:
Lens
[
A
, B]):
ViewF
[
F
, B]
def
zoom
[B](optional:
Optional
[
A
, B]):
ViewOptF
[
F
, B]
def
zoom
[B](prism:
Prism
[
A
, B]):
ViewOptF
[
F
, B]
def
zoom
[B](traversal:
Traversal
[
A
, B]):
ViewListF
[
F
, B]
def
zoomList
[B](getB:
A
=>
List
[B])(modB: B => B =>
A
=>
A
):
ViewListF
[
F
, B]
def
zoomOpt
[B](getB:
A
=>
Option
[B])(modB: B => B =>
A
=>
A
):
ViewOptF
[
F
, B]
Concrete fields
val
get
:
A
val
modCB
: (
A
=>
A
,
A
=>
F
[
Unit
]) =>
F
[
Unit
]
Inherited fields
val
mod
:
A
=>
A
=>
F
[
Unit
]
Inherited from
ViewOps
val
set
:
A
=>
F
[
Unit
]
Inherited from
ViewOps
val
setCB
: (
A
,
Id
[
A
] =>
F
[
Unit
]) =>
F
[
Unit
]
Inherited from
ViewOps