Glasgow Haskell Compiler
9.13.20241030
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.11. Type signatures
6.11.1. Explicit universal quantification (forall)
6.11.2. Ambiguous types and the ambiguity check
6.11.3. Named
default
declarations
6.11.4. Explicitly-kinded quantification
6.11.5. Lexically scoped type variables
6.11.6. Implicit parameters
6.11.7. Partial 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. FFI and the JavaScript Backend
15. Using the GHC WebAssembly backend
16. Known bugs and infelicities
17. Eventlog encodings
18. Glossary
19. Care and feeding of your GHC User’s Guide
Glasgow Haskell Compiler
6.
Language extensions
6.11.
Type signatures
View page source
6.11.
Type signatures
¶
6.11.1. Explicit universal quantification (forall)
6.11.2. Ambiguous types and the ambiguity check
6.11.3. Named
default
declarations
6.11.4. Explicitly-kinded quantification
6.11.5. Lexically scoped type variables
6.11.6. Implicit parameters
6.11.7. Partial Type Signatures