ENone

ostrat.ENone
case object ENone extends Bad[Nothing]

An EMon corresponding to a None

Attributes

Graph
Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
class Bad[Nothing]
trait EMon[Nothing]
class Object
trait Matchable
class Any
Show all
Self type
ENone.type

Members list

Type members

Inherited types

type MirroredElemLabels = EmptyTuple

The names of the product elements

The names of the product elements

Attributes

Inherited from:
Singleton
type MirroredElemTypes = EmptyTuple

Attributes

Inherited from:
Singleton

The name of the type

The name of the type

Attributes

Inherited from:
Mirror
type MirroredMonoType = Singleton.this.type

The mirrored *-type

The mirrored *-type

Attributes

Inherited from:
Singleton
type MirroredType = Singleton.this.type

Attributes

Inherited from:
Singleton

Value members

Inherited methods

override def badMap(f: (Bad[Nothing]) => Bad[Nothing]): EMon[Nothing]

Attributes

Definition Classes
Bad -> EMon
Inherited from:
Bad
override def biMap[L2, R2](fLeft: StrArr => L2, fRight: Nothing => R2): Either[L2, R2]

These are implemented in the base traits GoodBase[+A] and BadBase[+A] as Either[+A, +B] boxes all value classes.

These are implemented in the base traits GoodBase[+A] and BadBase[+A] as Either[+A, +B] boxes all value classes.

Attributes

Definition Classes
Bad -> EMon
Inherited from:
Bad
override def flatMap[B](f: Nothing => EMon[B]): EMon[B]

Attributes

Definition Classes
Bad -> EMon
Inherited from:
Bad
override def flatMap2ToOption[A2, B](e2: EMon[A2], f: (Nothing, A2) => B): Option[B]

Attributes

Definition Classes
Bad -> EMon
Inherited from:
Bad
override def flatMapToEither[D](f: Nothing => Either[StrArr, D]): Either[StrArr, D]

These are implemented in the base traits GoodBase[+A] and BadBase[+A] as Either[+A, +B] boxes all value classes.

These are implemented in the base traits GoodBase[+A] and BadBase[+A] as Either[+A, +B] boxes all value classes.

Attributes

Definition Classes
Bad -> EMon
Inherited from:
Bad
override def fld[B](noneValue: => B, fGood: Nothing => B): B

Attributes

Definition Classes
Bad -> EMon
Inherited from:
Bad
override def fold[B](noneValue: => B)(fGood: Nothing => B): B

Attributes

Definition Classes
Bad -> EMon
Inherited from:
Bad
override def foldErrs[B](fGood: Nothing => B)(fBad: StrArr => B): B

Fold the EMon of type A into a type of B.

Fold the EMon of type A into a type of B.

Attributes

Definition Classes
Bad -> EMon
Inherited from:
Bad
override def forGood(f: Nothing => Unit): Unit

Will perform action if Good. Does nothing if Bad.

Will perform action if Good. Does nothing if Bad.

Attributes

Definition Classes
Bad -> EMon
Inherited from:
Bad
override def forGoodForBad(fGood: Nothing => Unit)(fBad: StrArr => Unit): Unit

This is just a Unit returning fold, but is preferred because the method is explicit that it is called for effects, rather than to return a value. This method is implemented in the leaf Good classes to avoid boxing.

This is just a Unit returning fold, but is preferred because the method is explicit that it is called for effects, rather than to return a value. This method is implemented in the leaf Good classes to avoid boxing.

Attributes

Definition Classes
Bad -> EMon
Inherited from:
Bad
def fromProduct(p: Product): MirroredMonoType

Create a new instance of type T with elements taken from product p.

Create a new instance of type T with elements taken from product p.

Attributes

Inherited from:
Singleton
override def get: Nothing

Gets the value of Good, throws exception on Bad.

Gets the value of Good, throws exception on Bad.

Attributes

Definition Classes
Bad -> EMon
Inherited from:
Bad
override def getElse(elseValue: Nothing): Nothing

Gets the value of Good or returns the elseValue parameter if Bad. Both Good and Bad should be implemented in the leaf classes to avoid unnecessary boxing of primitive values.

Gets the value of Good or returns the elseValue parameter if Bad. Both Good and Bad should be implemented in the leaf classes to avoid unnecessary boxing of primitive values.

Attributes

Definition Classes
Bad -> EMon
Inherited from:
Bad
override def goodOrOther[A1](otherEMon: => EMon[A1]): EMon[A1]

Attributes

Definition Classes
Bad -> EMon
Inherited from:
Bad
override def isBad: Boolean

Attributes

