| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Language.Haskell.Liquid.Constraint.Qualifier
- qualifiers :: GhcInfo -> SEnv Sort -> [Qualifier]
- useSpcQuals :: HasConfig t => t -> Bool
Documentation
qualifiers :: GhcInfo -> SEnv Sort -> [Qualifier] Source #
useSpcQuals :: HasConfig t => t -> Bool Source #
Use explicitly given qualifiers .spec or source (.hs, .lhs) files