liquidhaskell-0.8.10.2: Liquid Types for Haskell
Safe HaskellNone
LanguageHaskell98

Language.Haskell.Liquid.Constraint.Fresh

Synopsis

Documentation

freshTy_type :: KVKind -> CoreExpr -> Type -> CG SpecType Source #

Generation: Freshness -----------------------------------------------------

Right now, we generate NO new pvars. Rather than clutter code with uRType calls, put it in one place where the above invariant is obviously enforced. Constraint generation should ONLY use freshTy_type and freshTy_expr

addKuts :: PPrint a => a -> SpecType -> CG () Source #

Orphan instances

Freshable CG Integer Source #

This is all hardwiring stuff to CG ----------------------------------------

Instance details