Typeclasses.Classes.Bounds

Bounds typeclass definition and its instances for basic types.

Definition

type alias Bounds a =

{ min : a

, max : a

}

Explicit typeclass which implements a bounded type a.

int : Bounds Int

Instance for Int.

char : Bounds Char

Instance for Char.

bool : Bounds Bool

Instance for Bool.

order : Bounds Order

Instance for Order.

unit : Bounds ()

Instance for ().

tuple2 : Bounds a -> Bounds b -> Bounds ( a, b )

Instance for tuple (pair), with instances for its members provided.

tuple3 : Bounds a -> Bounds b -> Bounds c -> Bounds ( a, b, c )

Instance for tuple (triple), with instances for its members provided.

map : (a -> b) -> Bounds a -> Bounds b

Map over the owner type of an instance to produce a new instance.

For example, to create a bounded record type:

map (\v -> { x = v }) int == Bounds { x = int.min } { x = int.max }