Definition Classes
Bad -> EMon
Inherited from:
Bad
override def isGood: Boolean

Attributes

Definition Classes
Bad -> EMon
Inherited from:
Bad
override def map[B](f: Nothing => B): EMon[B]

Maps the Good case of this EMon with the function.

Maps the Good case of this EMon with the function.

Attributes

Definition Classes
Bad -> EMon
Inherited from:
Bad
override def map2[A2, R](e2: EMon[A2])(f: (Nothing, A2) => R): EMon[R]

2 type parameters, maps the Good case of this EMon, with the Good case of an additional EMon of a different type.

2 type parameters, maps the Good case of this EMon, with the Good case of an additional EMon of a different type.

Attributes

Definition Classes
Bad -> EMon
Inherited from:
Bad
override def map3[A2, A3, R](e2: EMon[A2], e3: EMon[A3])(f: (Nothing, A2, A3) => R): EMon[R]

3 type parameters, maps the Good case of this EMon, with the Good cases of an additional 3 EMons of a different types.

3 type parameters, maps the Good case of this EMon, with the Good cases of an additional 3 EMons of a different types.

Attributes

Definition Classes
Bad -> EMon
Inherited from:
Bad
override def map4[A2, A3, A4, R](e2: EMon[A2], e3: EMon[A3], e4: EMon[A4])(f: (Nothing, A2, A3, A4) => R): EMon[R]

4 type parameters, maps the Good case of this EMon, with the Good cases of an additional 3 EMons of a different types.

4 type parameters, maps the Good case of this EMon, with the Good cases of an additional 3 EMons of a different types.

Attributes

Definition Classes
Bad -> EMon
Inherited from:
Bad
override def map5[A2, A3, A4, A5, R](e2: EMon[A2], e3: EMon[A3], e4: EMon[A4], e5: EMon[A5])(f: (Nothing, A2, A3, A4, A5) => R): EMon[R]

5 type parameters, maps the Good case of this EMon, with the Good cases of an additional 4 EMons of a different types.

5 type parameters, maps the Good case of this EMon, with the Good cases of an additional 4 EMons of a different types.

Attributes

Definition Classes
Bad -> EMon
Inherited from:
Bad
override def map6[A2, A3, A4, A5, A6, R](e2: EMon[A2], e3: EMon[A3], e4: EMon[A4], e5: EMon[A5], e6: EMon[A6])(f: (Nothing, A2, A3, A4, A5, A6) => R): EMon[R]

6 type parameters, maps the Good case of this EMon, with the Good cases of an additional 5 EMons of a different types.

6 type parameters, maps the Good case of this EMon, with the Good cases of an additional 5 EMons of a different types.

Attributes

Definition Classes
Bad -> EMon
Inherited from:
Bad
override def mapToEither[D](f: Nothing => D): Either[StrArr, D]

Maps Good to Right[Strings, D] and Bad to Left[Strings, D]. These are implemented in the base traits GoodBase[+A] and BadBase[+A] as Either[+A, +B] boxes all value classes.

Maps Good to Right[Strings, D] and Bad to Left[Strings, D]. These are implemented in the base traits GoodBase[+A] and BadBase[+A] as Either[+A, +B] boxes all value classes.

Attributes

Definition Classes
Bad -> EMon
Inherited from:
Bad
override def mapToOption[B](f: Nothing => B): Option[B]

Attributes

Definition Classes
Bad -> EMon
Inherited from:
Bad
def noneMap(newErrs: => StrArr): EMon[Nothing]

Creates new errors for an ENone.

Creates new errors for an ENone.

Attributes

Inherited from:
EMon
def noneMap1(newErr: => String): EMon[Nothing]

Creates a new error for an ENone.

Creates a new error for an ENone.

Attributes

Inherited from:
EMon

Attributes

Inherited from:
Product

Attributes

Inherited from:
Product
override def toEMon2[B1, B2](f: Nothing => EMon2[B1, B2]): EMon2[B1, B2]

Attributes

Definition Classes
Bad -> EMon
Inherited from:
Bad
override def toEither: Either[StrArr, Nothing]

Attributes

Definition Classes
Bad -> EMon
Inherited from:
Bad
override def toOption: Option[Nothing]

Attributes

Definition Classes
Bad -> EMon
Inherited from:
Bad
override def toString: String

Returns a string representation of the object.

Returns a string representation of the object.

The default representation is platform dependent.

Attributes

Returns

a string representation of the object.

Definition Classes
Bad -> Any
Inherited from:
Bad

Inherited fields

val errs: StrArr

Attributes

Inherited from:
Bad