Safe Haskell	None
Language	Haskell98

Language.Fixpoint.Types.Graduals

Description

This module contains the top-level SOLUTION data types, including various indices used for solving.

Synopsis

Documentation

Make each gradual appearence unique -------------------------------------

Instances

Show GSol Source #
Methods showsPrec :: Int -> GSol -> ShowS # show :: GSol -> String # showList :: [GSol] -> ShowS #
Monoid GSol Source #
Methods mempty :: GSol # mappend :: GSol -> GSol -> GSol # mconcat :: [GSol] -> GSol #

class Gradual a where Source #

Substitute Gradual Solution ---------------------------------------------

Minimal complete definition

Methods

Instances

Gradual SortedReft Source #
Methods gsubst :: GSol -> SortedReft -> SortedReft Source #
Gradual Reft Source #
Methods gsubst :: GSol -> Reft -> Reft Source #
Gradual Expr Source #
Methods gsubst :: GSol -> Expr -> Expr Source #
Gradual BindEnv Source #
Methods gsubst :: GSol -> BindEnv -> BindEnv Source #
Gradual (SInfo a) Source #
Methods gsubst :: GSol -> SInfo a -> SInfo a Source #
Gradual (SimpC a) Source #
Methods gsubst :: GSol -> SimpC a -> SimpC a Source #
Gradual v => Gradual (HashMap k v) Source #
Methods gsubst :: GSol -> HashMap k v -> HashMap k v Source #