DerivedApplicative

cats.derived.DerivedApplicative$package.DerivedApplicative

Attributes

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

Members list

Type members

Classlikes

trait Product[T <: ([f[_]] =>> Applicative[f]), F[_]](using inst: ProductInstances[T, F]) extends Applicative[F], Product[T, F]

Attributes

Source
DerivedApplicative.scala
Supertypes
trait Product[T, F]
trait Applicative[F]
trait Apply[F]
trait Semigroupal[F]
trait Functor[F]
trait Invariant[F]
trait Serializable
class Object
trait Matchable
class Any
Show all
Known subtypes
trait Product[T, F]
trait Product[T, F]
object Strict

Attributes

Source
DerivedApplicative.scala
Supertypes
class Object
trait Matchable
class Any
Self type
Strict.type

Types

type Or[F[_]] = Or[Applicative[F]]

Attributes

Source
DerivedApplicative.scala

Value members

Concrete methods

inline def apply[F[_]]: Applicative[F]

Attributes

Source
DerivedApplicative.scala
inline def strict[F[_]]: Applicative[F]

Attributes

Source
DerivedApplicative.scala

Givens

Givens

Attributes

Source
DerivedApplicative.scala
given nested[F[_], G[_]](using F: => Or[F], G: => Or[G]): DerivedApplicative[F <<< G]

Attributes

Source
DerivedApplicative.scala