liquidhaskell-boot-0.9.2.5.0: Liquid Types for Haskell

Safe Haskell	Safe-Inferred
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