Language.Haskell.Liquid.Constraint.Qualifier

Documentation

qualifiers :: GhcInfo -> SEnv Sort -> [Qualifier]

useSpcQuals :: HasConfig t => t -> Bool

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