flix

0.54.0

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.