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

Safe HaskellNone

HERMIT.Dictionary.Local.Bind

Contents

Synopsis

Rewrites on Binding Groups

externals :: [External]Source

Externals for manipulating binding groups.

nonrecToRecR :: MonadCatch m => Rewrite c m CoreBindSource

NonRec v e ==> Rec [(v,e)]

recToNonrecR :: MonadCatch m => Rewrite c m CoreBindSource

Rec [(v,e)] ==> NonRec v e