9fc69c9 · typeable/refined-containers

git.iko.soy/typeable/refined-containers

Docs fixes

commit9fc69c966e6569ea2b6711285f324c5ddb516833 authormniip <mniip@mniip.com> dateMon 18 Nov 2024, 01:55 (2 years ago) parentc63b76a

2 files changed+5−5

unifiedsplit

src/Data/HashSet/Refined.hs+3−3

@@ -112,9 +112,9 @@ import Unsafe.Coerce

112112-- need to pattern match on this 'Dict'.

113113--

114114-- The reason is that in the default /fast/ implementation of reflection, we

115−-- don't have @'Typeable' s@, which "Refined" wants for pretty-printing

116−-- exceptions. We /can/ provide @'Typeable' s@, but at the cost of using the

117−-- /slow/ implementation of reflection.

115+-- don't have @'Data.Typeable.Typeable' s@, which "Refined" wants for

116+-- pretty-printing exceptions. We /can/ provide @'Data.Typeable.Typeable' s@,

117+-- but at the cost of using the /slow/ implementation of reflection.

118118revealPredicate

119119 :: forall s a. (Typeable a, Hashable a, KnownHashSet s a)

120120 => Dict (Predicate (InSet 'Hashed s) a)

src/Data/IntSet/Refined.hs+2−2

@@ -119,8 +119,8 @@ import qualified Data.List as List

119119--

120120-- The reason is that in the default /fast/ implementation of reflection, we

121121-- don't have @'Data.Typeable.Typeable' s@, which "Refined" wants for

122−-- pretty-printing exceptions. We /can/ provide @'Data.TypeableTypeable' s@, but

123−-- at the cost of using the /slow/ implementation of reflection.

122+-- pretty-printing exceptions. We /can/ provide @'Data.Typeable.Typeable' s@,

123+-- but at the cost of using the /slow/ implementation of reflection.

124124revealPredicate

125125 :: forall s. KnownIntSet s => Dict (Predicate (InSet 'Int s) Int)

126126revealPredicate = reifyTypeable (reflect (Proxy @s))