hermit- Haskell Equational Reasoning Model-to-Implementation Tunnel

Safe HaskellNone




unfoldBasicCombinatorR :: (ExtendPath c Crumb, ReadPath 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.