case class Mixfix(markers: List[Marker]) extends Fixity with Product with Serializable
the default Fixity, which is directly a list of markers
- Source
- NotationExtension.scala
- Alphabetic
- By Inheritance
- Mixfix
- Serializable
- Serializable
- Product
- Equals
- Fixity
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
##(): Int
- Definition Classes
- AnyRef → Any
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- def addInitialImplicits(n: Int): Mixfix
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
asString: (String, String)
the string representation to use when serializing notations pair of "fixity type" and type-specific argument(s)
-
def
clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
def
isRelative: Boolean
true if this notation can be used for multiple constants without ambiguity because it contains placeholders
true if this notation can be used for multiple constants without ambiguity because it contains placeholders
- Definition Classes
- Fixity
-
val
markers: List[Marker]
the elaboration into markers
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
def
relativize: Option[Fixity]
wrap first delimiter in instance name
wrap first delimiter in instance name
- Definition Classes
- Fixity
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()