• Home
• org.spire-math
• claimant_2.13.0-M5
• 0.0.4
• source code
• Tinker.scala

×

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.

claimant.Tinker.scala Maven / Gradle / Ivy

package claimant

import scala.reflect.macros.blackbox.Context

/**
 * Tinker represents a set of strategies for deconstructing Boolean
 * expressions into Claims (the `deconstruct` method).
 *
 * The deconstruct method should return None in cases where the
 * expression shape is not recognized. It is given a reference to the
 * System because deconstruction is often recursive -- for example,
 * deconstructing (x && y) may involve deconstructing x and
 * deconstructing y independently.
 *
 * Only c.Expr[Boolean] expressions can be deconstructed. A different
 * process (annotation) is used to create labels -- see Scribe for
 * more information.
 */
trait Tinker {
  def deconstruct(c: Context)(e0: c.Expr[Boolean], sys: System): Option[c.Expr[Claim]]
}