OpenStrat
API
Generated with
OpenStrat/ostrat/Succ2

Succ2

ostrat.ErrBi$package.Succ2
object Succ2

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Succ2.type

Members list

Value members

Concrete methods

def apply[A1, A2](a1: A1, a2: A2): Succ2[A1, A2]

Factory apply method for creating Succ with a Tuple2 value.

Factory apply method for creating Succ with a Tuple2 value.

Attributes

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

unapply extractor for success on an ErrBi with a Tuple2 value type.

unapply extractor for success on an ErrBi with a Tuple2 value type.

Attributes

Generated with