- Companion:
- class
Type members
Types
type WithOut[Environment, In, OutEnvironment0, OutError0] = CheckConstructor[Environment, In] { type OutEnvironment = OutEnvironment0; type OutError = OutError0; }
Implicits
Implicits
Inherited implicits
implicit def AssertZSTMConstructor[R, R1, E, A <: TestResult]: WithOut[R, ZSTM[R1, E, A], R & R1, E]
- Inherited from:
- CheckConstructorLowPriority2