Lists of lists

Author(s): The Ciao Development Team.

Usage and interface

Library usage:
:- use_module(library(llists)).
Exports:
- Predicates:
  append/2, flatten/2, collect_singletons/2, transpose/2.

Documentation on exports

PREDICATEappend/2

Usage:

Concatenates a list of lists into a list.

Call and exit should be compatible with:
(basic_props:list/2)Arg1 is a list of lists.
(basic_props:list/1)Arg2 is a list.

PREDICATEflatten/2

Usage:

Flattens out nested lists into a list.

Call and exit should be compatible with:
(basic_props:list/1)Arg2 is a list.
The following properties should hold at call time:
(basic_props:term/1)Arg1 is any term.
The following properties should hold upon exit:
(basic_props:list/1)Arg2 is a list.

PREDICATEcollect_singletons/2

Usage:

Collects in a list the singletons lists appearing in a list of lists.

Call and exit should be compatible with:
(basic_props:list/1)Arg2 is a list.
The following properties should hold at call time:
(basic_props:list/2)Arg1 is a list of lists.
The following properties should hold upon exit:
(basic_props:list/1)Arg2 is a list.

PREDICATEtranspose/2

Usage:

Transposes a list of lists, that is, viewing it as a matrix changes rows by columns.

Call and exit should be compatible with:
(basic_props:list/2)Arg2 is a list of lists.
The following properties should hold at call time:
(basic_props:list/2)Arg1 is a list of lists.
The following properties should hold upon exit:
(basic_props:list/2)Arg2 is a list of lists.

Documentation on imports

This module has the following direct dependencies:

System library modules:
lists.
Packages:
prelude, initial, condcomp, assertions, assertions/assertions_basic, isomodes.