Safe Haskell	Safe-Inferred
Language	Haskell98

Language.Haskell.Liquid.Types.Fresh

Documentation

class (Applicative m, Monad m) => Freshable m a where Source #

Minimal complete definition

fresh

Methods

fresh :: m a Source #

true :: Bool -> a -> m a Source #

refresh :: Bool -> a -> m a Source #

Instances

Instances details

Freshable CG Integer Source #	This is all hardwiring stuff to CG ----------------------------------------
Instance details Defined in Language.Haskell.Liquid.Constraint.Fresh Methods fresh :: CG Integer Source # true :: Bool -> Integer -> CG Integer Source # refresh :: Bool -> Integer -> CG Integer Source #
(Freshable m Integer, Monad m, Applicative m) => Freshable m Symbol Source #
Instance details Defined in Language.Haskell.Liquid.Types.Fresh Methods fresh :: m Symbol Source # true :: Bool -> Symbol -> m Symbol Source # refresh :: Bool -> Symbol -> m Symbol Source #
(Freshable m Integer, Monad m, Applicative m) => Freshable m Expr Source #
Instance details Defined in Language.Haskell.Liquid.Types.Fresh Methods fresh :: m Expr Source # true :: Bool -> Expr -> m Expr Source # refresh :: Bool -> Expr -> m Expr Source #
(Freshable m Integer, Monad m, Applicative m) => Freshable m Reft Source #
Instance details Defined in Language.Haskell.Liquid.Types.Fresh Methods fresh :: m Reft Source # true :: Bool -> Reft -> m Reft Source # refresh :: Bool -> Reft -> m Reft Source #
Freshable m Integer => Freshable m RReft Source #
Instance details Defined in Language.Haskell.Liquid.Types.Fresh Methods fresh :: m RReft Source # true :: Bool -> RReft -> m RReft Source # refresh :: Bool -> RReft -> m RReft Source #
(Freshable m Integer, Freshable m r, Reftable r) => Freshable m (RRType r) Source #
Instance details Defined in Language.Haskell.Liquid.Types.Fresh Methods fresh :: m (RRType r) Source # true :: Bool -> RRType r -> m (RRType r) Source # refresh :: Bool -> RRType r -> m (RRType r) Source #
(Freshable m Integer, Monad m, Applicative m) => Freshable m [Expr] Source #
Instance details Defined in Language.Haskell.Liquid.Types.Fresh Methods fresh :: m [Expr] Source # true :: Bool -> [Expr] -> m [Expr] Source # refresh :: Bool -> [Expr] -> m [Expr] Source #

refreshTy :: FreshM m => SpecType -> m SpecType Source #

refreshVV :: FreshM m => SpecType -> m SpecType Source #

refreshArgs :: FreshM m => SpecType -> m SpecType Source #

refreshHoles :: (Symbolic t, Reftable r, TyConable c, Freshable f r) => Bool -> [(t, RType c tv r)] -> f ([Symbol], [(t, RType c tv r)]) Source #

refreshArgsSub :: FreshM m => SpecType -> m (SpecType, Subst) Source #