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
/
ViewListF
ViewListF
abstract
class
ViewListF
[F[_], A](val get:
List
[
A
], val modCB: (
A
=>
A
,
List
[
A
] =>
F
[
Unit
]) =>
F
[
Unit
])(implicit evidence$4:
Monad
[
F
]) extends
ViewOps
[
F
,
List
,
A
]
Graph
Supertypes
Self type
class
ViewOps
[
F
,
List
,
A
]
class
Object
trait
Matchable
class
Any
ViewListF
[
F
,
A
]
Value members
Value members
Concrete methods
def
as
[B](iso:
Iso
[
A
, B]):
ViewListF
[
F
, B]
override
def
toString
():
String
Definition Classes
Any
def
widen
[B >:
A
]:
ViewListF
[
F
, B]
def
withOnMod
(f:
List
[
A
] =>
F
[
Unit
]):
ViewListF
[
F
,
A
]
def
zoom
[B](getB:
A
=> B)(modB: B => B =>
A
=>
A
):
ViewListF
[
F
, B]
def
zoom
[B](lens:
Lens
[
A
, B]):
ViewListF
[
F
, B]
def
zoom
[B](optional:
Optional
[
A
, B]):
ViewListF
[
F
, B]
def
zoom
[B](prism:
Prism
[
A
, B]):
ViewListF
[
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
):
ViewListF
[
F
, B]
Inherited methods
def
modAndGet
(f:
A
=>
A
)(implicit F:
Async
[
F
]):
F
[
List
[
A
]]
Inherited from
ViewOps
Concrete fields
val
get
:
List
[
A
]
val
modCB
: (
A
=>
A
,
List
[
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
,
List
[
A
] =>
F
[
Unit
]) =>
F
[
Unit
]
Inherited from
ViewOps