hermit-0.3.1.0: Haskell Equational Reasoning Model-to-Implementation Tunnel

Safe HaskellNone

HERMIT.Dictionary.Composite

Synopsis

Documentation

unfoldBasicCombinatorR :: (ExtendPath c Crumb, AddBindings c, ReadBindings c) => Rewrite c HermitM CoreExprSource

Unfold the current expression if it is one of the basic combinators: ($), (.), id, flip, const, fst or snd. This is intended to be used as a component of simplification traversals such as simplifyR or bashR.