spotted-leopards
0.1.0
API
Generated with
spotted-leopards/leopards/OptionT

OptionT

leopards.OptionT$package.OptionT
object OptionT

Attributes

Source
OptionT.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
OptionT.type

Members list

Value members

Concrete methods

def apply[F[_], A](o: F[Option[A]]): OptionT[F, A]

Attributes

Source
OptionT.scala
def fromOption[F[_], A](oa: Option[A])(using F: Applicative[F]): OptionT[F, A]

Attributes

Source
OptionT.scala
def liftF[F[_], A](fa: F[A])(using Functor[F]): OptionT[F, A]

Attributes

Source
OptionT.scala
def liftK[F[_]](using Functor[F]): FunctionK[F, [X] =>> OptionT[F, X]]

Attributes

Source
OptionT.scala

Givens

Givens

given given_Functor_OptionT[F[_]](using F: Functor[F]): Functor[[X] =>> OptionT[F, X]]

Attributes

Source
OptionT.scala
given given_Monad_OptionT[F[_]](using F: Monad[F]): Monad[[X] =>> OptionT[F, X]]

Attributes

Source
OptionT.scala

Extensions

Extensions

extension [F[_], A](fa: OptionT[F, A])
def mapK[G[_]](fk: FunctionK[F, G]): OptionT[G, A]

Attributes

Source
OptionT.scala
def value: F[Option[A]]

Attributes

Source
OptionT.scala
Generated with