liquidhaskell-0.8.10.2: Liquid Types for Haskell
Safe HaskellNone
LanguageHaskell98

Language.Haskell.Liquid.Constraint.Qualifier

Synopsis

Documentation

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

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