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

Safe HaskellNone
LanguageHaskell2010

HERMIT.Dictionary.Local.Bind

Contents

Synopsis

Rewrites on Binding Groups

externals :: [External] Source

Externals for manipulating binding groups.

nonrecToRecR :: MonadCatch m => Rewrite c m CoreBind Source

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

recToNonrecR :: MonadCatch m => Rewrite c m CoreBind Source

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