All Downloads are FREE. Search and download functionalities are using the official Maven repository.

org.specs2.specification.Outside.scala Maven / Gradle / Ivy

There is a newer version: 3.7
Show newest version
package org.specs2
package specification

import execute._
import scalaz.{Monad, Applicative, Bind, Functor}

/**
 * The Outside trait can be inherited by classes which will
 * execute some code inside the outside method provided by the context.
 * 
 * This can be used for example to execute some code inside a webapp session, using the session object to
 * create expectations
 * 
 * @see Example to understand why the type T must : AsResult
 */
trait Outside[+T] { outer =>
  def outside: T
  def apply[R : AsResult](a: T => R) = AsResult(applyOutside(a))
  def applyOutside[R : AsResult](a: T => R) = a(outside)
}

/**
 * The AroundOutside trait can be inherited by classes which will execute some code inside a given context, with a
 * function using that context and actions before and after if necessary.
 *
 * @see Example to understand why the type T must : AsResult
 */
trait AroundOutside[+T] extends Around with Outside[T] { outer =>
  /** something can be done before and after the whole execution */
  def around[R : AsResult](a: =>R): Result

  override def apply[R : AsResult](a: T => R) = {
    val outsideParent: Outside[T] = this
    around(outsideParent.applyOutside(a))
  }
}

/**
 * A Fixture can be implicitly passed to a set of examples taking a function as an input.
 *
 * It can effectively act as an Outside and an Around context
 */
trait Fixture[T] {
  def apply[R : AsResult](f: T => R): Result
}

object Fixture {
  implicit def fixtureHasMonad: Monad[Fixture] = new Monad[Fixture] {
    def point[A](a: =>A) = new Fixture[A] {
      def apply[R : AsResult](f: A => R): Result = AsResult(f(a))
    }
    def bind[A, B](fixture: Fixture[A])(fa: A => Fixture[B]): Fixture[B] = new Fixture[B] {
      def apply[R : AsResult](fb: B => R): Result = fixture((a: A) => fa(a)(fb))
    }
  }
}






© 2015 - 2024 Weber Informatics LLC | Privacy Policy