[ compat ] add export modifier to operator decls

stefan-hoeck · Apr 5, 2024 · 74d2c30 · 74d2c30
1 parent 2149fbd
commit 74d2c30
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Monocle/Compose.idr b/src/Monocle/Compose.idr
@@ -20,7 +20,7 @@ public export
 interface OSeq (0 k,l,m : Type -> Type -> Type -> Type -> Type) | k,l where
   seq : k s t a b -> l a b c d -> m s t c d
 
-infixl 9 .>
+export infixl 9 .>
 
 public export %inline
 (.>) : {0 k,l,m : _} -> k s t a b -> l a b c d -> OSeq k l m => m s t c d