core

Linear Supertypes

Ordering

Inherited

Visibility

trait ActionOps[A[_[_], _, _, _, _]] extends AnyRef
trait ActionOps2[A[_[_], _, _, _, _]] extends AnyRef
sealed abstract class Around[-I, E] extends AnyRef
trait CheckOps[C[_, _, _]] extends AnyRef
trait CoreExports extends Implicits with Implicits with Implicits with Implicits with Implicits with Implicits with Implicits with Implicits
trait CoreExports2 extends Implicits
trait CoreExports3 extends ToOps with Implicits
sealed abstract class Invariant[-I, E] extends AnyRef
final case class NamedOps[A, I](renameBy: (A, (NameFn[I]) ⇒ NameFn[I]) ⇒ A) extends AnyVal with Product with Serializable
final case class Point[-I, E](name: NameFn[I], test: (I) ⇒ Tri[E, Unit]) extends Product with Serializable
implicit final class TestStateCoreAnyExt[A] extends AnyVal

Annotations
@inline()
implicit final class TestStateNFEBA[A] extends AnyVal

Annotations
@inline()
trait ToInvariants[F[_[-_, _], _, _], C[-_, _]] extends AnyRef
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

object Action
object ActionOps
object Around
object CheckOps
object CoreComposition
P = Point @ = Around I = Invariant C = Check A = Action
P = Point @ = Around I = Invariant C = Check A = Action
P & P = P @ & @ = @ I & I = I C & C = I
object CoreComposition2
object CoreExports extends CoreExports
object CoreExports2 extends CoreExports2
object CoreExports3 extends CoreExports3
object Invariant
object NamedOps extends Serializable
object Point extends Serializable
object PointOps
object ToInvariants
object Transformer extends Serializable
object Types

Packages