flix

0.59.0

Add

trait Add[a: Type]Source

A trait for addition.

Instances

instance Add[Float32]Source

instance Add[Float64]Source

instance Add[BigDecimal]Source

instance Add[Int8]Source

instance Add[Int16]Source

instance Add[Int32]Source

instance Add[Int64]Source

instance Add[BigInt]Source

instance Add[String]Source

instance Add[Down[a]] with Add[a]Source

instance Add[Identity[a]] with Add[a]Source

Signatures

def add(x: a, y: a): a with Add[a] Source

Returns the sum of x and y.