liquidhaskell-0.8.10.2: Liquid Types for Haskell

Safe Haskell	None
Language	Haskell98

Language.Haskell.Liquid.Constraint.Qualifier

Synopsis

giQuals :: TargetInfo -> SEnv Sort -> [Qualifier]
useSpcQuals :: HasConfig t => t -> Bool

Documentation

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

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

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