[Functor3]<--[Bifunctor3] [Bifunctor3]<--[ApplicativeError3] [Functor3]<--[Applicative3] [Applicative3]<--[Guarantee3] [Applicative3]<--[Monad3] [Guarantee3]<--[ApplicativeError3] [ApplicativeError3]<--[Error3] [Monad3]<--[Error3] [Error3]<--[Bracket3] [Bracket3]<--[Panic3] [Panic3]<--[IO3] [IO3]<--[Async3] [Monad3]<--[Parallel3] [Parallel3]<--[Concurrent3] [Concurrent3]<--[Async3] [Error3]<--[Temporal3] [Functor3]<--[Profunctor3] [Profunctor3]<--[Arrow3] [Arrow3]<--[ArrowChoice3] [ArrowChoice3]<--[Local3] [Applicative3]<--[Ask3] [Monad3]<--[MonadAsk3] [Ask3]<--[MonadAsk3] [MonadAsk3]<--[Local3]

[cats.effect.*]<:--[CatsConversions] [Fork3]<:--[Fiber3] [BlockingIO3]<:--[BlockingIO2] [Primitives2]<:--[Primitives3] [Primitives3]<:--[Ref3] [Primitives3]<:--[Semaphore3] [Primitives3]<:--[Promise3] [Entropy]<:--[Entropy2] [Entropy2]<:--[Entropy3]

[Functor3]<--[Applicative3] [Applicative3]<--[Guarantee3] [Applicative3]<--[Monad3] [Guarantee3]<--[ApplicativeError3] [Bifunctor3]<--[ApplicativeError3] [ApplicativeError3]<--[Error3] [Monad3]<--[Error3] [Error3]<--[Bracket3] [Bracket3]<--[Panic3] [Panic3]<--[IO3] [Parallel3]<--[Concurrent3] [Concurrent3]<--[Async3] [IO3]<--[Async3] [Temporal3] [Profunctor3]<--[Arrow3] [Arrow3]<--[ArrowChoice3] [ArrowChoice3]<--[Local3] [Ask3]<--[MonadAsk3] [MonadAsk3]<--[Local3]

MonadAsk3

trait MonadAsk3[FR[-_, +_, +_]] extends Ask3[FR] with MonadAskSyntax

Linear Supertypes

MonadAskSyntax, Ask3[FR], RootTrifunctor[FR], Root, PredefinedHelper, DivergenceHelper, AnyRef, Any

Known Subclasses

Local3

Ordering

Alphabetic
By Inheritance

Inherited

MonadAsk3
MonadAskSyntax
Ask3
RootTrifunctor
Root
PredefinedHelper
DivergenceHelper
AnyRef
Any

Hide All
Show All

Visibility

Public
Protected

Type Members

type Divergence = Nondivergent
Definition Classes
DivergenceHelper
type IsPredefined = NotPredefined
Definition Classes
PredefinedHelper

Abstract Value Members

abstract def InnerF: Monad3[FR]
Definition Classes
MonadAsk3 → Ask3
abstract def access[R, E, A](f: (R) => FR[R, E, A]): FR[R, E, A]
abstract def ask[R]: FR[R, Nothing, R]
Definition Classes
Ask3

Concrete Value Members

final def !=(arg0: Any): Boolean
Definition Classes
AnyRef → Any
final def ##: Int
Definition Classes
AnyRef → Any
final def ==(arg0: Any): Boolean
Definition Classes
AnyRef → Any
final def asInstanceOf[T0]: T0
Definition Classes
Any
def askWith[R, A](f: (R) => A): FR[R, Nothing, A]
Definition Classes
Ask3
def clone(): AnyRef
Attributes
protected[lang]
Definition Classes
AnyRef
Annotations
@throws(classOf[java.lang.CloneNotSupportedException]) @native()
final def eq(arg0: AnyRef): Boolean
Definition Classes
AnyRef
def equals(arg0: AnyRef): Boolean
Definition Classes
AnyRef → Any
def finalize(): Unit
Attributes
protected[lang]
Definition Classes
AnyRef
Annotations
@throws(classOf[java.lang.Throwable])
final def getClass(): Class[_ <: AnyRef]
Definition Classes
AnyRef → Any
Annotations
@native()
def hashCode(): Int
Definition Classes
AnyRef → Any
Annotations
@native()
final def isInstanceOf[T0]: Boolean
Definition Classes
Any
final def ne(arg0: AnyRef): Boolean
Definition Classes
AnyRef
final def notify(): Unit
Definition Classes
AnyRef
Annotations
@native()
final def notifyAll(): Unit
Definition Classes
AnyRef
Annotations
@native()
final def synchronized[T0](arg0: => T0): T0
Definition Classes
AnyRef
def toString(): String
Definition Classes
AnyRef → Any
final def wait(): Unit
Definition Classes
AnyRef
Annotations
@throws(classOf[java.lang.InterruptedException])
final def wait(arg0: Long, arg1: Int): Unit
Definition Classes
AnyRef
Annotations
@throws(classOf[java.lang.InterruptedException])
final def wait(arg0: Long): Unit
Definition Classes
AnyRef
Annotations
@throws(classOf[java.lang.InterruptedException]) @native()

Packages

MonadAsk3

trait MonadAsk3[FR[-_, +_, +_]] extends Ask3[FR] with MonadAskSyntax

Type Members

Abstract Value Members

Concrete Value Members

Inherited from MonadAskSyntax

Inherited from Ask3[FR]

Inherited from RootTrifunctor[FR]

Inherited from Root

Inherited from PredefinedHelper

Inherited from DivergenceHelper

Inherited from AnyRef

Inherited from Any

Ungrouped

Packages

MonadAsk3

trait MonadAsk3[FR[-_, +_, +_]] extends Ask3[FR] with MonadAskSyntax

Type Members

Abstract Value Members

Concrete Value Members

Inherited from MonadAskSyntax

Inherited from Ask3[FR]

Inherited from RootTrifunctor[FR]

Inherited from Root

Inherited from PredefinedHelper

Inherited from DivergenceHelper

Inherited from AnyRef

Inherited from Any

Ungrouped

MonadAsk3