1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
|
-- |
-- Module : Basement.Compat.Typeable
-- License : BSD-style
-- Maintainer : Nicolas Di Prima <nicolas@primetype.co.uk>
-- Stability : statble
-- Portability : portable
--
-- conveniently provide support for legacy and modern base
--
{-# LANGUAGE CPP #-}
module Basement.Compat.Typeable
(
#if MIN_VERSION_base(4,7,0)
Typeable
#else
Typeable(..)
, typeRep
#endif
) where
#if !MIN_VERSION_base(4,7,0)
import Data.Proxy (Proxy(..))
import qualified Prelude (undefined)
#endif
import Data.Typeable
#if !MIN_VERSION_base(4,7,0)
-- this function does not exist prior base 4.7
typeRep :: Typeable a => Proxy a -> TypeRep
typeRep = typeRep' Prelude.undefined
where
typeRep' :: Typeable a => a -> Proxy a -> TypeRep
typeRep' a _ = typeOf a
{-# INLINE typeRep' #-}
#endif
|
