Merge pull request #43 from andrevidela/fixity-visibility-modifiers

Add export modifiers to fixity
stefan-hoeck · Sep 6, 2024 · e0600f1 · e0600f1
2 parents 55b975a + 19ded1d
commit e0600f1
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/Sqlite3/Cmd.idr b/src/Sqlite3/Cmd.idr
@@ -8,7 +8,7 @@ import Sqlite3.Types
 
 %default total
 
-infix 1 .=
+export infix 1 .=
 
 ||| We can always convert a list of marshallable Idris values to
 ||| a list of SQL expressions.
@@ -407,7 +407,7 @@ public export
 0 LQuery : List Type -> Type
 LQuery = Query . HList
 
-infixl 7 `GROUP_BY`,`ORDER_BY`,`WHERE`, `LIMIT`, `OFFSET`, `HAVING`
+export infixl 7 `GROUP_BY`,`ORDER_BY`,`WHERE`, `LIMIT`, `OFFSET`, `HAVING`
 
 public export %inline
 SELECT :