liquidhaskell-boot-0.9.10.1.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