Contents
Index
refinery-0.3.0.0: Toolkit for building proof automation systems
Index
<%>
Refinery.Tactic
<@>
Refinery.Tactic
accumEither
Refinery.ProofState
Alt
Refinery.ProofState
applyCont
Refinery.ProofState
Axiom
Refinery.ProofState
axiom
Refinery.ProofState
choice
Refinery.Tactic
Commit
Refinery.ProofState
commit
Refinery.Tactic
Effect
Refinery.ProofState
Empty
Refinery.ProofState
ensure
Refinery.Tactic
Failure
Refinery.ProofState
focus
Refinery.Tactic
gather
Refinery.Tactic
goal
Refinery.Tactic
hole
Refinery.ProofState
,
Refinery.Tactic
Interleave
Refinery.ProofState
many_
Refinery.Tactic
mapExtract
Refinery.ProofState
mapExtract'
Refinery.ProofState
mapTacticT
Refinery.Tactic.Internal
MonadExtract
Refinery.ProofState
,
Refinery.Tactic
MonadRule
Refinery.Tactic.Internal
,
Refinery.Tactic
progress
Refinery.Tactic
proofs
Refinery.ProofState
proofState
Refinery.Tactic.Internal
ProofStateT
Refinery.ProofState
pruning
Refinery.Tactic
rule
Refinery.Tactic
RuleT
1 (Type/Class)
Refinery.Tactic.Internal
,
Refinery.Tactic
2 (Data Constructor)
Refinery.Tactic.Internal
runTacticT
Refinery.Tactic
Stateful
Refinery.ProofState
Subgoal
Refinery.ProofState
subgoal
Refinery.Tactic.Internal
,
Refinery.Tactic
subgoals
Refinery.ProofState
tactic
Refinery.Tactic.Internal
TacticT
1 (Type/Class)
Refinery.Tactic.Internal
,
Refinery.Tactic
2 (Data Constructor)
Refinery.Tactic.Internal
try
Refinery.Tactic
unRuleT
Refinery.Tactic.Internal
unTacticT
Refinery.Tactic.Internal