Packages

p

tofu

bi

package bi

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. bi
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. type BiConst[A, B, C] = C
  2. 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

  3. class BiContextExtractInstance[F[+_, +_], X, C, E, A] extends BiContext[F, E, A]
  4. trait BiLocal[F[+_, +_], X, C] extends BiContext[F, X, C]

    typeclass for locally modification of environment for processess

  5. class BiLocalSubInstance[F[+_, +_], X, C, E, A] extends BiContextExtractInstance[F, X, C, E, A] with BiLocal[F, E, A]
  6. 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

  7. class BiRunEqvInstance[F[+_, +_], G[+_, +_], X, C, X1, C1] extends BiLocalSubInstance[F, X, C, X1, C1] with BiRun[F, G, X1, C1]
  8. type TwinContext[F[+_, +_], +C] = BiContext[F, C, C]
  9. type TwinLocal[F[+_, +_], C] = BiLocal[F, C, C]
  10. type UContains[F[+_, +_], +C] = BiContext[F, Nothing, C]
  11. type ULocal[F[+_, +_], C] = BiLocal[F, Nothing, C]
  12. type URun[F[+_, +_], G[+_, +_], C] = BiRun[F, G, Nothing, C]

Value Members

  1. object BiContext
  2. object BiLocal
  3. object BiRun

Inherited from AnyRef

Inherited from Any

Ungrouped