flix

0.54.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.