prologue 3.1.2 → 3.1.3

raw patch · 2 files changed

+6/−3 lines, 2 files

Files

• prologue.cabal +2/−2
• src/Prologue/Type/Reflection.hs +4/−1

@@ -2,10 +2,10 @@ -- -- see: https://github.com/sol/hpack ----- hash: c14e8d1572f59dfd8bb5ce1553872376e7511245b19a81b704cceb5e7dce1a4d+-- hash: 6bf442b119d920bdb4e10b74b62f5eb4ae96bb065d13b1d1758bc3b2cfa1515b  name:           prologue-version:        3.1.2+version:        3.1.3 synopsis:       Better, more general Prelude exporting common utilities. description:    Replacement for the Haskell's Prelude, exposing more commonly used functions and patching old GHC ones to behave in the newest GHC's way. category:       control

@@ -1,4 +1,5 @@ {-# LANGUAGE AllowAmbiguousTypes #-}+{-# LANGUAGE TypeInType          #-}  module Prologue.Type.Reflection (module Prologue.Type.Reflection, module X) where @@ -25,7 +26,8 @@ typeOfProxy :: forall proxy a. Typeable a => proxy a -> TypeRep a typeOfProxy _ = typeRep @a ; {-# INLINE typeOfProxy #-} -+-- x :: SomeTypeRep+-- x = someTypeRep @Maybe -- type family Typeables ls :: Constraint where --     Typeables '[] = () --     Typeables (l ': ls) = (Typeable l, Typeables2 ls)@@ -35,3 +37,4 @@     someTypeReps = someTypeRep @l : someTypeReps @ls ; {-# INLINE someTypeReps #-} instance Typeables '[] where     someTypeReps = [] ; {-# INLINE someTypeReps #-}+