ghc-7.8.0.20140228: The GHC API

Safe HaskellNone
LanguageHaskell98

TcGenDeriv

Documentation

type BagDerivStuff = Bag DerivStuff Source

data DerivStuff Source

Constructors

DerivAuxBind AuxBindSpec 
DerivTyCon TyCon 
DerivFamInst FamInst 
DerivHsBind ((Origin, LHsBind RdrName), LSig RdrName) 
DerivInst (InstInfo RdrName) 

gen_Bounded_binds :: SrcSpan -> TyCon -> (LHsBinds RdrName, BagDerivStuff) Source

gen_Enum_binds :: SrcSpan -> TyCon -> (LHsBinds RdrName, BagDerivStuff) Source

gen_Eq_binds :: SrcSpan -> TyCon -> (LHsBinds RdrName, BagDerivStuff) Source

gen_Ix_binds :: SrcSpan -> TyCon -> (LHsBinds RdrName, BagDerivStuff) Source

gen_Ord_binds :: SrcSpan -> TyCon -> (LHsBinds RdrName, BagDerivStuff) Source

gen_Read_binds :: FixityEnv -> SrcSpan -> TyCon -> (LHsBinds RdrName, BagDerivStuff) Source

gen_Show_binds :: FixityEnv -> SrcSpan -> TyCon -> (LHsBinds RdrName, BagDerivStuff) Source

gen_Data_binds :: DynFlags -> SrcSpan -> TyCon -> (LHsBinds RdrName, BagDerivStuff) Source

gen_old_Typeable_binds :: DynFlags -> SrcSpan -> TyCon -> LHsBinds RdrName Source

gen_Typeable_binds :: DynFlags -> SrcSpan -> TyCon -> LHsBinds RdrName Source

gen_Functor_binds :: SrcSpan -> TyCon -> (LHsBinds RdrName, BagDerivStuff) Source

data FFoldType a Source

Constructors

FT 

Fields

ft_triv :: a
 
ft_var :: a
 
ft_co_var :: a
 
ft_fun :: a -> a -> a
 
ft_tup :: TupleSort -> [a] -> a
 
ft_ty_app :: Type -> a -> a
 
ft_bad_app :: a
 
ft_forall :: TcTyVar -> a -> a
 

functorLikeTraverse Source

Arguments

:: forall a . 
=> TyVar

Variable to look for

-> FFoldType a

How to fold

-> Type

Type to process

-> a 

deepSubtypesContaining :: TyVar -> Type -> [TcType] Source

foldDataConArgs :: FFoldType a -> DataCon -> [a] Source

gen_Foldable_binds :: SrcSpan -> TyCon -> (LHsBinds RdrName, BagDerivStuff) Source

gen_Traversable_binds :: SrcSpan -> TyCon -> (LHsBinds RdrName, BagDerivStuff) Source

mkCoerceClassMethEqn :: Class -> [TyVar] -> [Type] -> Type -> Id -> Pair Type Source

gen_Newtype_binds :: SrcSpan -> Class -> [TyVar] -> [Type] -> Type -> LHsBinds RdrName Source

genAuxBinds :: SrcSpan -> BagDerivStuff -> SeparateBagsDerivStuff Source

ordOpTbl :: [(Type, (RdrName, RdrName, RdrName, RdrName, RdrName))] Source

boxConTbl :: [(Type, RdrName)] Source

mkRdrFunBind :: Located RdrName -> [LMatch RdrName (LHsExpr RdrName)] -> (Origin, LHsBind RdrName) Source