string

string

Module

string

Module summary

String processing functions.

Description

This module provides functions for string processing.

Exports

centre(String, Number) -> Centeredcentre(String, Number, Character) -> Centered

Types:

String = Centered = string()
Number = integer() >= 0
Character = char()

Returns a string, where String is centered in the string and surrounded by blanks or Character. The resulting string has length Number.

chars(Character, Number) -> Stringchars(Character, Number, Tail) -> String

Types:

Character = char()
Number = integer() >= 0
Tail = String = string()

Returns a string c