tip-lib-0.2.2: tons of inductive problems - support library and tools (Index - R)

tip-lib-0.2.2: tons of inductive problems - support library and tools

A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
:
$
/
=
\
All

Index - R

Rec	Tip.Utils
Record	Tip.Haskell.Repr
recursive	Tip.Utils
refresh	Tip.Fresh
refreshLocal	Tip.Core
refreshNamed	Tip.Fresh
RemoveAliases	Tip.Passes
removeAliases	Tip.Passes
RemoveBuiltinBool	Tip.Passes
removeBuiltinBool	Tip.Pass.Booleans, Tip.Passes
removeBuiltinBoolFrom	Tip.Pass.Booleans
removeBuiltinBoolWith	Tip.Pass.Booleans
RemoveMatch	Tip.Passes
removeMatch	Tip.Passes
RemoveNewtype	Tip.Passes
removeNewtype	Tip.Passes
remove_variable_scrutinee_in_branches	Tip.Simplify, Tip.Passes
rename	Tip.Utils.Rename
renameAvoiding	Tip.Rename
renameDecls	Tip.Haskell.Rename
RenamedId
1 (Type/Class)	Tip.Rename
2 (Data Constructor)	Tip.Rename
RenameM	Tip.Utils.Rename
RenameMap	Tip.Haskell.Rename, Tip.Pretty.Haskell
renameWith	Tip.Utils.Rename
renameWithBlocks	Tip.Utils.Rename
Role	Tip.Types, Tip.Core
Rule
1 (Type/Class)	Tip.Utils.Specialiser
2 (Data Constructor)	Tip.Utils.Specialiser
rule_post	Tip.Utils.Specialiser
rule_pre	Tip.Utils.Specialiser
runFresh	Tip.Fresh
runFreshFrom	Tip.Fresh
runPass	Tip.Passes
runPasses	Tip.Passes
runPassLinted	Tip.Passes
runRenameM	Tip.Utils.Rename
runScope	Tip.Scope
runScopeT	Tip.Scope
runWriterT	Tip.Writer