simple-ghdmzsk
API
Generated with
simple-ghdmzsk/net.scalax.simple/net.scalax.simple.adt/net.scalax.simple.adt.nat

net.scalax.simple.adt.nat

package net.scalax.simple.adt.nat

Members list

Type members

Classlikes

sealed trait AdtNat

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait AdtNatPositive[Head, T]
trait AdtNatZero
trait AdtNatPositive[+Head, +T <: AdtNat] extends AdtNat

Attributes

Supertypes
trait AdtNat
class Object
trait Matchable
class Any
trait AdtNatZero extends AdtNat

Attributes

Supertypes
trait AdtNat
class Object
trait Matchable
class Any
Generated with