¤ quitIdF

Terminating the program

Types

quitIdF :: (a -> Bool) -> F a a

quitIdF p

quitIdF is an identity fudget that terminates the program if a message satistfying a given predicate is received.

any type

the input passed through unchanged

p :: a -> Bool

The predicate that tests the input. An input x is passed through unchanged, if p x is False.