core
API
Generated with
core/org.hungerford.generic.schema.types/Nat

Nat

org.hungerford.generic.schema.types.Nat$
See theNat companion trait
object Nat

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Nat.type

Members list

Concise view

Type members

Classlikes

trait Succ[N <: Nat]() extends Nat

Attributes

Graph
Supertypes
trait Nat
class Object
trait Matchable
class Any
trait _0 extends Nat

Attributes

Graph
Supertypes
trait Nat
class Object
trait Matchable
class Any

Types

type Dec[A <: Nat] = Minus[A, _1]
type DecA[A1 <: Nat, A <: Nat] = Aux[A1, _1, A]
type Int[I <: Int] = IntEquiv[I]
type IntA[I <: Int, N <: Nat] = Aux[I, N]
type _1 = Succ[_0]
type _10 = Succ[_9]
type _11 = Succ[_10]
type _12 = Succ[_11]
type _13 = Succ[_12]
type _14 = Succ[_13]
type _15 = Succ[_14]
type _16 = Succ[_15]
type _17 = Succ[_16]
type _18 = Succ[_17]
type _19 = Succ[_18]
type _2 = Succ[_1]
type _20 = Succ[_19]
type _21 = Succ[_20]
type _22 = Succ[_21]
type _3 = Succ[_2]
type _4 = Succ[_3]
type _5 = Succ[_4]
type _6 = Succ[_5]
type _7 = Succ[_6]
type _8 = Succ[_7]
type _9 = Succ[_8]
Generated with