liquidhaskell-boot-0.9.2.5.0: Liquid Types for Haskell
Safe HaskellSafe-Inferred
LanguageHaskell98

Language.Haskell.Liquid.Constraint.Qualifier

Synopsis

Documentation

giQuals :: TargetInfo -> SEnv Sort -> [Qualifier] Source #

useSpcQuals :: HasConfig t => t -> Bool Source #

Use explicitly given qualifiers .spec or source (.hs, .lhs) files