Language.QBE.Backend.Model
data Model Source #
Defined in Language.QBE.Backend.Model
Methods
showsPrec :: Int -> Model -> ShowS #
show :: Model -> String #
showList :: [Model] -> ShowS #
(==) :: Model -> Model -> Bool #
(/=) :: Model -> Model -> Bool #
toList :: Model -> [(String, RegVal)] Source #
Convert a model to a list of concrete variable assignments.
getModel :: Solver -> [SExpr] -> IO Model Source #
Get a new Model for a list of input variables that should be contained in it.
Model