9fc69c9 · typeable/refined-containers

git.iko.soy/typeable/refined-containers

on main help sign in

Docs fixes

9fc69c9mniip2 years ago

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

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

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

113--

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

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

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

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

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

117−-- /slow/ implementation of reflection.

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

118revealPredicate

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

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

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

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

119--

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

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

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

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

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

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

124revealPredicate

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

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