liquidhaskell-0.8.10.2: Liquid Types for Haskell
Safe HaskellNone
LanguageHaskell98

Language.Haskell.Liquid.Types.Meet

Description

This code has various wrappers around meet and strengthen that are here so that we can throw decent error messages if they fail. The module depends on RefType and Tidy.

Documentation