cats.data
OptionT[F[_], A] is a light wrapper on an F[Option[A]] with some convenient methods for working with this nested structure.
OptionT[F[_], A]
F[Option[A]]
It may also be said that OptionT is a monad transformer for Option.
OptionT
Option
For more information, see the documentation.
Catamorphism on the Option.
Catamorphism on the Option. This is identical to fold, but it only has one parameter list, which can result in better type inference in some contexts.
OptionT[F[_], A]
is a light wrapper on anF[Option[A]]
with some convenient methods for working with this nested structure.It may also be said that
OptionT
is a monad transformer forOption
.For more information, see the documentation.