¤ quitIdF

Terminating the program

Types

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

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 :: ho -> Bool

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