Monadic

object Monadic
class Object
trait Matchable
class Any

Value members

Concrete methods

@inline
def apply[FA]: FA =:= Monadic[FA]

Givens

Givens

given IsKeyword_Monadic_A[FA <: F[A], F[_], A]: IsKeyword[Monadic[FA], A]

Extensions

Extensions

extension [FA, F[_], A](fa: FA)
transparent inline
def unary_!(using inline notKeyword: NotGiven[FA <:< Keyword], inline asFA: FA <:< F[A]): A