trait BiLocal[F[+_, +_], X, C] extends BiContext[F, X, C]
typeclass for locally modification of environment for processess
- Alphabetic
- By Inheritance
- BiLocal
- BiContext
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Abstract Value Members
-
abstract
def
bifunctor: Bifunctor[F]
base F bifunctor inclusion
base F bifunctor inclusion
- Definition Classes
- BiContext
-
abstract
def
bilocal[E, A](fea: F[E, A])(lproj: (X) ⇒ X, rproj: (C) ⇒ C): F[E, A]
run the process in a locally modified environment
run the process in a locally modified environment
- fea
process to run
- lproj
a modification of the error part
- rproj
a modification of the result part
- returns
process with the same semantics as
fea
but run in the modified environment
-
abstract
def
context: F[X, C]
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
- BiContext
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
clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
-
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: (X) ⇒ X): F[E, A]
same as
bilocal
but modify only the error part -
def
extract[E, A](err: PExtract[X, Any, E, Nothing], res: PExtract[C, Any, A, Nothing]): BiContext[F, E, A]
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
- 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()
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
def
lextraxt[A](ex: PExtract[C, Any, A, Nothing]): BiContext[F, X, 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
local[E, A](fea: F[E, A])(proj: (C) ⇒ C): F[E, A]
same as
bilocal
but modify only the result part -
def
lsub[E](cts: Contains[X, E]): BiLocal[F, E, C]
same as
sub
but focus on the error only -
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[X, Any, E, Nothing]): BiContext[F, E, C]
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[C, A]): BiLocal[F, X, A]
same as
sub
but focus on the result only -
def
sub[E, A](err: Contains[X, E], res: Contains[C, A]): BiLocal[F, E, A]
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
-
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( ... )
-
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()