Packages

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]
  2. type !=[P1, P2] = OpMacro[ops.impl.OpId.!=, P1, P2, NP]
  3. type %[P1, P2] = OpMacro[ops.impl.OpId.%, P1, P2, NP]
  4. type &&[P1, P2] = OpMacro[ops.impl.OpId.&&, P1, P2, NP]
  5. type *[P1, P2] = OpMacro[ops.impl.OpId.*, P1, P2, NP]
  6. type +[P1, P2] = OpMacro[ops.impl.OpId.+, P1, P2, NP]
  7. type -[P1, P2] = OpMacro[ops.impl.OpId.-, P1, P2, NP]
  8. type /[P1, P2] = OpMacro[ops.impl.OpId./, P1, P2, NP]
  9. type <[P1, P2] = OpMacro[ops.impl.OpId.<, P1, P2, NP]
  10. type <=[P1, P2] = OpMacro[ops.impl.OpId.<=, P1, P2, NP]
  11. type ==[P1, P2] = OpMacro[ops.impl.OpId.==, P1, P2, NP]
  12. type ==>[A, B] = OpMacro[ops.impl.OpId.==>, A, B, NP]
  13. type >[P1, P2] = OpMacro[ops.impl.OpId.>, P1, P2, NP]
  14. type >=[P1, P2] = OpMacro[ops.impl.OpId.>=, P1, P2, NP]
  15. type AcceptNonLiteral[P1] = OpMacro[ops.impl.OpId.AcceptNonLiteral, P1, NP, NP]
  16. type Arg[Num, T, TWide] = OpMacro[ops.impl.OpId.Arg, Num, T, TWide]
    Attributes
    protected[singleton]
  17. type CharAt[P1, P2] = OpMacro[ops.impl.OpId.CharAt, P1, P2, NP]
  18. type CompileTime[C] = OpMacro[ops.impl.OpId.Require, ITE[IsNonLiteral[C], Boolean(true), C], DefaultRequireMsg, NP]
  19. type False = Boolean(false)
    Attributes
    protected[singleton]
  20. type GetArg[ArgIdx] = OpMacro[ops.impl.OpId.GetArg, ArgIdx, NP, NP]
  21. type GetArg0 = OpMacro[ops.impl.OpId.GetArg, Int(0), NP, NP]
  22. type GetLHSArg[ArgIdx] = OpMacro[ops.impl.OpId.GetLHSArg, ArgIdx, NP, NP]
  23. type GetLHSArg0 = OpMacro[ops.impl.OpId.GetLHSArg, Int(0), NP, NP]
  24. type GetType[Sym] = OpMacro[ops.impl.OpId.GetType, Sym, NP, NP]
    Attributes
    protected[singleton]
  25. type ITE[Cond, TBody, EBody] = OpMacro[ops.impl.OpId.ITE, Cond, TBody, EBody]
  26. type Id[P1] = OpMacro[ops.impl.OpId.Id, P1, NP, NP]
  27. type IsBoolean[P1] = OpMacro[ops.impl.OpId.IsBoolean, P1, NP, NP]
  28. type IsChar[P1] = OpMacro[ops.impl.OpId.IsChar, P1, NP, NP]
  29. type IsDouble[P1] = OpMacro[ops.impl.OpId.IsDouble, P1, NP, NP]
  30. type IsFloat[P1] = OpMacro[ops.impl.OpId.IsFloat, P1, NP, NP]
  31. type IsInt[P1] = OpMacro[ops.impl.OpId.IsInt, P1, NP, NP]
  32. type IsLong[P1] = OpMacro[ops.impl.OpId.IsLong, P1, NP, NP]
  33. type IsNat[P1] = OpMacro[ops.impl.OpId.IsNat, P1, NP, NP]
  34. type IsNonLiteral[P1] = OpMacro[ops.impl.OpId.IsNonLiteral, P1, NP, NP]
  35. type IsString[P1] = OpMacro[ops.impl.OpId.IsString, P1, NP, NP]
  36. type IsSymbol[P1] = OpMacro[ops.impl.OpId.IsSymbol, P1, NP, NP]
  37. type Length[P1] = OpMacro[ops.impl.OpId.Length, P1, NP, NP]
  38. type Negate[P1] = OpMacro[ops.impl.OpId.Negate, P1, NP, NP]
  39. type NumberOfLeadingZeros[P1] = OpMacro[ops.impl.OpId.NumberOfLeadingZeros, P1, NP, NP]
  40. type OpAuxBoolean[O <: Op, Ret_Out <: XBoolean] = OpBoolean[O] { type Out = Ret_Out }
  41. type OpAuxChar[O <: Op, Ret_Out <: XChar] = OpChar[O] { type Out = Ret_Out }
  42. type OpAuxDouble[O <: Op, Ret_Out <: XDouble] = OpDouble[O] { type Out = Ret_Out }
  43. type OpAuxFloat[O <: Op, Ret_Out <: XFloat] = OpFloat[O] { type Out = Ret_Out }
  44. type OpAuxGen[O <: Op, Ret_Out] = OpGen[O] { type Out = Ret_Out }
  45. type OpAuxInt[O <: Op, Ret_Out <: XInt] = OpInt[O] { type Out = Ret_Out }
  46. type OpAuxLong[O <: Op, Ret_Out <: XLong] = OpLong[O] { type Out = Ret_Out }
  47. type OpAuxNat[O <: Op, Ret_Out <: Nat] = OpNat[O] { type Out = Ret_Out }
  48. type OpAuxString[O <: Op, Ret_Out <: XString] = OpString[O] { type Out = Ret_Out }
  49. type OpAuxSymbol[O <: Op, Ret_Out <: Symbol] = OpSymbol[O] { type Out = Ret_Out }
  50. type Require[Cond] = OpMacro[ops.impl.OpId.Require, Cond, DefaultRequireMsg, NP]
  51. type RequireMsg[Cond, Msg] = OpMacro[ops.impl.OpId.Require, Cond, Msg, NP]
  52. type RequireMsgSym[Cond, Msg, Sym] = OpMacro[ops.impl.OpId.Require, Cond, Msg, GetType[Sym]]
  53. type Reverse[P1] = OpMacro[ops.impl.OpId.Reverse, P1, NP, NP]
  54. type RunTime[R] = OpBoolean[==>[Require[IsBoolean[IsNonLiteral[R]]], IsNonLiteral[R]]]
  55. type SafeBoolean[P1] = OpBoolean[==>[Require[IsBoolean[P1]], P1]]
  56. type SafeChar[P1] = OpChar[==>[Require[IsChar[P1]], P1]]
  57. type SafeDouble[P1] = OpDouble[==>[Require[IsDouble[P1]], P1]]
  58. type SafeFloat[P1] = OpFloat[==>[Require[IsFloat[P1]], P1]]
  59. type SafeInt[P1] = OpInt[==>[Require[IsInt[P1]], P1]]
  60. type SafeLong[P1] = OpLong[==>[Require[IsLong[P1]], P1]]
  61. type SafeNat[P1] = OpNat[ToNat[==>[Require[IsNat[P1]], P1]]]
  62. type SafeString[P1] = OpString[==>[Require[IsString[P1]], P1]]
  63. type SafeSymbol[P1] = OpSymbol[ToSymbol[==>[Require[IsSymbol[P1]], P1]]]
  64. type SomethingBadHappened = String("Something bad happened")
    Attributes
    protected[singleton]
  65. type Substring[P1, P2] = OpMacro[ops.impl.OpId.Substring, P1, P2, NP]
  66. type ToChar[P1] = OpMacro[ops.impl.OpId.ToChar, P1, NP, NP]
  67. type ToDouble[P1] = OpMacro[ops.impl.OpId.ToDouble, P1, NP, NP]
  68. type ToFloat[P1] = OpMacro[ops.impl.OpId.ToFloat, P1, NP, NP]
  69. type ToInt[P1] = OpMacro[ops.impl.OpId.ToInt, P1, NP, NP]
  70. type ToLong[P1] = OpMacro[ops.impl.OpId.ToLong, P1, NP, NP]
  71. type ToNat[P1] = OpMacro[ops.impl.OpId.ToNat, P1, NP, NP]
  72. type ToString[P1] = OpMacro[ops.impl.OpId.ToString, P1, NP, NP]
  73. type ToSymbol[P1] = OpMacro[ops.impl.OpId.ToSymbol, P1, NP, NP]
  74. type True = Boolean(true)
    Attributes
    protected[singleton]
  75. type XBoolean = Boolean with Singleton
  76. type XChar = Char with Singleton
  77. type XDouble = Double with Singleton
  78. type XFloat = Float with Singleton
  79. type XInt = Int with Singleton
  80. type XLong = Long with Singleton
  81. type XString = String with Singleton
  82. type XSymbol = Symbol with Singleton
  83. type ||[P1, P2] = OpMacro[ops.impl.OpId.||, P1, P2, NP]

Value Members

  1. val False: Aux[Boolean(false)]
    Attributes
    protected[singleton]
  2. final val GetArg: ops.impl.GetArg.type
  3. final val GetLHSArg: ops.impl.GetLHSArg.type
  4. val SomethingBadHappened: Aux[String("Something bad happened")]
    Attributes
    protected[singleton]
  5. val True: Aux[Boolean(true)]
    Attributes
    protected[singleton]
  6. val W: Witness.type
  7. implicit def opContainer1[F, T, C[_]](cf: C[F])(implicit ct: C[T], check: Require[==[F, T]]): C[T]
  8. 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]
  9. 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]
  10. 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]
  11. 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
  12. 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]
  13. object math

Inherited from AnyRef

Inherited from Any

Ungrouped