simple-adt
API
Generated with
simple-adt/net.scalax.simple.adt/net.scalax.simple.adt.temp/ADTData

ADTData

net.scalax.simple.adt.temp.ADTData$
See theADTData companion trait
object ADTData

Attributes

Companion
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
ADTData.type

Members list

Value members

Concrete methods

def empty[D, T <: AdtNat, S <: Status](tail: ADTData[T, S]): ADTData[AdtNatPositive[D, T], S]
def success[D, T <: AdtNat, S <: Status](data: D, tail: ADTData[T, S]): ADTData[AdtNatPositive[D, T], Passed]

Concrete fields

Generated with