Data.Generics.Strafunski.StrategyLib.Models.Deriving.StrategyPrimitives

class Term x

data TP m

data TU a m

paraTP

paraTU

applyTP

applyTU

adhocTP

adhocTU

msubstTP

msubstTU

seqTP

seqTU

passTP

passTU

choiceTP

choiceTU

mchoicesTP

mchoicesTU

allTP

allTU

allTU'

oneTP

oneTU

anyTP

anyTU

anyTU'

someTP

someTU

someTU'

injTP