Type Members

1.  trait GeneralMacros extends AnyRef
2.  trait Op extends Serializable
3.  trait OpBoolean[O <: Op] extends OpCast[Boolean with Singleton, O]

   Annotations

   @implicitNotFound("Unable to prove type argument is a Boolean.")

4.  trait OpCast[T, O <: Op] extends AnyRef
5.  trait OpChar[O <: Op] extends OpCast[Char with Singleton, O]

   Annotations

   @implicitNotFound("Unable to prove type argument is a Char.")

6.  trait OpDouble[O <: Op] extends OpCast[Double with Singleton, O]

   Annotations

   @implicitNotFound("Unable to prove type argument is a Double.")

7.  trait OpFloat[O <: Op] extends OpCast[Float with Singleton, O]

   Annotations

   @implicitNotFound("Unable to prove type argument is a Float.")

8.  trait OpGen[O <: Op] extends AnyRef

   Attributes

   protected[singleton]

9.  sealed trait OpId extends AnyRef
10.  trait OpInt[O <: Op] extends OpCast[Int with Singleton, O]

    Annotations

    @implicitNotFound("Unable to prove type argument is an Int.")

11.  trait OpLong[O <: Op] extends OpCast[Long with Singleton, O]

    Annotations

    @implicitNotFound("Unable to prove type argument is a Long.")

12.  trait OpMacro[N, S1, S2, S3] extends Op

    ****************************************************************************************************** Three arguments type function macro *****************************************************************************************************

    ****************************************************************************************************** Three arguments type function macro *****************************************************************************************************

    Annotations

    @implicitNotFound("Literal operation has failed.")

13.  trait OpNat[O <: Op] extends OpCast[Nat, O]

    Annotations

    @implicitNotFound("Unable to prove type argument is a Nat.")

14.  trait OpString[O <: Op] extends OpCast[String with Singleton, O]

    Annotations

    @implicitNotFound("Unable to prove type argument is a String.")

15.  trait OpSymbol[O <: Op] extends OpCast[Symbol, O]

    Annotations

    @implicitNotFound("Unable to prove type argument is a Symbol.")

16.  sealed trait Warn extends AnyRef