Variant bindings for Option, Either and Maybe.
Attributes
- Companion
- class
- Source
- Binding.scala
- Graph
-
- Supertypes
- Self type
-
Variant.type
Members list
Type members
Inherited and Abstract types
The names of the product elements.
The name of the type.
Value members
Concrete methods
The binding of Either[A, B]: Left is case 0 and Right is case 1.
The binding of Either[A, B]: Left is case 0 and Right is case 1.
Type parameters
- A
-
the left value type
- B
-
the right value type
Attributes
- Source
- Binding.scala
The binding of a Maybe, used by Reflect.maybe: an absent value is case 0 and a present one is case 1. For an absent value the case 0 matcher returns a private non-null marker object, since null would mean no match; for a present value the case 1 matcher returns the value inside the Maybe. Each returns null otherwise.
The binding of a Maybe, used by Reflect.maybe: an absent value is case 0 and a present one is case 1. For an absent value the case 0 matcher returns a private non-null marker object, since null would mean no match; for a present value the case 1 matcher returns the value inside the Maybe. Each returns null otherwise.
Attributes
- Source
- Binding.scala
The binding of Option[A]: None is case 0 and Some is case 1.