Package

singleton

ops

Permalink

package ops

Source
package.scala
Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. ops
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. type ![P1] = OpMacro[ops.impl.OpId.!, P1, NP, NP]

    Permalink

  2. type !=[P1, P2] = OpMacro[ops.impl.OpId.!=, P1, P2, NP]

    Permalink

  3. type %[P1, P2] = OpMacro[ops.impl.OpId.%, P1, P2, NP]

    Permalink

  4. type &&[P1, P2] = OpMacro[ops.impl.OpId.&&, P1, P2, NP]

    Permalink

  5. type *[P1, P2] = OpMacro[ops.impl.OpId.*, P1, P2, NP]

    Permalink

  6. type +[P1, P2] = OpMacro[ops.impl.OpId.+, P1, P2, NP]

    Permalink

  7. type -[P1, P2] = OpMacro[ops.impl.OpId.-, P1, P2, NP]

    Permalink

  8. type /[P1, P2] = OpMacro[ops.impl.OpId./, P1, P2, NP]

    Permalink

  9. type <[P1, P2] = OpMacro[ops.impl.OpId.<, P1, P2, NP]

    Permalink

  10. type <=[P1, P2] = OpMacro[ops.impl.OpId.<=, P1, P2, NP]

    Permalink

  11. type ==[P1, P2] = OpMacro[ops.impl.OpId.==, P1, P2, NP]

    Permalink

  12. type ==>[A, B] = OpMacro[ops.impl.OpId.==>, A, B, NP]

    Permalink

  13. type >[P1, P2] = OpMacro[ops.impl.OpId.>, P1, P2, NP]

    Permalink

  14. type >=[P1, P2] = OpMacro[ops.impl.OpId.>=, P1, P2, NP]

    Permalink

  15. type AcceptNonLiteral[P1] = OpMacro[ops.impl.OpId.AcceptNonLiteral, P1, NP, NP]

    Permalink

  16. type Arg[Num, T, TWide] = OpMacro[ops.impl.OpId.Arg, Num, T, TWide]

    Permalink
    Attributes
    protected[singleton]

  17. type CharAt[P1, P2] = OpMacro[ops.impl.OpId.CharAt, P1, P2, NP]

    Permalink

  18. type CompileTime[C] = OpMacro[ops.impl.OpId.Require, ITE[IsNonLiteral[C], Boolean(true), C], DefaultRequireMsg, NP]

    Permalink

  19. type False = Boolean(false)

    Permalink
    Attributes
    protected[singleton]

  20. type GetArg[ArgIdx] = OpMacro[ops.impl.OpId.GetArg, ArgIdx, NP, NP]

    Permalink

  21. type GetArg0 = OpMacro[ops.impl.OpId.GetArg, Int(0), NP, NP]

    Permalink

  22. type GetLHSArg[ArgIdx] = OpMacro[ops.impl.OpId.GetLHSArg, ArgIdx, NP, NP]

    Permalink

  23. type GetLHSArg0 = OpMacro[ops.impl.OpId.GetLHSArg, Int(0), NP, NP]

    Permalink

  24. type GetType[Sym] = OpMacro[ops.impl.OpId.GetType, Sym, NP, NP]

    Permalink
    Attributes
    protected[singleton]

  25. type ITE[Cond, TBody, EBody] = OpMacro[ops.impl.OpId.ITE, Cond, TBody, EBody]

    Permalink

  26. type Id[P1] = OpMacro[ops.impl.OpId.Id, P1, NP, NP]

    Permalink

  27. type IsBoolean[P1] = OpMacro[ops.impl.OpId.IsBoolean, P1, NP, NP]

    Permalink

  28. type IsChar[P1] = OpMacro[ops.impl.OpId.IsChar, P1, NP, NP]

    Permalink

  29. type IsDouble[P1] = OpMacro[ops.impl.OpId.IsDouble, P1, NP, NP]

    Permalink

  30. type IsFloat[P1] = OpMacro[ops.impl.OpId.IsFloat, P1, NP, NP]

    Permalink

  31. type IsInt[P1] = OpMacro[ops.impl.OpId.IsInt, P1, NP, NP]

    Permalink

  32. type IsLong[P1] = OpMacro[ops.impl.OpId.IsLong, P1, NP, NP]

    Permalink

  33. type IsNat[P1] = OpMacro[ops.impl.OpId.IsNat, P1, NP, NP]

    Permalink

  34. type IsNonLiteral[P1] = OpMacro[ops.impl.OpId.IsNonLiteral, P1, NP, NP]

    Permalink

  35. type IsString[P1] = OpMacro[ops.impl.OpId.IsString, P1, NP, NP]

    Permalink

  36. type IsSymbol[P1] = OpMacro[ops.impl.OpId.IsSymbol, P1, NP, NP]

    Permalink

  37. type Length[P1] = OpMacro[ops.impl.OpId.Length, P1, NP, NP]

    Permalink

  38. type Negate[P1] = OpMacro[ops.impl.OpId.Negate, P1, NP, NP]

    Permalink

  39. type NumberOfLeadingZeros[P1] = OpMacro[ops.impl.OpId.NumberOfLeadingZeros, P1, NP, NP]

    Permalink

  40. type OpAuxBoolean[O <: Op, Ret_Out <: XBoolean] = OpBoolean[O] { type Out = Ret_Out }

    Permalink

  41. type OpAuxChar[O <: Op, Ret_Out <: XChar] = OpChar[O] { type Out = Ret_Out }

    Permalink

  42. type OpAuxDouble[O <: Op, Ret_Out <: XDouble] = OpDouble[O] { type Out = Ret_Out }

    Permalink

  43. type OpAuxFloat[O <: Op, Ret_Out <: XFloat] = OpFloat[O] { type Out = Ret_Out }

    Permalink

  44. type OpAuxGen[O <: Op, Ret_Out] = OpGen[O] { type Out = Ret_Out }

    Permalink

  45. type OpAuxInt[O <: Op, Ret_Out <: XInt] = OpInt[O] { type Out = Ret_Out }

    Permalink

  46. type OpAuxLong[O <: Op, Ret_Out <: XLong] = OpLong[O] { type Out = Ret_Out }

    Permalink

  47. type OpAuxNat[O <: Op, Ret_Out <: Nat] = OpNat[O] { type Out = Ret_Out }

    Permalink

  48. type OpAuxString[O <: Op, Ret_Out <: XString] = OpString[O] { type Out = Ret_Out }

    Permalink

  49. type OpAuxSymbol[O <: Op, Ret_Out <: Symbol] = OpSymbol[O] { type Out = Ret_Out }

    Permalink

  50. type Require[Cond] = OpMacro[ops.impl.OpId.Require, Cond, DefaultRequireMsg, NP]

    Permalink

  51. type RequireMsg[Cond, Msg] = OpMacro[ops.impl.OpId.Require, Cond, Msg, NP]

    Permalink

  52. type RequireMsgSym[Cond, Msg, Sym] = OpMacro[ops.impl.OpId.Require, Cond, Msg, GetType[Sym]]

    Permalink

  53. type Reverse[P1] = OpMacro[ops.impl.OpId.Reverse, P1, NP, NP]

    Permalink

  54. type RunTime[R] = OpBoolean[==>[Require[IsBoolean[IsNonLiteral[R]]], IsNonLiteral[R]]]

    Permalink

  55. type SafeBoolean[P1] = OpBoolean[==>[Require[IsBoolean[P1]], P1]]

    Permalink

  56. type SafeChar[P1] = OpChar[==>[Require[IsChar[P1]], P1]]

    Permalink

  57. type SafeDouble[P1] = OpDouble[==>[Require[IsDouble[P1]], P1]]

    Permalink

  58. type SafeFloat[P1] = OpFloat[==>[Require[IsFloat[P1]], P1]]

    Permalink

  59. type SafeInt[P1] = OpInt[==>[Require[IsInt[P1]], P1]]

    Permalink

  60. type SafeLong[P1] = OpLong[==>[Require[IsLong[P1]], P1]]

    Permalink

  61. type SafeNat[P1] = OpNat[ToNat[==>[Require[IsNat[P1]], P1]]]

    Permalink

  62. type SafeString[P1] = OpString[==>[Require[IsString[P1]], P1]]

    Permalink

  63. type SafeSymbol[P1] = OpSymbol[ToSymbol[==>[Require[IsSymbol[P1]], P1]]]

    Permalink

  64. type SomethingBadHappened = String("Something bad happened")

    Permalink
    Attributes
    protected[singleton]

  65. type Substring[P1, P2] = OpMacro[ops.impl.OpId.Substring, P1, P2, NP]

    Permalink

  66. type ToChar[P1] = OpMacro[ops.impl.OpId.ToChar, P1, NP, NP]

    Permalink

  67. type ToDouble[P1] = OpMacro[ops.impl.OpId.ToDouble, P1, NP, NP]

    Permalink

  68. type ToFloat[P1] = OpMacro[ops.impl.OpId.ToFloat, P1, NP, NP]

    Permalink

  69. type ToInt[P1] = OpMacro[ops.impl.OpId.ToInt, P1, NP, NP]

    Permalink

  70. type ToLong[P1] = OpMacro[ops.impl.OpId.ToLong, P1, NP, NP]

    Permalink

  71. type ToNat[P1] = OpMacro[ops.impl.OpId.ToNat, P1, NP, NP]

    Permalink

  72. type ToString[P1] = OpMacro[ops.impl.OpId.ToString, P1, NP, NP]

    Permalink

  73. type ToSymbol[P1] = OpMacro[ops.impl.OpId.ToSymbol, P1, NP, NP]

    Permalink

  74. type True = Boolean(true)

    Permalink
    Attributes
    protected[singleton]

  75. type XBoolean = Boolean with Singleton

    Permalink

  76. type XChar = Char with Singleton

    Permalink

  77. type XDouble = Double with Singleton

    Permalink

  78. type XFloat = Float with Singleton

    Permalink

  79. type XInt = Int with Singleton

    Permalink

  80. type XLong = Long with Singleton

    Permalink

  81. type XString = String with Singleton

    Permalink

  82. type XSymbol = Symbol with Singleton

    Permalink

  83. type ||[P1, P2] = OpMacro[ops.impl.OpId.||, P1, P2, NP]

    Permalink

