ATSLIB/prelude/gprint

This package contains a variety of common printing functions.

gprint$out

gprint_newline

gprint

gprint$out

Synopsis

fun{}
gprint$out(): FILEref

Description

This funtion is called to get the output channel for various gprint-functions.

gprint_newline

Synopsis

fun{}
gprint_newline(): void

gprint

Synopsis

overload gprint with gprint_int

overload gprint with gprint_bool

overload gprint with gprint_char

overload gprint with gprint_float

overload gprint with gprint_double

overload gprint with gprint_string

overload gprint with gprint_list

overload gprint with gprint_arrayref

gprint_int

Synopsis

fun{}
gprint_int (x: int): void

gprint_char

Synopsis

fun{}
gprint_char (x: char): void

gprint_float

Synopsis

fun{}
gprint_float (x: float): void

gprint_double

Synopsis

fun{}
gprint_double (x: double): void

gprint_string

Synopsis

fun{}
gprint_string (x: string): void

gprint_list$beg

Synopsis

fun{} gprint_list$beg(): void

Description

This funtion is called to print the opening parenthesis of a list.

gprint_list$end

Synopsis

fun{} gprint_list$end(): void

Description

This funtion is called to print the closing parenthesis of a list.

gprint_list$sep

Synopsis

fun{} gprint_list$sep(): void

Description

This funtion is called to print the separator between list elements.

gprint_list

Synopsis

fun{a:t0p}
gprint_list (xs: List(a)): void

gprint_listlist$sep1

Synopsis

fun{} gprint_listlist$sep1(): void

gprint_listlist$beg1

Synopsis

fun{} gprint_listlist$beg1(): void

gprint_listlist$end1

Synopsis

fun{} gprint_listlist$end1(): void

gprint_listlist$sep2

Synopsis

fun{} gprint_listlist$sep2(): void

gprint_listlist$beg2

Synopsis

fun{} gprint_listlist$beg2(): void

gprint_listlist$end2

Synopsis

fun{} gprint_listlist$end2(): void

gprint_listlist

Synopsis

fun{a:t0p}
gprint_listlist (xss: List(List(a))): void

gprint_array$beg

Synopsis

fun{} gprint_array$beg(): void

Description

This funtion is called to print the opening parenthesis of an array.

gprint_array$end

Synopsis

fun{} gprint_array$end(): void

Description

This funtion is called to print the closing parenthesis of an array.

gprint_array$sep

Synopsis

fun{} gprint_array$sep(): void

Description

This funtion is called to print the separator between array elements.

gprint_array

Synopsis

fun{a:t0p}
gprint_array
  {n:int}
(
  &(@[INV(a)][n]), size_t(n)
) : void // end-of-function

gprint_arrayptr

Synopsis

fun{a:t0p}
gprint_arrayptr
  {n:int}
(
  !arrayptr(INV(a), n), size_t(n)
) : void // end-of-function

gprint_arrayref

Synopsis

fun{a:t0p}
gprint_arrayref
  {n:int}
  (arrayref(a, n), size_t(n)): void

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