class BiRunEqvInstance[F[+_, +_], G[+_, +_], X, C, X1, C1] extends BiLocalSubInstance[F, X, C, X1, C1] with BiRun[F, G, X1, C1]
- Alphabetic
- By Inheritance
- BiRunEqvInstance
- BiRun
- BiUnlift
- BiLift
- BiLocalSubInstance
- BiLocal
- BiContextExtractInstance
- BiContext
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Instance Constructors
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
bifunctor: Bind[F]
base F bifunctor inclusion
base F bifunctor inclusion
- Definition Classes
- BiRunEqvInstance → BiRun → BiUnlift → BiLift → BiContextExtractInstance → BiContext
-
def
bilocal[E, A](fea: F[E, A])(lproj: (X1) ⇒ X1, rproj: (C1) ⇒ C1): F[E, A]
run the process in a locally modified environment
-
def
clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
-
def
context: F[X1, C1]
read the contextual value of type
C
producing declared contextual error of typeX
read the contextual value of type
C
producing declared contextual error of typeX
- Definition Classes
- BiContextExtractInstance → BiContext
- def disclose[E, A](k: (FunBK[F, G]) ⇒ F[E, A]): F[E, A]
-
def
discloseBase[E, A](k: (FunBK[F, G]) ⇒ G[E, A]): F[E, A]
- Definition Classes
- BiUnlift
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
errLocal[E, A](fea: F[E, A])(proj: (X1) ⇒ X1): F[E, A]
same as
bilocal
but modify only the error partsame as
bilocal
but modify only the error part- Definition Classes
- BiLocal
-
def
extract[E1, A1](err: PExtract[X1, Any, E1, Nothing], res: PExtract[C1, Any, A1, Nothing]): BiContext[F, E1, A1]
focus this context instance
focus this context instance
- err
error mapping in the optical form, this could be autogenerated
tofu.optics.Contains
- res
context mapping in the optical form, this could be autogenerated
tofu.optics.Contains
- returns
focused instance of context
- Definition Classes
- BiContextExtractInstance → BiContext
-
def
finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
def
imap[E, A](err: Equivalent[X1, E], res: Equivalent[C1, A]): BiRun[F, G, E, A]
map this environment using provided equivalences to other types
map this environment using provided equivalences to other types
- err
an optic for mapping context error
- res
an optic for mapping context result
- returns
focused instance
- Definition Classes
- BiRun
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
def
lextraxt[A](ex: PExtract[C1, Any, A, Nothing]): BiContext[F, X1, A]
focus this context changing only the error
focus this context changing only the error
- ex
error mapping in the optical form
- returns
focused instance of context
- Definition Classes
- BiContext
-
def
lift[E, A](fa: G[E, A]): F[E, A]
- Definition Classes
- BiRunEqvInstance → BiLift
-
def
liftF: FunBK[G, F]
- Definition Classes
- BiLift
-
def
local[E, A](fea: F[E, A])(proj: (C1) ⇒ C1): F[E, A]
same as
bilocal
but modify only the result partsame as
bilocal
but modify only the result part- Definition Classes
- BiLocal
-
def
lsub[E](cts: Contains[X1, E]): BiLocal[F, E, C1]
same as
sub
but focus on the error onlysame as
sub
but focus on the error only- Definition Classes
- BiLocal
-
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()
-
def
rextract[E](ex: PExtract[X1, Any, E, Nothing]): BiContext[F, E, C1]
focus this context changing only the result
focus this context changing only the result
- ex
error mapping in the optical for
- returns
focused instance of context
- Definition Classes
- BiContext
-
def
rsub[A](cts: Contains[C1, A]): BiLocal[F, X1, A]
same as
sub
but focus on the result onlysame as
sub
but focus on the result only- Definition Classes
- BiLocal
-
def
runEither[E, A](fa: F[E, A])(ctx: Either[X1, C1]): G[E, A]
run a process starting the environment from the state defined by disjuction
run a process starting the environment from the state defined by disjuction
- fa
a process to run
- ctx
environment
- returns
base process with provided environment
- Definition Classes
- BiRun
-
def
runEitherK(ctx: Either[X1, C1]): FunBK[F, G]
- Definition Classes
- BiRun
-
def
runLeft[E, A](fa: F[E, A])(x1: X1): G[E, A]
run a process starting from the error state for the environment
run a process starting from the error state for the environment
- fa
a process to run
- returns
base process with provided environment
- Definition Classes
- BiRunEqvInstance → BiRun
-
def
runLeftK(x: X1): FunBK[F, G]
- Definition Classes
- BiRun
-
def
runRight[E, A](fa: F[E, A])(c1: C1): G[E, A]
run a process starting from the success state for the environment
run a process starting from the success state for the environment
- fa
a process to run
- returns
base process with provided environment
- Definition Classes
- BiRunEqvInstance → BiRun
-
def
runRightK(c: C1): FunBK[F, G]
- Definition Classes
- BiRun
-
def
sub[E1, A1](err: Contains[X1, E1], res: Contains[C1, A1]): BiLocal[F, E1, A1]
focus this context instance this will read and modify only the given parts of the context
focus this context instance this will read and modify only the given parts of the context
- err
an optic for reading from and updating a larger context error
- res
an optic for reading from and updating a larget context result
- returns
focused instance
- Definition Classes
- BiLocalSubInstance → BiLocal
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
toString(): String
- Definition Classes
- AnyRef → Any
-
def
unlift[E]: F[E, FunBK[F, G]]
- Definition Classes
- BiUnlift
-
def
unliftErr[A]: F[FunBK[F, G], A]
- Definition Classes
- BiUnlift
-
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()