Lit

Companion object Lit

final class Lit extends AnyVal

Source: Solving.scala

Linear Supertypes

AnyVal, Any

Ordering

Alphabetic
By Inheritance

Inherited

Lit
AnyVal
Any

Implicitly

by any2stringadd
by StringFormat
by Ensuring
by ArrowAssoc

Hide All
Show All

Visibility

Public
All

Instance Constructors

new Lit(v: Int)

Value Members

final def !=(arg0: Any): Boolean

Definition Classes
Any
final def ##(): Int

Definition Classes
Any
def +(other: String): String

Implicit
This member is added by an implicit conversion from Lit to any2stringadd[Lit] performed by method any2stringadd in scala.Predef.
Definition Classes
any2stringadd
def ->[B](y: B): (Lit, B)

Implicit
This member is added by an implicit conversion from Lit to ArrowAssoc[Lit] performed by method ArrowAssoc in scala.Predef.
Definition Classes
ArrowAssoc
Annotations
@inline()
final def ==(arg0: Any): Boolean

Definition Classes
Any
final def asInstanceOf[T0]: T0

Definition Classes
Any
def ensuring(cond: (Lit) ⇒ Boolean, msg: ⇒ Any): Lit

Implicit
This member is added by an implicit conversion from Lit to Ensuring[Lit] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
def ensuring(cond: (Lit) ⇒ Boolean): Lit

Implicit
This member is added by an implicit conversion from Lit to Ensuring[Lit] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
def ensuring(cond: Boolean, msg: ⇒ Any): Lit

Implicit
This member is added by an implicit conversion from Lit to Ensuring[Lit] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
def ensuring(cond: Boolean): Lit

Implicit
This member is added by an implicit conversion from Lit to Ensuring[Lit] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
def formatted(fmtstr: String): String

Implicit
This member is added by an implicit conversion from Lit to StringFormat[Lit] performed by method StringFormat in scala.Predef.
Definition Classes
StringFormat
Annotations
@inline()
def getClass(): Class[_ <: AnyVal]

Definition Classes
AnyVal → Any
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
def positive: Boolean
def toString(): String

Definition Classes
Lit → Any
def unary_-: Lit
val v: Int
def variable: Int
def →[B](y: B): (Lit, B)

Implicit
This member is added by an implicit conversion from Lit to ArrowAssoc[Lit] performed by method ArrowAssoc in scala.Predef.
Definition Classes
ArrowAssoc

Inherited from AnyVal

Value Members

def getClass(): Class[_ <: AnyVal]

Definition Classes
AnyVal → Any

Inherited from Any

Value Members

final def !=(arg0: Any): Boolean

Definition Classes
Any
final def ##(): Int

Definition Classes
Any
final def ==(arg0: Any): Boolean

Definition Classes
Any
final def asInstanceOf[T0]: T0

Definition Classes
Any
final def isInstanceOf[T0]: Boolean

Definition Classes
Any

Inherited by implicit conversion any2stringadd from Lit to any2stringadd[Lit]

Value Members

def +(other: String): String

Implicit
This member is added by an implicit conversion from Lit to any2stringadd[Lit] performed by method any2stringadd in scala.Predef.
Definition Classes
any2stringadd

Inherited by implicit conversion StringFormat from Lit to StringFormat[Lit]

Value Members

def formatted(fmtstr: String): String

Implicit
This member is added by an implicit conversion from Lit to StringFormat[Lit] performed by method StringFormat in scala.Predef.
Definition Classes
StringFormat
Annotations
@inline()

Inherited by implicit conversion Ensuring from Lit to Ensuring[Lit]

Value Members

def ensuring(cond: (Lit) ⇒ Boolean, msg: ⇒ Any): Lit

Implicit
This member is added by an implicit conversion from Lit to Ensuring[Lit] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
def ensuring(cond: (Lit) ⇒ Boolean): Lit

Implicit
This member is added by an implicit conversion from Lit to Ensuring[Lit] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
def ensuring(cond: Boolean, msg: ⇒ Any): Lit

Implicit
This member is added by an implicit conversion from Lit to Ensuring[Lit] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
def ensuring(cond: Boolean): Lit

Implicit
This member is added by an implicit conversion from Lit to Ensuring[Lit] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring

Inherited by implicit conversion ArrowAssoc from Lit to ArrowAssoc[Lit]

Value Members

def ->[B](y: B): (Lit, B)

Implicit
This member is added by an implicit conversion from Lit to ArrowAssoc[Lit] performed by method ArrowAssoc in scala.Predef.
Definition Classes
ArrowAssoc
Annotations
@inline()
def →[B](y: B): (Lit, B)

Implicit
This member is added by an implicit conversion from Lit to ArrowAssoc[Lit] performed by method ArrowAssoc in scala.Predef.
Definition Classes
ArrowAssoc

Ungrouped

final def !=(arg0: Any): Boolean

Definition Classes
Any
final def ##(): Int

Definition Classes
Any
def +(other: String): String

Implicit
This member is added by an implicit conversion from Lit to any2stringadd[Lit] performed by method any2stringadd in scala.Predef.
Definition Classes
any2stringadd
def ->[B](y: B): (Lit, B)

Implicit
This member is added by an implicit conversion from Lit to ArrowAssoc[Lit] performed by method ArrowAssoc in scala.Predef.
Definition Classes
ArrowAssoc
Annotations
@inline()
final def ==(arg0: Any): Boolean

Definition Classes
Any
final def asInstanceOf[T0]: T0

Definition Classes
Any
def ensuring(cond: (Lit) ⇒ Boolean, msg: ⇒ Any): Lit

Implicit
This member is added by an implicit conversion from Lit to Ensuring[Lit] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
def ensuring(cond: (Lit) ⇒ Boolean): Lit

Implicit
This member is added by an implicit conversion from Lit to Ensuring[Lit] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
def ensuring(cond: Boolean, msg: ⇒ Any): Lit

Implicit
This member is added by an implicit conversion from Lit to Ensuring[Lit] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
def ensuring(cond: Boolean): Lit

Implicit
This member is added by an implicit conversion from Lit to Ensuring[Lit] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
def formatted(fmtstr: String): String

Implicit
This member is added by an implicit conversion from Lit to StringFormat[Lit] performed by method StringFormat in scala.Predef.
Definition Classes
StringFormat
Annotations
@inline()
def getClass(): Class[_ <: AnyVal]

Definition Classes
AnyVal → Any
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
def positive: Boolean
def toString(): String

Definition Classes
Lit → Any
def unary_-: Lit
val v: Int
def variable: Int
def →[B](y: B): (Lit, B)

Implicit
This member is added by an implicit conversion from Lit to ArrowAssoc[Lit] performed by method ArrowAssoc in scala.Predef.
Definition Classes
ArrowAssoc

Packages

Lit 

Companion object Lit

final class Lit extends AnyVal

Instance Constructors

Value Members

Inherited from AnyVal

Value Members

Inherited from Any

Value Members

Inherited by implicit conversion any2stringadd from Lit to any2stringadd[Lit]

Value Members

Inherited by implicit conversion StringFormat from Lit to StringFormat[Lit]

Value Members

Inherited by implicit conversion Ensuring from Lit to Ensuring[Lit]

Value Members

Inherited by implicit conversion ArrowAssoc from Lit to ArrowAssoc[Lit]

Value Members

Ungrouped

Lit