LowerBound

trait LowerBound[a: Type]Source

A trait for partially ordered types that have a lower bound.

Instances

instance LowerBound[Bool]Source

instance LowerBound[Char]Source

instance LowerBound[Down[a]] with UpperBound[a]Source

instance LowerBound[Float32]Source

instance LowerBound[Float64]Source

instance LowerBound[Int16]Source

instance LowerBound[Int32]Source

instance LowerBound[Int64]Source

instance LowerBound[Int8]Source

instance LowerBound[(a1, a2)] with LowerBound[a1], LowerBound[a2]Source

instance LowerBound[(a1, a2, a3)] with LowerBound[a1], LowerBound[a2], LowerBound[a3]Source

instance LowerBound[(a1, a2, a3, a4)] with LowerBound[a1], LowerBound[a2], LowerBound[a3], LowerBound[a4]Source

instance LowerBound[(a1, a2, a3, a4, a5)] with LowerBound[a1], LowerBound[a2], LowerBound[a3], LowerBound[a4], LowerBound[a5]

Source

instance LowerBound[(a1, a2, a3, a4, a5, a6)] with LowerBound[a1], LowerBound[a2], LowerBound[a3], LowerBound[a4], LowerBound[a5], LowerBound[a6]

Source

instance LowerBound[(a1, a2, a3, a4, a5, a6, a7)] with LowerBound[a1], LowerBound[a2], LowerBound[a3], LowerBound[a4], LowerBound[a5], LowerBound[a6], LowerBound[a7]

Source

instance LowerBound[(a1, a2, a3, a4, a5, a6, a7, a8)] with LowerBound[a1], LowerBound[a2], LowerBound[a3], LowerBound[a4], LowerBound[a5], LowerBound[a6], LowerBound[a7], LowerBound[a8]

Source

instance LowerBound[(a1, a2, a3, a4, a5, a6, a7, a8, a9)] with LowerBound[a1], LowerBound[a2], LowerBound[a3], LowerBound[a4], LowerBound[a5], LowerBound[a6], LowerBound[a7], LowerBound[a8], LowerBound[a9]

Source

instance LowerBound[(a1, a2, a3, a4, a5, a6, a7, a8, a9, a10)] with LowerBound[a1], LowerBound[a2], LowerBound[a3], LowerBound[a4], LowerBound[a5], LowerBound[a6], LowerBound[a7], LowerBound[a8], LowerBound[a9], LowerBound[a10]

Source

instance LowerBound[Unit]Source

instance LowerBound[Map[k, v]]Source

instance LowerBound[Option[t]]Source

instance LowerBound[Set[a]]Source

Signatures

def minValue(): a with LowerBound[a] Source

Returns the smallest value of a.