haddock

Portabilityportable
Stabilityexperimental
Maintainerhaddock@projects.haskell.org
Safe HaskellSafe-Infered

Haddock.Convert

Description

Conversion between TyThing and HsDecl. This functionality may be moved into GHC at some point.

Documentation

data SynifyTypeState

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!