... | ... | @@ -39,16 +39,24 @@ Organized following the structure of the [ Haskell 98 Report](http://www.haskell |
|
|
- [NewtypeDeriving](newtype-deriving)
|
|
|
- Type Classes and Overloading
|
|
|
|
|
|
- [ClassMethodTypes](class-method-types)
|
|
|
- [TypeSynonymInstances](type-synonym-instances)
|
|
|
- [FlexibleInstances](flexible-instances) or [UndecidableInstances](undecidable-instances)
|
|
|
- [MultiParamTypeClasses](multi-param-type-classes)
|
|
|
- [OverlappingInstances](overlapping-instances) or [IncoherentInstances](incoherent-instances)
|
|
|
- [FunctionalDependencies](functional-dependencies)
|
|
|
- [AssociatedTypes](associated-types)
|
|
|
- [ImplicitParams](implicit-params)
|
|
|
- [LinearImplicitParams](linear-implicit-params)
|
|
|
- [Defaulting](defaulting)
|
|
|
- Class Declarations
|
|
|
|
|
|
- [ClassMethodTypes](class-method-types)
|
|
|
- [MultiParamTypeClasses](multi-param-type-classes)
|
|
|
- [FunctionalDependencies](functional-dependencies)
|
|
|
- [AssociatedTypes](associated-types)
|
|
|
- Instance Declarations
|
|
|
|
|
|
- [TypeSynonymInstances](type-synonym-instances)
|
|
|
- [FlexibleInstances](flexible-instances) or [UndecidableInstances](undecidable-instances)
|
|
|
- [OverlappingInstances](overlapping-instances) or [IncoherentInstances](incoherent-instances)
|
|
|
- Ambiguous Types, and Defaults
|
|
|
|
|
|
- [Defaulting](defaulting)
|
|
|
- Implicit Parameters (new)
|
|
|
|
|
|
- [ImplicitParams](implicit-params)
|
|
|
- [LinearImplicitParams](linear-implicit-params)
|
|
|
- Nested Declarations
|
|
|
|
|
|
- [Rank2Types](rank2-types) or [RankNTypes](rank-n-types)
|
... | ... | |