ATSLIB/prelude/tuple

This package contains various generic functions on tuples.

fprint_tup$beg

fprint_tup$end

fprint_tup$sep

fprint_tup$beg

Synopsis

fun{} fprint_tup$beg (out: FILEref): void

fprint_tup$end

Synopsis

fun{} fprint_tup$end (out: FILEref): void

fprint_tup$sep

Synopsis

fun{} fprint_tup$sep (out: FILEref): void

fprint_tupval2

Synopsis

fun{
a0,a1:t0p
} fprint_tupval2 (out: FILEref, x: @(a0, a1)): void

fprint_tupval3

Synopsis

fun{
a0,a1,a2:t0p
} fprint_tupval3 (out: FILEref, x: @(a0, a1, a2)): void

fprint_tupval4

Synopsis

fun{
a0,a1,a2,a3:t0p
} fprint_tupval4 (out: FILEref, x: @(a0, a1, a2, a3)): void

fprint_tupref2

Synopsis

fun{
a0,a1:vt0p
} fprint_tupref2 (out: FILEref, x: &(a0, a1)): void

fprint_tupref3

Synopsis

fun{
a0,a1,a2:vt0p
} fprint_tupref3 (out: FILEref, x: &(a0, a1, a2)): void

fprint_tupref4

Synopsis

fun{
a0,a1,a2,a3:vt0p
} fprint_tupref4 (out: FILEref, x: &(a0, a1, a2, a3)): void

tupval2_compare

Synopsis

fun{
a0,a1:t0p
} tupval2_compare
  (x: @(a0, a1), y: @(a0, a1)):<> int

Description

This function implements lexicographic ordering on tuples of length 2.

tupval3_compare

Synopsis

fun{
a0,a1,a2:t0p
} tupval3_compare
  (x: @(a0, a1, a2), y: @(a0, a1, a2)):<> int

Description

This function implements lexicographic ordering on tuples of length 3.

tupval4_compare

Synopsis

fun{
a0,a1,a2,a3:t0p
} tupval4_compare
  (x: @(a0, a1, a2, a3), y: @(a0, a1, a2, a3)):<> int

Description

This function implements lexicographic ordering on tuples of length 4.

tupref2_compare

Synopsis

fun{
a0,a1:vt0p
} tupref2_compare
  (x: &(a0, a1), y: &(a0, a1)):<> int

tupref3_compare

Synopsis

fun{
a0,a1,a2:vt0p
} tupref3_compare
  (x: &(a0, a1, a2), y: &(a0, a1, a2)):<> int

tupref4_compare

Synopsis

fun{
a0,a1,a2,a3:vt0p
} tupref4_compare
  (x: &(a0, a1, a2, a3), y: &(a0, a1, a2, a3)):<> int

This page is created with ATS by Hongwei Xi and also maintained by Hongwei Xi.