Strongweak: re-export SWCoercibly

raehik · Oct 17, 2024 · 71dad8b · 71dad8b
1 parent a691d0f
commit 71dad8b
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/Strongweak.hs b/src/Strongweak.hs
@@ -14,6 +14,7 @@ module Strongweak
 
   -- * Other definitions
   , WeakenN(..)
+  , SWCoercibly(..)
   , liftWeakF
 
   -- * Strength switch wrapper