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

Plus

org.hungerford.generic.schema.types.Plus$
See thePlus companion trait
object Plus

Attributes

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

Members list

Concise view

Type members

Types

type Aux[A <: Nat, B <: Nat, C <: Nat] = Plus[A, B] { type Res = C; }

Givens

Givens

given `given_Plus__0_B`[B <: Nat]: `given_Plus__0_B`[B]
given bothRecurse[A <: Nat, B <: Nat, C <: Nat](using ev: Aux[A, B, C]): bothRecurse[A, B, C]
given leftRecurse[A <: Nat, B <: Nat, C <: Nat](using ev: Aux[A, B, C]): leftRecurse[A, B, C]
given rightRecurse[A <: Nat, B <: Nat, C <: Nat](using ev: Aux[A, B, C]): rightRecurse[A, B, C]
Generated with