qute-0.1.0: A software analysis framework built around the QBE intermediate language.
Safe HaskellNone
LanguageGHC2021

Language.QBE.Simulator.Default.Funcs

Documentation

lookupSimFunc :: (MonadIO m, ValueRepr v, Simulator m v) => GlobalIdent -> Maybe ([v] -> m (Maybe v)) Source #