Language.Haskell.Liquid.UX.CTags

This module contains the code for generating "tags" for constraints based on their source, i.e. the top-level binders under which the constraint was generated. These tags are used by fixpoint to prioritize constraints by the "source-level" function.

Type for constraint tags

type TagKey = Var

The TagKey is the top-level binder, and Tag is a singleton Int list

type TagEnv = HashMap TagKey Tag

Default tag value

defaultTag :: Tag

Constructing TagEnv

makeTagEnv :: [CoreBind] -> TagEnv

Accessing TagEnv

getTag :: TagKey -> TagEnv -> Tag

memTagEnv :: TagKey -> TagEnv -> Bool