| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Language.Haskell.Liquid.Transforms.Simplify
Documentation
simplifyBounds :: SpecType -> SpecType Source #
liquidhaskell-0.8.0.2: Liquid Types for Haskell
| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Language.Haskell.Liquid.Transforms.Simplify
simplifyBounds :: SpecType -> SpecType Source #