Strongweak: re-export WeakenN, SWN

raehik · Oct 16, 2024 · 9b40f0a · 9b40f0a
1 parent 6b470f9
commit 9b40f0a
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/Strongweak.hs b/src/Strongweak.hs
@@ -13,17 +13,20 @@ module Strongweak
   , Strengthen(..)
 
   -- * Other definitions
+  , WeakenN(..)
   , liftWeakF
 
   -- * Strength switch wrapper
   , Strength(..)
   , type SW
+  , type SWN
 
   ) where
 
 import Strongweak.Weaken
 import Strongweak.Strengthen
 import Strongweak.Strength
+import Strongweak.WeakenN
 
 {- $strongweak-instance-design