RestrictedType

abstract def contains(b: BELLY): Boolean

abstract def create(b: BELLY): SHIELD

final def !=(arg0: AnyRef): Boolean

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: AnyRef): Boolean

final def ==(arg0: Any): Boolean

implicit object WidenConverter extends Converter[SEARCHME, SHIELD, BELLY]

final def apply(b: BELLY): SHIELD

final def apply[T](xb: T)(implicit converter: Converter[SEARCHME, T, BELLY]): SHIELD

final def asInstanceOf[T0]: T0

final def assert(b: BELLY): SHIELD

This method is very much like apply, but the "type-check" is an elidable assert.

final def assert[T](xb: T)(implicit converter: Converter[SEARCHME, T, BELLY]): SHIELD

This method is very much like apply, but the "type-check" is an elidable assert.

def badValueMessage(a: Any): String

def clone(): AnyRef

def contains[T](xb: T)(implicit converter: Converter[SEARCHME, T, BELLY]): Boolean

final def elem_!:[T](xb: T)(implicit converter: Converter[SEARCHME, T, BELLY]): Boolean

final def elem_!:(b: BELLY): Boolean

final def elem_:[T](xb: T)(implicit converter: Converter[SEARCHME, T, BELLY]): Boolean

final def elem_:(b: BELLY): Boolean

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

final def getClass(): Class[_]

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

def mathRep: String

You'll generally want to override this into some concise notation that describes your restricted type.

final def ne(arg0: AnyRef): Boolean

def notMemberMessage(a: Any): String

final def notify(): Unit

final def notifyAll(): Unit

def pretransform(b: BELLY): BELLY

val simpleName: String

You usually won't need to override this, but may if you want!

final def synchronized[T0](arg0: ⇒ T0): T0

def toString(): String

final def wait(): Unit

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit

final def ∈!:[T](xb: T)(implicit converter: Converter[SEARCHME, T, BELLY]): Boolean

final def ∈!:(b: BELLY): Boolean

final def ∈:[T](xb: T)(implicit converter: Converter[SEARCHME, T, BELLY]): Boolean

final def ∈:(b: BELLY): Boolean

final def ∉:[T](xb: T)(implicit converter: Converter[SEARCHME, T, BELLY]): Boolean

final def ∉:(b: BELLY): Boolean