liquidhaskell-boot-0.9.6.3: Liquid Types for Haskell
Safe HaskellSafe-Inferred
LanguageHaskell98

Language.Haskell.Liquid.Transforms.Simplify

Documentation

simplifyBounds :: SpecType -> SpecType Source #