¤ mapFilterSP, filterLeftSP, et al

Types

mapFilterSP :: (t -> Maybe b) -> SP t b
filterLeftSP :: SP (b1 ⊕ b2) b1
filterRightSP :: SP (a1 ⊕ b) b
filterJustSP :: SP (Maybe b) b

Description

These stream processor applies a "partial" function to the input messages and output the result, if it is defined. In case of mapFilterSP, the function is supplied as an argument. Otherwise, the function is built-in.

Equalities

filterLeftSP  = mapFilterSP stripLeft
filterRightSP  = mapFilterSP stripRight
filterJustSP = mapFilterSP id

See Also

mapSP, filterSP.