Succ

ostrat.Succ
See theSucc companion class
object Succ

Attributes

Companion
class
Graph
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
Succ.type

Members list

Inherited
  • Not inherited
  • Mirror
Keywords
  • no keywords
  • implicit

Type members

Inherited and Abstract types

type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Attributes

Inherited from:
Mirror

The name of the type

The name of the type

Attributes

Inherited from:
Mirror

Value members

Concrete methods

def apply[A](value: A): Succ[A]

Factory apply method for success wraps a raw value.

Factory apply method for success wraps a raw value.

Attributes

def unapply[A](inp: ErrBi[_, A]): Option[A]

Extractor for success.

Extractor for success.

Attributes

Implicits

Implicits

implicit def eqTEv[A](implicit evA: EqT[A]): EqT[Succ[A]]

Implicit evidence for EqT for type Succ.

Implicit evidence for EqT for type Succ.

Attributes