liquidtypes-0.1: Liquid Types for Haskell

Safe Haskell	Safe-Infered

Language.Haskell.Liquid.Qualifier

Documentation

data Qualifier Source

Instances

Eq Qualifier
Ord Qualifier
NFData Qualifier
Outputable Qualifier
Fixpoint Qualifier

specificationQualifiers :: GhcInfo -> [Qualifier]Source