¤ mapF, concatMapF

Types

mapF :: (a -> b) -> F a b
concatMapF :: (a -> [b]) -> F a b

Synopsis

mapF f

Description

These functions provides convenient ways to construct stateless abstract fudgets. The argument function is applied to every incoming high level message, and the result (or, in case of concatMapF, the elements of the resulting list) are delivered at the output.

Arguments

f :: a -> b
A function that for every input message procudes an output message (a list of output messages).

Equalities

  mapF f = absF (mapSP f)
  concatMapF f = absF (concatMapSP f)

See Also

Stateful abstract fudgets: mapstateF.

Related combinators: absF, >=^<, >^=<, mapSP, concatMapSP.