haddock-2.7.0: A documentation-generation tool for Haskell libraries Source code Contents Index

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

tyThingToLHsDecl :: TyThing -> LHsDecl Name Source

synifyClassAT :: TyCon -> LTyClDecl Name Source

synifyTyCon :: TyCon -> TyClDecl Name Source

synifyDataCon :: Bool -> DataCon -> LConDecl Name Source

synifyName :: NamedThing n => n -> Located Name Source

synifyIdSig :: SynifyTypeState -> Id -> Sig Name Source

synifyCtx :: [PredType] -> LHsContext Name Source

synifyPred :: PredType -> LHsPred Name Source

synifyTyVars :: [TyVar] -> [LHsTyVarBndr Name] Source

data SynifyTypeState Source

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!

synifyType :: SynifyTypeState -> Type -> LHsType Name Source

synifyInstHead :: ([TyVar], [PredType], Class, [Type]) -> ([HsPred Name], Name, [HsType Name]) Source

Produced by Haddock version 2.6.0