ghc-7.4.1: The GHC API

Safe Haskell	Safe-Infered

TcGenDeriv

Documentation

type BagDerivStuff = Bag DerivStuff Source

data DerivStuff Source

Constructors

DerivAuxBind AuxBindSpec
DerivTyCon TyCon
DerivFamInst TyCon
DerivHsBind (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 :: SrcSpan -> TyCon -> (LHsBinds RdrName, BagDerivStuff)Source

gen_Typeable_binds :: 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

:: 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

genAuxBinds :: SrcSpan -> BagDerivStuff -> SeparateBagsDerivStuffSource

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

boxConTbl :: [(Type, RdrName)]Source