llists (library)

Usage and interface

Documentation on exports

PREDICATE

Usage:

  • Description: 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.

PREDICATE

Usage:

  • Description: 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.

PREDICATE

Usage:

  • Description: 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.

PREDICATE

Usage:

  • Description: 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.