Forlan Manual

The StrSet Module


signature STR_SET
structure StrSet :> STR_SET

This module provides operations on finite sets of Forlan strings, i.e., values of type Str.str Set.set that are standard in the sense that they are compatible with All values of type Str.str Set.set will implicitly be assumed/required to be standard.


val memb : Str.str * Str.str Set.set -> bool
val fromList : Str.str list -> Str.str Set.set
val compare : Str.str Set.set Sort.total_ordering
val subset : Str.str Set.set * Str.str Set.set -> bool
val equal : Str.str Set.set * Str.str Set.set -> bool
val map : ('a -> Str.str) -> 'a Set.set -> Str.str Set.set
val mapFromList : ('a -> Str.str) -> 'a list -> Str.str Set.set
val union : Str.str Set.set * Str.str Set.set -> Str.str Set.set
val genUnion : Str.str Set.set list -> Str.str Set.set
val inter : Str.str Set.set * Str.str Set.set -> Str.str Set.set
val genInter : Str.str Set.set list -> Str.str Set.set
val minus : Str.str Set.set * Str.str Set.set -> Str.str Set.set
val inputFromLabToks : (int * Lex.tok) list -> Str.str Set.set * (int * Lex.tok) list
val fromString : string -> Str.str Set.set
val input : string -> Str.str Set.set
val toPP : Str.str Set.set -> PP.pp
val toString : Str.str Set.set -> string
val output : string * Str.str Set.set -> unit
val concat : Str.str Set.set * Str.str Set.set -> Str.str Set.set
val power : Str.str Set.set * int -> Str.str Set.set
val rev : Str.str Set.set -> Str.str Set.set
val prefixes : Str.str -> Str.str Set.set
val suffixes : Str.str -> Str.str Set.set
val substrings : Str.str -> Str.str Set.set
val prefix : Str.str Set.set -> Str.str Set.set
val suffix : Str.str Set.set -> Str.str Set.set
val substring : Str.str Set.set -> Str.str Set.set
val alphabet : Str.str Set.set -> Sym.sym Set.set
val renameAlphabet : Str.str Set.set * SymRel.sym_rel -> Str.str Set.set


memb(x, ys)
tests whether x is a member of ys.

fromList xs
returns the set whose elements are the elements of xs.


subset(xs, ys)
tests whether xs is a subset of ys.

equal(xs, ys)
tests whether xs is equal to ys.

map f xs
If xs is compatible with a value cmp of type 'a Sort.total_ordering, then map returns the set of all Forlan strings f x such that x is a member of xs.

mapFromList f xs
returns the set of all Forlan strings f x such that x is a member of xs.

union(xs, ys)
returns the union of xs and ys.

genUnion xss
returns the generalized union of xss.

inter(xs, ys)
returns the intersection of xs and ys.

genInter xss
returns the generalized intersection of xss. Issues an error message if xss is empty.

minus(xs, ys)
returns the difference of xs and ys.

inputFromLabToks lts
tries to input a set of Forlan strings from lts, consuming as much of lts as possible, and returning the pair of the set of strings and the rest of lts. Issues an error message if it fails. Will only return the empty set if lts doesn't begin with a symbol or "%" (Lex.Perc).If, after reading a string, the next element of the labeled token list is "," (Lex.Comma), then inputFromLabToks insists on reading another string, even if this results in failure.

fromString s
inputs a set of string from s.

input fil
inputs a set of strings from the file fil.

toPP xs
returns a pretty-printing expression for xs.

toString xs
pretty-prints xs to a string.

output(fil, xs)
pretty-prints xs to file fil.

concat(xs, ys)
returns the concatentation of xs and ys.

power(xs, n)
raises xs to the power n. Issues an error message if n is negative.

rev xs
returns the reversal of xs.

prefixes x
returns the set of all prefixes of x.

suffixes x
returns the set of all suffixes of x.

substrings x
returns the set of all substrings of x.

prefix xs
returns the prefix closure of xs.

suffix xs
returns the suffix closure of xs. It is defined by
  fun suffix xs = rev(prefix(rev xs))

substring xs
returns the substring closure of xs. It is defined by
  fun substring xs = suffix(prefix xs)

alphabet xs
returns the alphabet of xs.

renameAlphabet xs
renames the alphabet of xs using the bijection rel. Issues an error message if rel is not a bijection from a superset of the alphabet of xs to some set.

[ Top | Parent | Root | Contents | Index ]

Forlan Version 4.12
Copyright © 2019 Alley Stoughton