liquidhaskell-0.8.2.2: Liquid Types for Haskell
Language.Haskell.Liquid.Constraint.Qualifier
Synopsis
qualifiers :: GhcInfo -> SEnv Sort -> [Qualifier] Source #
useSpcQuals :: HasConfig t => t -> Bool Source #
Use explicitly given qualifiers .spec or source (.hs, .lhs) files