Contents
Index
refinery-0.2.0.0: Toolkit for building proof automation systems
Index
<%>
Refinery.Tactic
<@>
Refinery.Tactic
>>-
Refinery.Tactic
accumEither
Refinery.ProofState
Alt
Refinery.ProofState
applyCont
Refinery.ProofState
Axiom
Refinery.ProofState
axiom
Refinery.ProofState
choice
Refinery.Tactic
Effect
Refinery.ProofState
Empty
Refinery.ProofState
Failure
Refinery.ProofState
focus
Refinery.Tactic
goal
Refinery.Tactic
hole
Refinery.ProofState
,
Refinery.Tactic
ifte
Refinery.Tactic
Interleave
Refinery.ProofState
interleave
Refinery.Tactic
lnot
Refinery.Tactic
many_
Refinery.Tactic
mapExtract
Refinery.ProofState
mapExtract'
Refinery.ProofState
mapTacticT
Refinery.Tactic.Internal
MonadExtract
Refinery.ProofState
,
Refinery.Tactic
MonadLogic
Refinery.Tactic
MonadRule
Refinery.Tactic.Internal
,
Refinery.Tactic
msplit
Refinery.Tactic
once
Refinery.Tactic
progress
Refinery.Tactic
proofs
Refinery.ProofState
proofState
Refinery.Tactic.Internal
ProofStateT
Refinery.ProofState
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