@@ -30,10 +30,10 @@ See "Strongweak" for class design notes and laws.
3030-}
3131class Weaken a where
3232 -- | The weakened type for some type.
33- type Weak a :: Type
33+ type Weakened a :: Type
3434
35- -- | Weaken some @a@ to its associated weak type @'Weak ' a@.
36- weaken :: a -> Weak a
35+ -- | Weaken some @a@ to its associated weak type @'Weakened ' a@.
36+ weaken :: a -> Weakened a
3737
3838-- | Strength enumeration: is it strong, or weak?
3939--
@@ -42,7 +42,7 @@ data Strength = Strong | Weak
4242
4343-- | Lift a function on a weak type to the associated strong type by weakening
4444-- first.
45- liftWeakF :: Weaken a => (Weak a -> b ) -> (a -> b )
45+ liftWeakF :: Weaken a => (Weakened a -> b ) -> (a -> b )
4646liftWeakF f = f . weaken
4747
4848{- | Get either the strong or weak representation of a type, depending on the
@@ -59,93 +59,93 @@ data A (s :: Strength) = A
5959@
6060-}
6161type family SW (s :: Strength ) a :: Type where
62- SW ' Strong a = a
63- SW ' Weak a = Weak a
62+ SW Strong a = a
63+ SW Weak a = Weakened a
6464
6565-- | Track multiple levels of weakening. Silly thought I had, don't think it's
6666-- useful.
6767type family SWDepth (n :: Natural ) a :: Type where
6868 SWDepth 0 a = a
69- SWDepth n a = Weak (SWDepth (n - 1 ) a )
69+ SWDepth n a = Weakened (SWDepth (n - 1 ) a )
7070
7171-- | Strip refined type refinement.
72- instance Weaken (Refined p a ) where
73- type Weak (Refined p a ) = a
72+ instance Weaken (Refined p a ) where
73+ type Weakened (Refined p a ) = a
7474 weaken = unrefine
7575
7676-- | Strip refined functor type refinement.
77- instance Weaken (Refined1 p f a ) where
78- type Weak (Refined1 p f a ) = f a
77+ instance Weaken (Refined1 p f a ) where
78+ type Weakened (Refined1 p f a ) = f a
7979 weaken = unrefine1
8080
8181-- | Weaken non-empty lists into plain lists.
82- instance Weaken (NonEmpty a ) where
83- type Weak (NonEmpty a ) = [a ]
82+ instance Weaken (NonEmpty a ) where
83+ type Weakened (NonEmpty a ) = [a ]
8484 weaken = NonEmpty. toList
8585
8686-- | Weaken sized vectors into plain lists.
8787instance VG. Vectorv a => Weaken (VGS. Vectorv n a ) where
88- type Weak (VGS. Vectorv n a ) = [a ]
88+ type Weakened (VGS. Vectorv n a ) = [a ]
8989 weaken = VGS. toList
9090
9191-- | Strip wrapper.
92- instance Weaken (Identity a ) where
93- type Weak (Identity a ) = a
92+ instance Weaken (Identity a ) where
93+ type Weakened (Identity a ) = a
9494 weaken = runIdentity
9595
9696-- | Strip wrapper.
97- instance Weaken (Const a b ) where
98- type Weak (Const a b ) = a
97+ instance Weaken (Const a b ) where
98+ type Weakened (Const a b ) = a
9999 weaken = getConst
100100
101101{- TODO controversial. seems logical, but also kinda annoying.
102102-- | Weaken 'Maybe' (0 or 1) into '[]' (0 to n).
103103instance Weaken (Maybe a) where
104- type Weak (Maybe a) = [a]
104+ type Weakened (Maybe a) = [a]
105105 weaken = \case Just a -> [a]
106106 Nothing -> []
107107-}
108108
109109-- Weaken the bounded Haskell numeric types using 'fromIntegral'.
110- instance Weaken Word8 where
111- type Weak Word8 = Natural
110+ instance Weaken Word8 where
111+ type Weakened Word8 = Natural
112112 weaken = fromIntegral
113- instance Weaken Word16 where
114- type Weak Word16 = Natural
113+ instance Weaken Word16 where
114+ type Weakened Word16 = Natural
115115 weaken = fromIntegral
116- instance Weaken Word32 where
117- type Weak Word32 = Natural
116+ instance Weaken Word32 where
117+ type Weakened Word32 = Natural
118118 weaken = fromIntegral
119- instance Weaken Word64 where
120- type Weak Word64 = Natural
119+ instance Weaken Word64 where
120+ type Weakened Word64 = Natural
121121 weaken = fromIntegral
122- instance Weaken Int8 where
123- type Weak Int8 = Integer
122+ instance Weaken Int8 where
123+ type Weakened Int8 = Integer
124124 weaken = fromIntegral
125- instance Weaken Int16 where
126- type Weak Int16 = Integer
125+ instance Weaken Int16 where
126+ type Weakened Int16 = Integer
127127 weaken = fromIntegral
128- instance Weaken Int32 where
129- type Weak Int32 = Integer
128+ instance Weaken Int32 where
129+ type Weakened Int32 = Integer
130130 weaken = fromIntegral
131- instance Weaken Int64 where
132- type Weak Int64 = Integer
131+ instance Weaken Int64 where
132+ type Weakened Int64 = Integer
133133 weaken = fromIntegral
134134
135135--------------------------------------------------------------------------------
136136
137137-- | Decomposer. Weaken every element in a list.
138138instance Weaken a => Weaken [a ] where
139- type Weak [a ] = [Weak a ]
139+ type Weakened [a ] = [Weakened a ]
140140 weaken = map weaken
141141
142142-- | Decomposer. Weaken both elements of a tuple.
143143instance (Weaken a , Weaken b ) => Weaken (a , b ) where
144- type Weak (a , b ) = (Weak a , Weak b )
144+ type Weakened (a , b ) = (Weakened a , Weakened b )
145145 weaken (a, b) = (weaken a, weaken b)
146146
147147-- | Decomposer. Weaken either side of an 'Either'.
148148instance (Weaken a , Weaken b ) => Weaken (Either a b ) where
149- type Weak (Either a b ) = Either Weak a ) (Weak b )
149+ type Weakened (Either a b ) = Either Weakened a ) (Weakened b )
150150 weaken = \ case Left -> Left $ weaken a
151151 Right -> Right $ weaken b
0 commit comments