Define a primitive data type: Difference between revisions

=={{header|OCaml}}==

exception Out_of_bounds

;;

(** val op : ('a -> 'a -> 'a) -> 'a bounded -> 'a bounded -> 'a bounded *)

Using in the interactive top level:

# let range = mk_bounds 1 10 ;;

val range : int bounds = {min = 1; max = 10}

# op ( + ) a b ;;

- : int bounded = {value = 7; bounds = {min = 1; max = 10}}

which can be used with floats in the same way:

# let rf = mk_bounds 1.0 10.0 ;;

val rf : float bounds = {min = 1.; max = 10.}

op ( +. ) a b ;;

- : float bounded = {value = 7.8; bounds = {min = 1.; max = 10.}}

=={{header|Perl}}==