Strings.filter (3kaya)

Filter a string according to a predicate.

  1. Carta.tech
  2. Man Pages
  3. MISSING SECTION
  4. Strings.filter: Filter a string according to a predicate.
  1. Carta.tech
  2. Packages
  3. kaya
  4. Strings.filter: Filter a string according to a predicate.

SYNOPSIS

String filter( Bool(Char) p, String str )

ARGUMENTS

p The predicate function.

str The String to filter

DESCRIPTION

Each character in str is tested against the predicate p The returned string contains those characters in str for which the predicate is true.

AUTHORS

Kaya standard library by Edwin Brady, Chris Morris and others ([email protected]). For further information see http://kayalang.org/

LICENSE

The Kaya standard library is free software; you can redistribute it and/or modify it under the terms of the GNU Lesser General Public License (version 2.1 or any later version) as published by the Free Software Foundation.