liquidhaskell-0.8.10.2: 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 Source #

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

Default tag value

Constructing TagEnv

Accessing TagEnv