liquidhaskell-boot-0.9.2.5.0: Liquid Types for Haskell
Safe HaskellSafe-Inferred
LanguageHaskell98

Language.Haskell.Liquid.Constraint.Monad

Description

This module contains various functions that add/update in the CG monad.

Synopsis

Documentation

addC :: SubC -> String -> CG () Source #

addC adds a subtyping constraint into the global pool.

addPost :: CGEnv -> SpecType -> CG SpecType Source #

addPost: RJ: what DOES this function do?

addW :: WfC -> CG () Source #

Add Well formedness Constraint

addWarning :: Error -> CG () Source #

Add a warning

addIdA :: Var -> Annot SpecType -> CG () Source #

Add Identifier Annotations, used for annotation binders (i.e. at binder sites)

addLocA :: Maybe Var -> SrcSpan -> Annot SpecType -> CG () Source #

Used for annotating reads (i.e. at Var x sites)

updateLocA :: Maybe SrcSpan -> SpecType -> CG () Source #

Update annotations for a location, due to (ghost) predicate applications

addA :: Outputable a => SrcSpan -> Maybe a -> b -> AnnInfo b -> AnnInfo b Source #

envToSub :: [(a, b)] -> ([(a, b)], b, b) Source #