flix

0.55.0

Div

trait Div[a: Type]Source

A trait for division.

Instances

instance Div[Float32]Source
instance Div[Float64]Source
instance Div[BigDecimal]Source
instance Div[Int8]Source
instance Div[Int16]Source
instance Div[Int32]Source
instance Div[Int64]Source
instance Div[BigInt]Source
instance Div[String]Source
instance Div[Identity[a]] with Div[a]Source

Signatures

def div(x: a, y: a): a with Div[a] Source

Returns x divided by y.