Alefas

class A[T]
class C[T]
object Apply {
  trait ApplyMagnet {
    type R
    def apply(): R
  }
  
  object ApplyMagnet {
    implicit def aMagnet[T](a: A[T]): ApplyMagnet {type R = String} = new ApplyMagnet {

Alefas

package abstr.interpretation

import scala.annotation.tailrec
import scala.util.parsing.combinator.RegexParsers

sealed trait ParityDomain {
  def join(p: ParityDomain): ParityDomain = ParityDomain.join(this, p)
}
case object Bottom extends ParityDomain
case object Top extends ParityDomain

Alefas

package abstr.interpretation

import scala.annotation.tailrec
import scala.util.parsing.combinator.RegexParsers

/**
 * @author Alefas
 * @since 03/02/15.
 */
object ThreeCounterInterpreter {