etorreborre/specs2

Hi Christian, here is a reduced example which might help:

package org.specs2
package specification

import execute._

class EachContextSpec extends Specification with TransactionContext { def is = s2"""

  A Foreach context can be used directly in a specification $e1
  A Foreach context can reuse another one for its definition $e2

"""

  lazy val databaseContext = new DatabaseContext {}

  def e1 = databaseContext.foreach { t: Database =>
    success
  }

  def e2 = { t: Transaction =>
    success
  }

}

case class Database() {
  def newTransaction: Transaction = Transaction()
}
case class Transaction()

trait DatabaseContext extends ForEach[Database] {
  def foreach[R: AsResult](f: Database => R): Result = {
    val database = openDatabase
    try AsResult(f(database))
    finally closeDatabase(database)
  }

  def openDatabase: Database = Database()
  def closeDatabase(db: Database) = ()
}

trait TransactionContext extends ForEach[Transaction] {
  private lazy val databaseContext = new DatabaseContext {}

  def foreach[R: AsResult](f: Transaction => R): Result =
    databaseContext.foreach(db => f(db.newTransaction))
}

If the ForEach definitions can be instantiated as stand-alone objects, they can be used explicitely in a spec or to define other ForEach contexts.