destructured.cats

Members list

Type members

Classlikes

trait ApplicativeOf[FT]

Attributes

Supertypes
class Object
trait Matchable
class Any
trait FunctorOf[FT]

Attributes

Supertypes
class Object
trait Matchable
class Any

Types

type FA[X] = X match { case Option[a] => Option[a] }
type FB[X, B] = X match { case Option[a] => Option[B] }
type Func[X, B] = X match { case Option[a] => a => B }
type Ret[X, A] = X match { case Option[a] => Option[A] }

Givens

Givens

given given_ApplicativeOf_None_type(using A: Applicative[Option]): ApplicativeOf[None.type]
given given_ApplicativeOf_Option[T](using A: Applicative[Option]): ApplicativeOf[Option[T]]
given given_ApplicativeOf_Some[T](using A: Applicative[Option]): ApplicativeOf[Some[T]]
given given_FunctorOf_None_type(using F: Functor[Option]): FunctorOf[None.type]
given given_FunctorOf_Option[A](using F: Functor[Option]): FunctorOf[Option[A]]
given given_FunctorOf_Some[A](using F: Functor[Option]): FunctorOf[Some[A]]