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[S, I] = OpMacro[ops.impl.OpId.CharAt, S, I, NP]

    Permalink

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

    Permalink

  19. type EndsWith[S, Suffix] = OpMacro[ops.impl.OpId.EndsWith, S, Suffix, NP]

    Permalink

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

    Permalink

  21. type False = Boolean(false)

    Permalink
    Attributes
    protected[singleton]

  22. type FirstMatch[S, Regex] = OpMacro[ops.impl.OpId.FirstMatch, S, Regex, NP]

    Permalink

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

    Permalink

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

    Permalink

  25. type GetLHSArg[ArgIdx] = OpMacro[ops.impl.OpId.GetArg, ArgIdx, True, NP]

    Permalink

  26. type GetLHSArg0 = OpMacro[ops.impl.OpId.GetArg, Int(0), True, NP]

    Permalink

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

    Permalink
    Attributes
    protected[singleton]

  28. type Head[S] = OpMacro[ops.impl.OpId.Head, S, NP, NP]

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

  41. type Length[S] = OpMacro[ops.impl.OpId.Length, S, NP, NP]

    Permalink

  42. type Matches[S, Regex] = OpMacro[ops.impl.OpId.Matches, S, Regex, NP]

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

  54. type PrefixMatch[S, Regex] = OpMacro[ops.impl.OpId.PrefixMatch, S, Regex, NP]

    Permalink

  55. type ReplaceAllMatches[S, Regex, R] = OpMacro[ops.impl.OpId.ReplaceAllMatches, S, Regex, R]

    Permalink

  56. type ReplaceFirstMatch[S, Regex, R] = OpMacro[ops.impl.OpId.ReplaceFirstMatch, S, Regex, R]

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink
    Attributes
    protected[singleton]

  71. type StartsWith[S, Prefix] = OpMacro[ops.impl.OpId.StartsWith, S, Prefix, NP]

    Permalink

  72. type SubSequence[S, IBeg, IEnd] = OpMacro[ops.impl.OpId.SubSequence, S, IBeg, IEnd]

    Permalink

  73. type Substring[S, I] = OpMacro[ops.impl.OpId.Substring, S, I, NP]

    Permalink

  74. type Tail[S] = OpMacro[ops.impl.OpId.Tail, S, NP, NP]

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

  82. type True = Boolean(true)

    Permalink
    Attributes
    protected[singleton]

  83. type Warn = ops.impl.Warn

    Permalink

  84. type XBoolean = Boolean with Singleton

    Permalink

  85. type XChar = Char with Singleton

    Permalink

  86. type XDouble = Double with Singleton

    Permalink

  87. type XFloat = Float with Singleton

    Permalink

  88. type XInt = Int with Singleton

    Permalink

  89. type XLong = Long with Singleton

    Permalink

  90. type XString = String with Singleton

    Permalink

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

    Permalink

Value Members

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

    Permalink
    Attributes
    protected[singleton]

  2. object GetArg extends Serializable

    Permalink

  3. object GetArg0 extends Serializable

    Permalink

  4. object GetLHSArg extends Serializable

    Permalink

  5. object GetLHSArg0 extends Serializable

    Permalink

  6. object OpContainer

    Permalink

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

    Permalink
    Attributes
    protected[singleton]

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

    Permalink
    Attributes
    protected[singleton]

  9. val W: Witness.type

    Permalink

  10. package impl

    Permalink

  11. object math

    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