This package contains common functions operating on functional containers.
fun{x:t0p} foreach$fwork (x: x): void
fun{xs:t0p}{x:t0p} foreach (xs: xs): void
fun{
x:t0p}{res:vt0p
} foldleft$fwork
(res: res, x: x): res
fun{
xs:t0p}{x:t0p}{res:vt0p
} foldleft (xs: xs, ini: res): res
fun{
x:t0p}{res:vt0p
} foldright$fwork
(x: x, res: res): res
fun{
xs:t0p}{x:t0p}{res:vt0p
} foldright (xs: xs, snk: res): res
fun{x:t0p} forall$pred (x: x): bool
fun{xs:t0p}{x:t0p} forall (xs: xs): bool
fun{x:t0p} exists$pred (x: x): bool
fun{xs:t0p}{x:t0p} exists (xs: xs): bool
fun{
xs:t0p}{x:t0p
} rlistize (xs: xs):<> List0_vt (x)
| This page is created with ATS by Hongwei Xi and also maintained by Hongwei Xi. |
|