Glasgow Haskell Compiler
9.6.6
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. Using the GHC WebAssembly backend
15. Known bugs and infelicities
16. Eventlog encodings
17. 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