| 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] #
useSpcQuals :: HasConfig t => t -> Bool #
Use explicitly given qualifiers .spec or source (.hs, .lhs) files