package bi
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- bi
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
Type Members
- type BiConst[A, B, C] = C
-
trait
BiContext[F[+_, +_], +X, +C] extends AnyRef
typeclass for access a functional environment in a bifuntor
typeclass for access a functional environment in a bifuntor
- X
contextual error
- C
contextual result
- class BiContextExtractInstance[F[+_, +_], X, C, E, A] extends BiContext[F, E, A]
-
trait
BiLocal[F[+_, +_], X, C] extends BiContext[F, X, C]
typeclass for locally modification of environment for processess
- class BiLocalSubInstance[F[+_, +_], X, C, E, A] extends BiContextExtractInstance[F, X, C, E, A] with BiLocal[F, E, A]
-
trait
BiRun[F[+_, +_], G[+_, +_], X, C] extends BiLocal[F, X, C] with BiUnlift[G, F]
typeclass relation for running processes with provided environment
typeclass relation for running processes with provided environment
- F
rich process type, that requires and has access the the environment
- G
base process type
- class BiRunEqvInstance[F[+_, +_], G[+_, +_], X, C, X1, C1] extends BiLocalSubInstance[F, X, C, X1, C1] with BiRun[F, G, X1, C1]
- type TwinContext[F[+_, +_], +C] = BiContext[F, C, C]
- type TwinLocal[F[+_, +_], C] = BiLocal[F, C, C]
- type UContains[F[+_, +_], +C] = BiContext[F, Nothing, C]
- type ULocal[F[+_, +_], C] = BiLocal[F, Nothing, C]
- type URun[F[+_, +_], G[+_, +_], C] = BiRun[F, G, Nothing, C]