| 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
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)