Value Members

  1. val False: Aux[Boolean(false)]

    Permalink
    Attributes
    protected[singleton]

  2. final val GetArg: ops.impl.GetArg.type

    Permalink

  3. final val GetLHSArg: ops.impl.GetLHSArg.type

    Permalink

  4. val SomethingBadHappened: Aux[String("Something bad happened")]

    Permalink
    Attributes
    protected[singleton]

  5. val True: Aux[Boolean(true)]

    Permalink
    Attributes
    protected[singleton]

  6. val W: Witness.type

    Permalink

  7. package impl

    Permalink

  8. object math

    Permalink

  9. implicit def opContainer1[F, T, C[_]](cf: C[F])(implicit ct: C[T], check: Require[==[F, T]]): C[T]

    Permalink

  10. implicit def opContainer2[F1, F2, T1, T2, C[_, _]](cf: C[F1, F2])(implicit ct: C[T1, T2], check: Require[&&[==[F1, T1], ==[F2, T2]]]): C[T1, T2]

    Permalink

  11. implicit def opContainer3[F1, F2, F3, T1, T2, T3, C[_, _, _]](cf: C[F1, F2, F3])(implicit ct: C[T1, T2, T3], check: Require[&&[&&[==[F1, T1], ==[F2, T2]], ==[F3, T3]]]): C[T1, T2, T3]

    Permalink

  12. implicit def opToOp[NA, SA1, SA2, SA3, NB, SB1, SB2, SB3, OP_OUTA, OP_OUTB](opA: OpMacro[NA, SA1, SA2, SA3])(implicit opauxA: OpAuxGen[OpMacro[NA, SA1, SA2, SA3], OP_OUTA], opauxB: OpAuxGen[OpMacro[NB, SB1, SB2, SB3], OP_OUTB], opB: OpMacro[NB, SB1, SB2, SB3], check: Require[==[OP_OUTA, OP_OUTB]]): OpMacro[NB, SB1, SB2, SB3]

    Permalink

  13. implicit def opToSingleton[N, S1, S2, S3, OP_OUT](op: OpMacro[N, S1, S2, S3])(implicit opaux: OpAuxGen[OpMacro[N, S1, S2, S3], OP_OUT], id: Id[OP_OUT]): OP_OUT

    Permalink

  14. implicit def singletonToOp[X <: Singleton, N, S1, S2, S3, OP_OUT](x: X)(implicit op: OpMacro[N, S1, S2, S3], opaux: OpAuxGen[OpMacro[N, S1, S2, S3], OP_OUT], check: Require[==[X, OP_OUT]]): OpMacro[N, S1, S2, S3]

    Permalink

Inherited from AnyRef

Inherited from Any

Ungrouped