liquidhaskell-0.8.10.1: Liquid Types for Haskell
Safe HaskellNone
LanguageHaskell98

Language.Haskell.Liquid.UX.CTags

Description

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.

Synopsis

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

Accessing TagEnv

getTag :: TagKey -> TagEnv -> Tag #