ATSLIB/prelude/gprint

This package contains a variety of common printing functions.


  • gprint$out
  • gprint_newline
  • gprint
  • gprint_int
  • gprint_char
  • gprint_float
  • gprint_double
  • gprint_string
  • gprint_list$beg
  • gprint_list$end
  • gprint_list$sep
  • gprint_list
  • gprint_listlist$sep1
  • gprint_listlist$beg1
  • gprint_listlist$end1
  • gprint_listlist$sep2
  • gprint_listlist$beg2
  • gprint_listlist$end2
  • gprint_listlist
  • gprint_array$beg
  • gprint_array$end
  • gprint_array$sep
  • gprint_array
  • gprint_arrayptr
  • gprint_arrayref

  • 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

    Synopsis for [gprint] is unavailable.

    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}
      (A: &(@[INV(a)][n]), n: size_t(n)): void

    gprint_arrayptr

    Synopsis

    fun{a:t0p}
    gprint_arrayptr
      {n:int}
      (A: !arrayptr(INV(a), n), n: size_t(n)): void

    gprint_arrayref

    Synopsis

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

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