From: simonpj Date: Mon, 5 Apr 2004 08:21:39 +0000 (+0000) Subject: [project @ 2004-04-05 08:21:39 by simonpj] X-Git-Tag: nhc98-1-18-release~331 X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=8a30bb840abc7aa04b8f05d05bc049009f6d1ad4;p=ghc-base.git [project @ 2004-04-05 08:21:39 by simonpj] Use consistent capitalisation --- diff --git a/Data/Typeable.hs b/Data/Typeable.hs index ff2b304..fe55219 100644 --- a/Data/Typeable.hs +++ b/Data/Typeable.hs @@ -39,13 +39,13 @@ module Data.Typeable mkTyConApp, -- :: TyCon -> [TypeRep] -> TypeRep mkAppTy, -- :: TypeRep -> TypeRep -> TypeRep mkFunTy, -- :: TypeRep -> TypeRep -> TypeRep - splitTyConApp, -- :: TypeRep -> (TyCon, [TypeRep]) - funResultTy, -- :: TypeRep -> TypeRep -> Maybe TypeRep -- * Observation of type representations - typerepTyCon, -- :: TypeRep -> TyCon - typerepArgs, -- :: TypeRep -> [TypeRep] - tyconString, -- :: TyCon -> String + splitTyConApp, -- :: TypeRep -> (TyCon, [TypeRep]) + funResultTy, -- :: TypeRep -> TypeRep -> Maybe TypeRep + typeRepTyCon, -- :: TypeRep -> TyCon + typeRepArgs, -- :: TypeRep -> [TypeRep] + tyConString, -- :: TyCon -> String -- * The other Typeable classes -- | /Note:/ The general instances are provided for GHC only. @@ -211,16 +211,16 @@ mkTyCon str = TyCon (mkTyConKey str) str ----------------- Observation --------------------- -- | Observe the type constructor of a type representation -typerepTyCon :: TypeRep -> TyCon -typerepTyCon (TypeRep _ tc _) = tc +typeRepTyCon :: TypeRep -> TyCon +typeRepTyCon (TypeRep _ tc _) = tc -- | Observe the argument types of a type representation -typerepArgs :: TypeRep -> [TypeRep] -typerepArgs (TypeRep _ _ args) = args +typeRepArgs :: TypeRep -> [TypeRep] +typeRepArgs (TypeRep _ _ args) = args -- | Observe string encoding of a type representation -tyconString :: TyCon -> String -tyconString (TyCon _ str) = str +tyConString :: TyCon -> String +tyConString (TyCon _ str) = str ----------------- Showing TypeReps --------------------