core

Type Members

1. trait ActionOps[A[_[_], _, _, _, _]] extends AnyRef

   

2. trait ActionOps2[A[_[_], _, _, _, _]] extends AnyRef

   

3. sealed abstract class Around[-I, E] extends AnyRef

   

4. trait CheckOps[C[_, _, _]] extends AnyRef

   

5. trait CoreExports extends Implicits with Implicits with Implicits with Implicits with Implicits with Implicits with Implicits with Implicits

   

6. trait CoreExports2 extends Implicits

   

7. trait CoreExports3 extends ToOps with Implicits

   

8. sealed abstract class Invariant[-I, E] extends AnyRef

   

9. final case class NamedOps[A, I](renameBy: (A, (NameFn[I]) ⇒ NameFn[I]) ⇒ A) extends AnyVal with Product with Serializable

   

10. final case class Point[-I, E](name: NameFn[I], test: (I) ⇒ Tri[E, Unit]) extends Product with Serializable

    

11. implicit final class TestStateCoreAnyExt[A] extends AnyVal

    

    Annotations

    @inline()

12. implicit final class TestStateNFEBA[A] extends AnyVal

    

    Annotations

    @inline()

13. trait ToInvariants[F[_[-_, _], _, _], C[-_, _]] extends AnyRef

    

14. case class Transformer[F[_], R, O, S, E, F2[_], R2, O2, S2, E2](actions: (CoreExports.Actions[F, R, O, S, E]) ⇒ CoreExports.Actions[F2, R2, O2, S2, E2], invariants: (CoreExports.Invariants[O, S, E]) ⇒ CoreExports.Invariants[O2, S2, E2], points: (CoreExports.Points[O, S, E]) ⇒ CoreExports.Points[O2, S2, E2], arounds: (CoreExports.Arounds[O, S, E]) ⇒ CoreExports.Arounds[O2, S2, E2])(implicit f1: ExecutionModel[F], f2: ExecutionModel[F2]) extends Product with Serializable