| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Language.Haskell.Liquid.Constraint.Fresh
Documentation
class (Applicative m, Monad m) => Freshable m a where Source
Minimal complete definition
Instances
| Freshable m Integer => Freshable m Strata Source | |
| Freshable m Integer => Freshable m RReft Source | |
| Freshable m Integer => Freshable m Reft Source | |
| Freshable m Integer => Freshable m Expr Source | |
| Freshable m Integer => Freshable m Symbol Source | |
| (Freshable m Integer, Freshable m r, Reftable r, RefTypable RTyCon RTyVar r) => Freshable m (RRType r) Source | |
| Freshable m Integer => Freshable m [Expr] Source |