fundamentals-bio
API
Generated with
fundamentals-bio/izumi.functional.bio/Local3

Local3

izumi.functional.bio.Local3
trait Local3[FR[_, _, _]] extends MonadAsk3[FR] with ArrowChoice3[FR]

Attributes

Graph
Supertypes
trait ArrowChoice3[FR]
trait Arrow3[FR]
trait Profunctor3[FR]
trait MonadAsk3[FR]
trait Ask3[FR]
trait RootTrifunctor[FR]
trait Root
class Object
trait Matchable
class Any
Known subtypes
class AsyncZio
object AsyncZio.type

Members list

Concise view

Type members

Inherited types

type Divergence = Nondivergent

Attributes

Inherited from:
DivergenceHelper
type IsPredefined = NotPredefined

Attributes

Inherited from:
PredefinedHelper

Value members

Abstract methods

override def InnerF: Monad3[FR]

Attributes

Definition Classes

Concrete methods

override def access[R, E, A](f: R => FR[R, E, A]): FR[R, E, A]

Attributes

Definition Classes
override def andThen[R, R1, E, A](f: FR[R, E, R1], g: FR[R1, E, A]): FR[R, E, A]

Attributes

Definition Classes
override def askWith[R, A](f: R => A): FR[R, Nothing, A]

Attributes

Definition Classes
override def asking[R, E, A](f: FR[R, E, A]): FR[R, E, (A, R)]

Attributes

Definition Classes
override def choose[RL, RR, E, AL, AR](f: FR[RL, E, AL], g: FR[RR, E, AR]): FR[Either[RL, RR], E, Either[AL, AR]]

Attributes

Definition Classes
override def dimap[R1, E, A1, R2, A2](fab: FR[R1, E, A1])(f: R2 => R1)(g: A1 => A2): FR[R2, E, A2]

Attributes

Definition Classes
def provide[R, E, A](fr: FR[R, E, A])(env: => R): FR[Any, E, A]

Inherited methods

def ask[R]: FR[R, Nothing, R]

Attributes

Inherited from:
Ask3
def choice[R1, R2, E, A](f: FR[R1, E, A], g: FR[R2, E, A]): FR[Either[R1, R2], E, A]

Attributes

Inherited from:
ArrowChoice3
def contramap[R, E, A, R0](fr: FR[R, E, A])(f: R0 => R): FR[R0, E, A]

Attributes

Inherited from:
Profunctor3
Generated with