Safe Haskell	Safe-Inferred
Language	Haskell98

Language.Haskell.Liquid.Constraint.Fresh

Contents

Orphan instances

Synopsis

refreshArgsTop :: (Var, SpecType) -> CG SpecType
freshTyType :: Bool -> KVKind -> CoreExpr -> Type -> CG SpecType
freshTyExpr :: Bool -> KVKind -> CoreExpr -> Type -> CG SpecType
trueTy :: Bool -> Type -> CG SpecType
addKuts :: PPrint a => a -> SpecType -> CG ()

Documentation

refreshArgsTop :: (Var, SpecType) -> CG SpecType Source #

freshTyType :: Bool -> 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 freshTyType and freshTyExpr

freshTyExpr :: Bool -> KVKind -> CoreExpr -> Type -> CG SpecType Source #

trueTy :: Bool -> Type -> CG SpecType Source #

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

Orphan instances

Freshable CG Integer Source #	This is all hardwiring stuff to CG ----------------------------------------
Instance details Methods fresh :: CG Integer Source # true :: Bool -> Integer -> CG Integer Source # refresh :: Bool -> Integer -> CG Integer Source #