|
Haddock.Convert | Portability | portable | Stability | experimental | Maintainer | haddock@projects.haskell.org |
|
|
|
Description |
Conversion between TyThing and HsDecl. This functionality may be moved into
GHC at some point.
|
|
|
Documentation |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Constructors | WithinType | normal situation. This is the safe one to use if you don't
quite understand what's going on.
| ImplicitizeForAll | beginning of a function definition, in which, to make it look
less ugly, those rank-1 foralls are made implicit.
| DeleteTopLevelQuantification | because in class methods the context is added to the type
(e.g. adding forall a. Num a => to (+) :: a -> a -> a)
which is rather sensible,
but we want to restore things to the source-syntax situation where
the defining class gets to quantify all its functions for free!
|
|
|
|
|
|
|
|
Produced by Haddock version 2.6.0 |