Option2

net.scalax.simple.adt.impl.TypeAdtAliasModelUnapply.Option2$
object Option2

Attributes

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

Members list

Value members

Concrete methods

def unapply[I1, I2, S <: Status](data: ADTData[AdtNatPositive[I1, AdtNatPositive[I2, AdtNat]], S]): Option[I2]