refinery-0.3.0.0: Toolkit for building proof automation systems

Index

<%>Refinery.Tactic
<@>Refinery.Tactic
accumEitherRefinery.ProofState
AltRefinery.ProofState
applyContRefinery.ProofState
AxiomRefinery.ProofState
axiomRefinery.ProofState
choiceRefinery.Tactic
CommitRefinery.ProofState
commitRefinery.Tactic
EffectRefinery.ProofState
EmptyRefinery.ProofState
ensureRefinery.Tactic
FailureRefinery.ProofState
focusRefinery.Tactic
gatherRefinery.Tactic
goalRefinery.Tactic
holeRefinery.ProofState, Refinery.Tactic
InterleaveRefinery.ProofState
many_Refinery.Tactic
mapExtractRefinery.ProofState
mapExtract'Refinery.ProofState
mapTacticTRefinery.Tactic.Internal
MonadExtractRefinery.ProofState, Refinery.Tactic
MonadRuleRefinery.Tactic.Internal, Refinery.Tactic
progressRefinery.Tactic
proofsRefinery.ProofState
proofStateRefinery.Tactic.Internal
ProofStateTRefinery.ProofState
pruningRefinery.Tactic
ruleRefinery.Tactic
RuleT 
1 (Type/Class)Refinery.Tactic.Internal, Refinery.Tactic
2 (Data Constructor)Refinery.Tactic.Internal
runTacticTRefinery.Tactic
StatefulRefinery.ProofState
SubgoalRefinery.ProofState
subgoalRefinery.Tactic.Internal, Refinery.Tactic
subgoalsRefinery.ProofState
tacticRefinery.Tactic.Internal
TacticT 
1 (Type/Class)Refinery.Tactic.Internal, Refinery.Tactic
2 (Data Constructor)Refinery.Tactic.Internal
tryRefinery.Tactic
unRuleTRefinery.Tactic.Internal
unTacticTRefinery.Tactic.Internal