• Home
• org.cvogt
• scala-extensions_2.10
• 0.4.1
• source code

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

la-extensions_2.10.0.4.1.source-code.constraint.scala Maven / Gradle / Ivy

package org.cvogt.scala.constraint
import scala.annotation.implicitNotFound

import boolean._

/**
type-level constraints for subtyping and type identity checks.
*/
object `package`{
  @implicitNotFound(msg = "Cannot prove ${Left} =:= ${Right}")
  type =:=[Left,Right] = scala.Predef.=:=[Left,Right]
  @implicitNotFound(msg = "Cannot prove ${Left} <:< ${Right}")
  type <:<[Left,Right] = scala.Predef.<:<[Left,Right]

  @implicitNotFound(msg = """Cannot prove ${Left} !<:< ${Right}""")
  type !<:<[Left,Right] = ![<:<[Left,Right]]
  @implicitNotFound(msg = """Cannot prove ${Left} !=:= ${Right}""")
  type !=:=[Left,Right] = ![=:=[Left,Right]]


  @implicitNotFound(msg = """Cannot prove ${Left} >:> ${Right}""")
  type  >:>[Right,Left] =  <:<[Left,Right]
  @implicitNotFound(msg = """Cannot prove ${Left} !>:> ${Right}""")
  type !>:>[Right,Left] = !<:<[Left,Right]
}
/*
/** Proves that Left is NOT a subtype of ${Right} */
@implicitNotFound(msg = "Cannot prove ${Left} !<:< ${Right}")
final class !<:<[Left, ${Right}]
object !<:<{
  implicit def prove[Left,Right](implicit ev: ![Left <:< ${Right}]) = new !<:<[Left,Right]
}

/** Proves that Left is NOT identical to ${Right} */
@implicitNotFound(msg = "Cannot prove ${Left} !=:= ${Right}")
final class !=:=[Left, ${Right}]
object !=:={
  implicit def prove[Left,Right](implicit ev: ![Left =:= ${Right}]) = new !=:=[Left,Right]
}
*/