flix

0.54.0

UpperBound

trait UpperBound[a: Type]Source

A trait for partially ordered types that have an upper bound.

Instances

instance UpperBound[Bool]Source
instance UpperBound[Char]Source
instance UpperBound[Down[a]] with LowerBound[a]Source
instance UpperBound[Float32]Source
instance UpperBound[Float64]Source
instance UpperBound[Int16]Source
instance UpperBound[Int32]Source
instance UpperBound[Int64]Source
instance UpperBound[Int8]Source
instance UpperBound[(a1, a2)] with UpperBound[a1], UpperBound[a2]Source
instance UpperBound[(a1, a2, a3)] with UpperBound[a1], UpperBound[a2], UpperBound[a3]Source
instance UpperBound[(a1, a2, a3, a4)] with UpperBound[a1], UpperBound[a2], UpperBound[a3], UpperBound[a4]Source
instance UpperBound[(a1, a2, a3, a4, a5)] with UpperBound[a1], UpperBound[a2], UpperBound[a3], UpperBound[a4], UpperBound[a5]Source
instance UpperBound[(a1, a2, a3, a4, a5, a6)] with UpperBound[a1], UpperBound[a2], UpperBound[a3], UpperBound[a4], UpperBound[a5], UpperBound[a6]Source
instance UpperBound[(a1, a2, a3, a4, a5, a6, a7)] with UpperBound[a1], UpperBound[a2], UpperBound[a3], UpperBound[a4], UpperBound[a5], UpperBound[a6], UpperBound[a7]Source
instance UpperBound[(a1, a2, a3, a4, a5, a6, a7, a8)] with UpperBound[a1], UpperBound[a2], UpperBound[a3], UpperBound[a4], UpperBound[a5], UpperBound[a6], UpperBound[a7], UpperBound[a8]Source
instance UpperBound[(a1, a2, a3, a4, a5, a6, a7, a8, a9)] with UpperBound[a1], UpperBound[a2], UpperBound[a3], UpperBound[a4], UpperBound[a5], UpperBound[a6], UpperBound[a7], UpperBound[a8], UpperBound[a9]Source
instance UpperBound[(a1, a2, a3, a4, a5, a6, a7, a8, a9, a10)] with UpperBound[a1], UpperBound[a2], UpperBound[a3], UpperBound[a4], UpperBound[a5], UpperBound[a6], UpperBound[a7], UpperBound[a8], UpperBound[a9], UpperBound[a10]Source
instance UpperBound[Unit]Source

Signatures

def maxValue(): a with UpperBound[a] Source

Returns the largest value of a.