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

Safe HaskellNone

Language.HERMIT.Primitive.FixPoint

Synopsis

Documentation

externals :: [External]Source

fixLocation :: StringSource

findFixId :: TranslateH a IdSource

guardIsFixId :: Id -> TranslateH a ()Source

fixIntro :: RewriteH CoreDefSource

f = e ==> f = fix ( f -> e)

fixSpecialization :: RewriteH CoreExprSource

fixSpecialization' :: RewriteH CoreExprSource

workerWrapperFacTest :: Name -> Name -> RewriteH CoreExprSource

workerWrapperSplitTest :: Name -> Name -> RewriteH CoreDefSource

monomorphicWorkerWrapperFac :: CoreExpr -> CoreExpr -> RewriteH CoreExprSource

monomorphicWorkerWrapperSplit :: CoreExpr -> CoreExpr -> RewriteH CoreDefSource