liquidhaskell-0.8.10.1: Liquid Types for Haskell

Safe Haskell	None
Language	Haskell98

Language.Haskell.Liquid.Constraint.Monad

Description

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

Synopsis

addC :: SubC -> String -> CG ()
addPost :: CGEnv -> SpecType -> CG SpecType
addW :: WfC -> CG ()
addWarning :: Error -> CG ()
addIdA :: Var -> Annot SpecType -> CG ()
boundRecVar :: SrcSpan -> AnnInfo (Annot a) -> Bool
addLocA :: Maybe Var -> SrcSpan -> Annot SpecType -> CG ()
addHole :: Var -> SpecType -> CGEnv -> CG ()
updateLocA :: Maybe SrcSpan -> SpecType -> CG ()
addA :: Outputable a => SrcSpan -> Maybe a -> b -> AnnInfo b -> AnnInfo b
lookupNewType :: TyCon -> CG (Maybe SpecType)
envToSub :: [(a, b)] -> ([(a, b)], b, b)

Documentation

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

addC adds a subtyping constraint into the global pool.

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

addPost: RJ: what DOES this function do?

addW :: WfC -> CG () #

Add Well formedness Constraint

addWarning :: Error -> CG () #

Add a warning

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

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

boundRecVar :: SrcSpan -> AnnInfo (Annot a) -> Bool #

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

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

addHole :: Var -> SpecType -> CGEnv -> CG () #

Used for annotating holes

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

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

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

lookupNewType :: TyCon -> CG (Maybe SpecType) #

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