extras-cats
extras-cats
extras.cats.syntax
AllSyntax
EitherSyntax
EitherSyntax
OptionSyntax
all
either
option
extras-cats
/
extras.cats.syntax
/
OptionSyntax
OptionSyntax
trait
OptionSyntax
Authors
Kevin Lee
Since
2021-07-22
Graph
Supertypes
Known subtypes
class
Object
trait
Matchable
class
Any
trait
AllSyntax
object
all
object
option
Extensions
Extensions
Extensions
extension (a:
A
)
inline
def
someTF
[A](`evidence$3`:
Applicative
[
F
]):
OptionT
[F, A]
extension (fOfOption:
F
[
Option
[
A
]])
inline
def
optionT
[F[_], A]:
OptionT
[F, A]
inline
def
t
[F[_], A]:
OptionT
[F, A]
extension (fa:
F
[
A
])
inline
def
someT
[F[_], A](using F:
Functor
[
F
]):
OptionT
[F, A]
extension (option:
Option
[
A
])
inline
def
optionT
[A](`evidence$1`:
Applicative
[
F
]):
OptionT
[F, A]
inline
def
t
[A](`evidence$2`:
Applicative
[
F
]):
OptionT
[F, A]