Difference between revisions of "GHC/Type system"
< GHC
Jump to navigation
Jump to search
(typo + new topic per SPJ https://ghc.haskell.org/trac/ghc/ticket/13657#comment:1) |
|||
| (One intermediate revision by one other user not shown) | |||
| Line 8: | Line 8: | ||
* '''[[GHC/Stand-alone deriving declarations|"Stand-alone deriving" declarations]]''' |
* '''[[GHC/Stand-alone deriving declarations|"Stand-alone deriving" declarations]]''' |
||
* '''[[GHC/TypeSigsAndAmbiguity|Type signatures and ambiguity]]''' |
* '''[[GHC/TypeSigsAndAmbiguity|Type signatures and ambiguity]]''' |
||
| − | * '''Overlapping instances'''. GHC supports overlapping instances, with carefully specified rules. Make sure you read the [http://www.haskell.org/ghc/docs/latest/html/users_guide/type-class-extensions.html#instance-decls relevant sections of the user manual]. Here is an |
+ | * '''Overlapping instances'''. GHC supports overlapping instances, with carefully specified rules. Make sure you read the [http://www.haskell.org/ghc/docs/latest/html/users_guide/type-class-extensions.html#instance-decls relevant sections of the user manual]. Here is an application note about [[GHC/AdvancedOverlap|advanced use of overlapping instances]], combined with functional dependencies. |
| + | * '''[[GHC/SuperClass|Super-Class Constraints: Type Families, Type Equalities, FunDep, Overlaps]]''' |
||
| + | * '''[[GHC/Coercible|Safe coercions using Coercible]]''' |
||
Revision as of 00:34, 30 May 2017
Type system extensions in GHC
GHC comes with a rather large collection of type-system extensions (beyond Haskell 98). They are all documented in the user manual, but this page is a place to record user-oriented observations, notes, and suggestions on how to use them.
- Indexed data types
- Agda-like "holes" in GHC
- "Stand-alone deriving" declarations
- Type signatures and ambiguity
- Overlapping instances. GHC supports overlapping instances, with carefully specified rules. Make sure you read the relevant sections of the user manual. Here is an application note about advanced use of overlapping instances, combined with functional dependencies.
- Super-Class Constraints: Type Families, Type Equalities, FunDep, Overlaps
- Safe coercions using Coercible