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, NoSym]

    Permalink

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

    Permalink

  20. type False = Boolean(false)

    Permalink
    Attributes
    protected[singleton]

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink
    Attributes
    protected[singleton]

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

  52. type Require[Cond] = OpMacro[ops.impl.OpId.Require, Cond, DefaultRequireMsg, NoSym]

    Permalink

  53. type RequireMsg[Cond, Msg] = OpMacro[ops.impl.OpId.Require, Cond, Msg, NoSym]

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink
    Attributes
    protected[singleton]

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

  76. type True = Boolean(true)

    Permalink
    Attributes
    protected[singleton]

  77. type Warn = ops.impl.Warn

    Permalink

  78. type XBoolean = Boolean with Singleton

    Permalink

  79. type XChar = Char with Singleton

    Permalink

  80. type XDouble = Double with Singleton

    Permalink

  81. type XFloat = Float with Singleton

    Permalink

  82. type XInt = Int with Singleton

    Permalink

  83. type XLong = Long with Singleton

    Permalink

  84. type XString = String with Singleton

    Permalink

  85. type XSymbol = Symbol with Singleton

    Permalink

  86. 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