LocalOps

izumi.functional.bio.syntax.Syntax3$.LocalOps
final class LocalOps[FR[_, _, _], -R, +E, +A](val r: FR[R, E, A])(implicit val F: Local3[FR]) extends ArrowChoiceOps[FR, R, E, A]

Attributes

Graph
Supertypes
class ArrowChoiceOps[FR, R, E, A]
class ArrowOps[FR, R, E, A]
class ProfunctorOps[FR, R, E, A]
class Object
trait Matchable
class Any

Members list

Concise view

Value members

Concrete methods

final def contramap[R0 <: R](f: R0 => R): FR[R0, E, A]
final def provide(env: => R): FR[Any, E, A]

Inherited methods

final def andThen[E1 >: E, A1](g: FR[A, E1, A1]): FR[R, E1, A1]

Attributes

Inherited from:
ArrowOps
final def choice[R1 <: R, E1 >: E, A1 >: A, R2](g: FR[R2, E1, A1]): FR[Either[R1, R2], E1, A1]

Attributes

Inherited from:
ArrowChoiceOps
final def choose[R1 <: R, E1 >: E, R2, A1](g: FR[R2, E1, A1]): FR[Either[R1, R2], E1, Either[A, A1]]

Attributes

Inherited from:
ArrowChoiceOps
final def compose[E1 >: E, R1](g: FR[R1, E1, R]): FR[R1, E1, A]

Attributes

Inherited from:
ArrowOps
final def dimap[R1, A1](f: R1 => R)(g: A => A1): FR[R1, E, A1]

Attributes

Inherited from:
ProfunctorOps