p
puretest
package puretest
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- puretest
- Syntax
- MonadErrorUtils
- StateValidatedMonad
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
Type Members
- case class ApplicationError [E](e: E) extends PuretestError[E] with Product with Serializable
- class BooleanOps [P[_]] extends AnyRef
- trait Filter [F[_]] extends AnyRef
-
implicit
class
FilterOps
[F[_], A] extends AnyRef
- Definition Classes
- Syntax
- trait FunSpec [P[_]] extends PuretestErrorImplicits
- type Location = (File, Line)
- trait MonadErrorUtils extends AnyRef
-
trait
HandleError
[P[_], E] extends AnyRef
- Definition Classes
- MonadErrorUtils
-
trait
RaiseError
[P[_], E] extends AnyRef
- Definition Classes
- MonadErrorUtils
- case class NotEqualTo [E, A](found: A, expected: A)(implicit location: Location) extends PuretestError[E] with Product with Serializable
- case class NotError [A, E](found: A, expected: E)(implicit location: Location) extends PuretestError[E] with Product with Serializable
- case class NotFailed [E, A](found: A)(implicit location: Location) extends PuretestError[E] with Product with Serializable
- case class NotMatched [A, E](found: A)(implicit location: Location) extends PuretestError[E] with Product with Serializable
- case class NotMatchedFailure [E](found: E)(implicit location: Location) extends PuretestError[E] with Product with Serializable
- case class NotSucceeded [E](found: E)(implicit location: Location) extends PuretestError[E] with Product with Serializable
- case class NotValue [A, E](found: E, expected: A)(implicit location: Location) extends PuretestError[E] with Product with Serializable
- case class OtherError [E](found: E, expected: E)(implicit location: Location) extends PuretestError[E] with Product with Serializable
- class PureMatchers [P[_], A] extends AnyRef
-
sealed abstract
class
PuretestError
[E] extends AnyRef
Puretest errors
- trait PuretestErrorImplicits extends AnyRef
- case class ShouldNotHappen [E]()(implicit location: Location) extends PuretestError[E] with Product with Serializable
-
trait
StateTester
[P[_], S, E] extends AnyRef
Stateful testers
- trait StateValidatedMonad extends AnyRef
-
trait
Tester
[P[_], E] extends ~>[P, [β$0$]Either[E, β$0$]]
Testers
Value Members
- implicit def loc(implicit f: File, l: Line): (File, Line)
-
implicit
def
stateValidatedMonad[E, S](implicit arg0: Semigroup[E]): Monad[[α]IndexedStateT[Eval, S, S, Validated[E, α]]]
- Definition Classes
- StateValidatedMonad
- implicit def toBooleanOps[P[_]](p: P[Boolean]): BooleanOps[P]
- implicit def toPureMatchers[P[_], A](self: P[A])(implicit M: Monad[P], loc: Location): PureMatchers[P, A]
- object Filter
-
object
HandleError
- Definition Classes
- MonadErrorUtils
-
object
RaiseError
- Definition Classes
- MonadErrorUtils
- object PuretestError extends PuretestErrorImplicits
- object StateTester
- object Tester extends Serializable