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[S, I] = OpMacro[ops.impl.OpId.CharAt, S, I, NP]
  18. type CompileTime[C] = OpMacro[ops.impl.OpId.Require, ITE[IsNonLiteral[C], Boolean(true), C], DefaultRequireMsg, NoSym]
  19. type EndsWith[S, Suffix] = OpMacro[ops.impl.OpId.EndsWith, S, Suffix, NP]
  20. type EnumCount[Sym] = OpMacro[ops.impl.OpId.EnumCount, GetType[Sym], NP, NP]
  21. type False = Boolean(false)
    Attributes
    protected[singleton]
  22. type FirstMatch[S, Regex] = OpMacro[ops.impl.OpId.FirstMatch, S, Regex, NP]
  23. type GetArg[ArgIdx] = OpMacro[ops.impl.OpId.GetArg, ArgIdx, False, NP]
  24. type GetArg0 = OpMacro[ops.impl.OpId.GetArg, Int(0), False, NP]
  25. type GetLHSArg[ArgIdx] = OpMacro[ops.impl.OpId.GetArg, ArgIdx, True, NP]
  26. type GetLHSArg0 = OpMacro[ops.impl.OpId.GetArg, Int(0), True, NP]
  27. type GetType[Sym] = OpMacro[ops.impl.OpId.GetType, Sym, NP, NP]
    Attributes
    protected[singleton]
  28. type Head[S] = OpMacro[ops.impl.OpId.Head, S, NP, NP]
  29. type ITE[Cond, TBody, EBody] = OpMacro[ops.impl.OpId.ITE, Cond, TBody, EBody]
  30. type Id[P1] = OpMacro[ops.impl.OpId.Id, P1, NP, NP]
  31. type ImplicitFound[Sym] = OpMacro[ops.impl.OpId.ImplicitFound, GetType[Sym], NP, NP]
  32. type IsBoolean[P1] = OpMacro[ops.impl.OpId.IsBoolean, P1, NP, NP]
  33. type IsChar[P1] = OpMacro[ops.impl.OpId.IsChar, P1, NP, NP]
  34. type IsDouble[P1] = OpMacro[ops.impl.OpId.IsDouble, P1, NP, NP]
  35. type IsFloat[P1] = OpMacro[ops.impl.OpId.IsFloat, P1, NP, NP]
  36. type IsInt[P1] = OpMacro[ops.impl.OpId.IsInt, P1, NP, NP]
  37. type IsLong[P1] = OpMacro[ops.impl.OpId.IsLong, P1, NP, NP]
  38. type IsNat[P1] = OpMacro[ops.impl.OpId.IsNat, P1, NP, NP]
  39. type IsNonLiteral[P1] = OpMacro[ops.impl.OpId.IsNonLiteral, P1, NP, NP]
  40. type IsString[P1] = OpMacro[ops.impl.OpId.IsString, P1, NP, NP]
  41. type Length[S] = OpMacro[ops.impl.OpId.Length, S, NP, NP]
  42. type Matches[S, Regex] = OpMacro[ops.impl.OpId.Matches, S, Regex, NP]
  43. type Negate[P1] = OpMacro[ops.impl.OpId.Negate, P1, NP, NP]
  44. type NumberOfLeadingZeros[P1] = OpMacro[ops.impl.OpId.NumberOfLeadingZeros, P1, NP, NP]
  45. type OpAuxBoolean[O <: Op, Ret_Out <: XBoolean] = OpBoolean[O] { type Out = Ret_Out }
  46. type OpAuxChar[O <: Op, Ret_Out <: XChar] = OpChar[O] { type Out = Ret_Out }
  47. type OpAuxDouble[O <: Op, Ret_Out <: XDouble] = OpDouble[O] { type Out = Ret_Out }
  48. type OpAuxFloat[O <: Op, Ret_Out <: XFloat] = OpFloat[O] { type Out = Ret_Out }
  49. type OpAuxGen[O <: Op, Ret_Out] = OpGen[O] { type Out = Ret_Out }
  50. type OpAuxInt[O <: Op, Ret_Out <: XInt] = OpInt[O] { type Out = Ret_Out }
  51. type OpAuxLong[O <: Op, Ret_Out <: XLong] = OpLong[O] { type Out = Ret_Out }
  52. type OpAuxNat[O <: Op, Ret_Out <: Nat] = OpNat[O] { type Out = Ret_Out }
  53. type OpAuxString[O <: Op, Ret_Out <: XString] = OpString[O] { type Out = Ret_Out }
  54. type PrefixMatch[S, Regex] = OpMacro[ops.impl.OpId.PrefixMatch, S, Regex, NP]
  55. type ReplaceAllMatches[S, Regex, R] = OpMacro[ops.impl.OpId.ReplaceAllMatches, S, Regex, R]
  56. type ReplaceFirstMatch[S, Regex, R] = OpMacro[ops.impl.OpId.ReplaceFirstMatch, S, Regex, R]
  57. type Require[Cond] = OpMacro[ops.impl.OpId.Require, Cond, DefaultRequireMsg, NoSym]
  58. type RequireMsg[Cond, Msg] = OpMacro[ops.impl.OpId.Require, Cond, Msg, NoSym]
  59. type RequireMsgSym[Cond, Msg, Sym] = OpMacro[ops.impl.OpId.Require, Cond, Msg, GetType[Sym]]
  60. type Reverse[P1] = OpMacro[ops.impl.OpId.Reverse, P1, NP, NP]
  61. type RunTime[R] = OpBoolean[==>[Require[IsBoolean[IsNonLiteral[R]]], IsNonLiteral[R]]]
  62. type SafeBoolean[P1] = OpBoolean[==>[Require[IsBoolean[P1]], P1]]
  63. type SafeChar[P1] = OpChar[==>[Require[IsChar[P1]], P1]]
  64. type SafeDouble[P1] = OpDouble[==>[Require[IsDouble[P1]], P1]]
  65. type SafeFloat[P1] = OpFloat[==>[Require[IsFloat[P1]], P1]]
  66. type SafeInt[P1] = OpInt[==>[Require[IsInt[P1]], P1]]
  67. type SafeLong[P1] = OpLong[==>[Require[IsLong[P1]], P1]]
  68. type SafeNat[P1] = OpNat[ToNat[==>[Require[IsNat[P1]], P1]]]
  69. type SafeString[P1] = OpString[==>[Require[IsString[P1]], P1]]
  70. type SomethingBadHappened = String("Something bad happened")
    Attributes
    protected[singleton]
  71. type StartsWith[S, Prefix] = OpMacro[ops.impl.OpId.StartsWith, S, Prefix, NP]
  72. type SubSequence[S, IBeg, IEnd] = OpMacro[ops.impl.OpId.SubSequence, S, IBeg, IEnd]
  73. type Substring[S, I] = OpMacro[ops.impl.OpId.Substring, S, I, NP]
  74. type Tail[S] = OpMacro[ops.impl.OpId.Tail, S, NP, NP]
  75. type ToChar[P1] = OpMacro[ops.impl.OpId.ToChar, P1, NP, NP]
  76. type ToDouble[P1] = OpMacro[ops.impl.OpId.ToDouble, P1, NP, NP]
  77. type ToFloat[P1] = OpMacro[ops.impl.OpId.ToFloat, P1, NP, NP]
  78. type ToInt[P1] = OpMacro[ops.impl.OpId.ToInt, P1, NP, NP]
  79. type ToLong[P1] = OpMacro[ops.impl.OpId.ToLong, P1, NP, NP]
  80. type ToNat[P1] = OpMacro[ops.impl.OpId.ToNat, P1, NP, NP]
  81. type ToString[P1] = OpMacro[ops.impl.OpId.ToString, P1, NP, NP]
  82. type True = Boolean(true)
    Attributes
    protected[singleton]
  83. type Warn = ops.impl.Warn
  84. type XBoolean = Boolean with Singleton
  85. type XChar = Char with Singleton
  86. type XDouble = Double with Singleton
  87. type XFloat = Float with Singleton
  88. type XInt = Int with Singleton
  89. type XLong = Long with Singleton
  90. type XString = String with Singleton
  91. type ||[P1, P2] = OpMacro[ops.impl.OpId.||, P1, P2, NP]

Value Members

  1. val False: Aux[Boolean(false)]
    Attributes
    protected[singleton]
  2. val SomethingBadHappened: Aux[String("Something bad happened")]
    Attributes
    protected[singleton]
  3. val True: Aux[Boolean(true)]
    Attributes
    protected[singleton]
  4. val W: Witness.type
  5. 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]
  6. 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
  7. 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]
  8. object GetArg
  9. object GetArg0
  10. object GetLHSArg
  11. object GetLHSArg0
  12. object OpContainer
  13. object math

Inherited from AnyRef

Inherited from Any

Ungrouped