Type Members

1.  type CalcM[+F[+_, +_], -R, -SI, +SO, +E, +A] = data.calc.CalcM[F, R, SI, SO, E, A]
2.  type CalcT[+F[+_], -R, -SI, +SO, +E, +A] = data.calc.CalcM[[+x, +y]F[y], R, SI, SO, E, A]
3.  type Embedded[+F[+_], +G[+_], +A] = T[F, G, A]
4.  type ExceptT[+F[+_], +E, +A] = T[F, [+β$0$]Either[E, β$0$], A]
5.  type Flux[+F[_], +G[_], +A] = FluxRepr[F, G, A]
6.  type FunK[-F[_], +G[_]] = FunctionK[F, G]
7.  type ICalc[-R, S, +E, +A] = Calc[R, S, S, E, A]
8.  type ICalcM[+F[+_, +_], -R, S, +E, +A] = data.calc.CalcM[F, R, S, S, E, A]
9.  type ICalcT[+F[+_], -R, S, +E, +A] = data.calc.CalcM[[+x, +y]F[y], R, S, S, E, A]
10.  type Identity[+A] = A
11.  abstract type Nothing1 <: Nothing
12.  type Nothing2T[+A, +B] = Nothing
13.  type NothingT[+A] = Nothing
14.  type PArray[+A] = data.PArray.Type[A]
15.  type UnaryM[+F[+_], +E, +A] = F[A]
16.  type ∘[+F[+_], +G[+_], +A] = T[F, G, A]