Data.Generics.Strafunski.StrategyLib.FlowTheme

Try: recover from failure

tryS

tryTP

tryTU

Test: ignore result, but retain effects

testS

testTP

testTU

If-then-else: pass value from condition to then-clause

ifS

ifTP

ifTU

If-then: disciplined form of a guarding

ifthenS

ifthenTP

ifthenTU

Not: negation by failure

notS

notTP

notTU

Exclusive choice

xchoiceS

xchoiceTP

xchoiceTU

Generic filter, derived from monomorphic predicate

filterTP

filterTU

Generic ticker, derived from monomorphic predicate

tickTU

Type guards

type TypeGuard a

typeGuard

Generic ticker, derived from type guard

typeTickTU

Generic filters, derived from type guard

typeFilterTP

typeFilterTU