extras-cats
extras-cats
extras.cats.syntax
AllSyntax
EitherSyntax
EitherSyntax
NamedFunction
OptionSyntax
all
either
option
extras-cats
/
extras.cats.syntax
/
OptionSyntax
OptionSyntax
trait
OptionSyntax
Since:
2021-07-22
Graph
Supertypes
Known subtypes
class
Object
trait
Matchable
class
Any
trait
AllSyntax
object
all
.type
object
option
.type
Extensions
Extensions
Extensions
extension
[
A
](a:
A
)
inline
def
someTF
[
F
[
_
] :
Applicative
]:
OptionT
[
F
,
A
]
extension
[
F
[
_
],
A
](fOfOption:
F
[
Option
[
A
]])
inline
def
optionT
:
OptionT
[
F
,
A
]
inline
def
t
:
OptionT
[
F
,
A
]
extension
[
F
[
_
],
A
](fOfOption:
F
[
Option
[
A
]])
inline
def
innerCollect
[
B
](
pf:
PartialFunction
[
A
,
B
])(
using
F:
Functor
[
F
]):
F
[
Option
[
B
]]
inline
def
innerContains
(
a:
A
)(
using
F:
Functor
[
F
]):
F
[
Boolean
]
inline
def
innerExists
(
f:
A
=>
Boolean
)(
using
F:
Functor
[
F
]):
F
[
Boolean
]
inline
def
innerFilter
(
f:
A
=>
Boolean
)(
using
F:
Functor
[
F
]):
F
[
Option
[
A
]]
inline
def
innerFlatMap
[
B
](
f:
A
=>
Option
[
B
])(
using
F:
Functor
[
F
]):
F
[
Option
[
B
]]
inline
def
innerFlatMapF
[
B
](
f:
A
=>
F
[
Option
[
B
]])(
using
F:
Monad
[
F
]):
F
[
Option
[
B
]]
inline
def
innerFold
[
B
](
ifEmpty:
=>
B
)(
f:
A
=>
B
)(
using
F:
Functor
[
F
]):
F
[
B
]
inline
def
innerFoldF
[
B
](
ifEmpty:
=>
F
[
B
])(
f:
A
=>
F
[
B
])(
using
F:
FlatMap
[
F
]):
F
[
B
]
inline
def
innerForall
(
f:
A
=>
Boolean
)(
using
F:
Functor
[
F
]):
F
[
Boolean
]
inline
def
innerForeach
(
f:
A
=>
Unit
)(
using
F:
Functor
[
F
]):
F
[
Unit
]
inline
def
innerForeachF
(
f:
A
=>
F
[
Unit
])(
using
F:
FlatMap
[
F
],
AP:
Applicative
[
F
]):
F
[
Unit
]
inline
def
innerGetOrElse
[
B
>:
A
](
ifEmpty:
=>
B
)(
using
F:
Functor
[
F
]):
F
[
B
]
inline
def
innerGetOrElseF
[
B
>:
A
](
ifEmpty:
=>
F
[
B
])(
using
F:
Monad
[
F
]):
F
[
B
]
inline
def
innerMap
[
B
](
f:
A
=>
B
)(
using
F:
Functor
[
F
]):
F
[
Option
[
B
]]
inline
def
innerOrElse
[
B
>:
A
](
alternative:
=>
Option
[
B
])(
using
F:
Functor
[
F
]):
F
[
Option
[
B
]]
inline
def
innerOrElseF
[
B
>:
A
](
alternative:
=>
F
[
Option
[
B
]])(
using
F:
Monad
[
F
]):
F
[
Option
[
B
]]
extension
[
F
[
_
],
A
](fa:
F
[
A
])
inline
def
someT
(
using
F:
Functor
[
F
]):
OptionT
[
F
,
A
]
extension
[
A
](option:
Option
[
A
])
inline
def
optionT
[
F
[
_
] :
Applicative
]:
OptionT
[
F
,
A
]
inline
def
t
[
F
[
_
] :
Applicative
]:
OptionT
[
F
,
A
]