core/teststate.core/Action

Action

object Action
class Object
trait Matchable
class Any
Action.type

Type members

Classlikes

final case class Group[F[_], R, O, S, E](actions: Actions[F, R, O, S, E], cond: Cond[R, O, S, E]) extends Inner[F, R, O, S, E]
Companion:
object
object Group
Companion:
class
sealed abstract class Inner[F[_], R, O, S, E]
final case class Outer[F[_], R, O, S, E](name: NameFn[ROS[R, O, S]], inner: Inner[F, R, O, S, E], check: Arounds[O, S, E])
Companion:
object
object Outer
Companion:
class
final case class Single[F[_], R, O, S, E](run: ROS[R, O, S] => Prepared[F, O, S, E]) extends Inner[F, R, O, S, E]
Companion:
object
object Single
Companion:
class
final case class SubTest[F[_], R, O, S, E](action: Actions[F, R, O, S, E], invariants: Invariants[O, S, E]) extends Inner[F, R, O, S, E]

Types

type ActionResult[F[_], O, S, E] = F[Or[E, O => Or[E, S]]]
type Actions[F[_], R, O, S, E] = SackE[ROS[R, O, S], Outer[F, R, O, S, E], E]
type Prepared[F[_], O, S, E] = Option[() => ActionResult[F, O, S, E]]

Value members

Concrete methods

def empty[F[_], R, O, S, E]: Actions[F, R, O, S, E]
def liftInner[F[_], R, O, S, E](inner: Inner[F, R, O, S, E])(name: NameFn[ROS[R, O, S]]): Actions[F, R, O, S, E]
def liftOuter[F[_], R, O, S, E](outer: Outer[F, R, O, S, E]): Actions[F, R, O, S, E]

Implicits

Implicits

implicit def actionInnerInstanceConditional[F[_], R, O, S, E]: Conditional[Inner[F, R, O, S, E], ROS[R, O, S]]
implicit def actionOuterInstanceConditional[F[_], R, O, S, E]: Conditional[Outer[F, R, O, S, E], ROS[R, O, S]]
implicit def actionOuterInstanceDisplay[F[_], R, O, S, E]: Display[Outer[F, R, O, S, E]]
implicit def actionOuterInstanceNamedOps[F[_], R, O, S, E]: NamedOps[Outer[F, R, O, S, E], ROS[R, O, S]]
implicit def actionsProfunctor[F[_], R, O, S, E](a: Actions[F, R, O, S, E]): Ops[Sack, ROS[R, O, S], Or[NamedError[Failure[E]], Outer[F, R, O, S, E]]]