Language.Haskell.Liquid.Fresh

Documentation

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

Minimal complete definition

fresh

Methods

fresh :: m a

true :: a -> m a

refresh :: a -> m a

Instances

Freshable m Integer => Freshable m Strata

Freshable m Integer => Freshable m RReft

Freshable m Integer => Freshable m Reft

Freshable m Integer => Freshable m Refa

Freshable m Integer => Freshable m Symbol

(Freshable m Integer, Freshable m r, Reftable r, RefTypable RTyCon RTyVar r) => Freshable m (RRType r)

Freshable m Integer => Freshable m [Refa]