Glasgow Haskell Compiler
9.4.0.20220623
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. Explicitly-kinded quantification
6.11.4. Lexically scoped type variables
6.11.5. Implicit parameters
6.11.6. 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. 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.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. Explicitly-kinded quantification
6.11.4. Lexically scoped type variables
6.11.5. Implicit parameters
6.11.6. Partial Type Signatures