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

Safe HaskellNone

HERMIT.ParserCore

Synopsis

Documentation

parseCoreExprT :: CoreString -> TranslateH a CoreExprSource

Parse a CoreString to a CoreExpr, using the current context.