crystal
crystal
crystal
Pot
Pot
Error
Pending
Ready
PotOption
PotOption
Error
Pending
ReadyNone
ReadySome
UnitMonadOps
ViewF
ViewF
ViewListF
ViewOps
ViewOptF
crystal.implicits
AnyOptionToPotOps
AnyToPotOps
OptionApplicativeUnitOps
PotCats
PotOptionCats
TryOptionToPotOps
TryToPotOps
throwable
crystal
/
crystal
crystal
package
crystal
Type members
Value members
Implicits
Type members
Classlikes
sealed
trait
Pot
[
+
A
]
Companion:
object
object
Pot
Companion:
class
sealed
trait
PotOption
[
+
A
]
Companion:
object
object
PotOption
Companion:
class
implicit
class
UnitMonadOps
[
F
[
_
]](
f:
F
[
Unit
])(
implicit
evidence$1:
Monad
[
F
])
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
object
ViewF
Companion:
class
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
]
sealed abstract
class
ViewOps
[
F
[
_
],
G
[
_
],
A
]
abstract
class
ViewOptF
[
F
[
_
],
A
](
val
get:
Option
[
A
],
val
modCB: (
A
=>
A
,
Option
[
A
]
=>
F
[
Unit
])
=>
F
[
Unit
])(
implicit
evidence$3:
Monad
[
F
])
extends
ViewOps
[
F
,
Option
,
A
]
Value members
Concrete methods
def
refModCB
[
F
[
_
] :
FlatMap
,
A
](
ref:
Ref
[
F
,
A
]): (
A
=>
A
,
A
=>
F
[
Unit
])
=>
F
[
Unit
]
Implicits
Implicits
final implicit
def
UnitMonadOps
[
F
[
_
] :
Monad
](
f:
F
[
Unit
]):
UnitMonadOps
[
F
]