aterm-utils-0.1.0.0: Utility functions for working with aterms as generated by Minitermite

Index

appATerm.Utilities
appMATerm.Utilities
bindAATerm.Matching
bindIATerm.Matching
BindingATerm.Matching
bindLATerm.Matching
bindSATerm.Matching
bindTATerm.Matching
BoundApplATerm.Matching
BoundIntATerm.Matching
BoundListATerm.Matching
BoundStrATerm.Matching
BoundTermATerm.Matching
CheckMATerm.Utilities
childrenATerm.Utilities
childrenMATerm.Utilities
concatMapATerm.Utilities
containsATerm.Matching
containsAATerm.Matching
containsChildrenATerm.Matching
containsLATerm.Matching
currentTermATerm.Utilities
everywhereATerm.Utilities
everywhere_ATerm.Utilities
exactlyAATerm.Matching
exactlyIATerm.Matching
exactlyLATerm.Matching
exactlyNamedATerm.Matching
exactlySATerm.Matching
extractFileInfoATerm.Utilities
extractIntegerATerm.Utilities
extractStringATerm.Utilities
foldlATerm.Utilities
foldl'ATerm.Utilities
foldMATerm.Utilities
foldrATerm.Utilities
getATermFromTableATerm.Utilities
inSubtreeATerm.Utilities
inSubtree_ATerm.Utilities
isNamedATerm.Utilities
mapATerm.Utilities
mapMATerm.Utilities
mapM_ATerm.Utilities
ppATermATerm.Pretty
readATermATerm.Utilities
satisfyATerm.Utilities
showATermATerm.Utilities
withCurrentTermATerm.Utilities
writeSharedATermATerm.Utilities