Glasgow Haskell Compiler
9.6.0.20230128
1. Introduction
2. Release notes
3. Using GHCi
4. Using runghc
5. Using GHC
6. Language extensions
6.1. Introduction
6.2. Syntax
6.3. Import and export
6.4. Types
6.5. Records
6.6. Deriving mechanism
6.7. Patterns
6.8. Class and instances declarations
6.9. Literals
6.10. Constraints
6.10.1. Loosening restrictions on class contexts
6.10.2. Equality constraints and Coercible constraint
6.10.3. The
Constraint
kind
6.10.4. Quantified constraints
6.11. Type signatures
6.12. Bindings and generalisation
6.13. Template Haskell
6.14. Bang patterns and Strict Haskell
6.15. Parallel and Concurrent
6.16. Unboxed types and primitive operations
6.17. Foreign function interface (FFI)
6.18. Safe Haskell
6.19. Miscellaneous
6.20. Pragmas
7. Extending and using GHC as a Library
8. Profiling
9. Debugging compiled programs
10. What to do when something goes wrong
11. Hints
12. Other Haskell utility programs
13. Running GHC on Win32 systems
14. Known bugs and infelicities
15. Eventlog encodings
16. Care and feeding of your GHC User’s Guide
Glasgow Haskell Compiler
Docs
»
6. Language extensions
»
6.10. Constraints
View page source
6.10. Constraints
¶
6.10.1. Loosening restrictions on class contexts
6.10.2. Equality constraints and Coercible constraint
6.10.3. The
Constraint
kind
6.10.4. Quantified constraints