From ff82a2400141386f96038b05b45a2ba9078e858e Mon Sep 17 00:00:00 2001
From: Kiana Sheibani <kiana.a.sheibani@gmail.com>
Date: Mon, 6 Mar 2023 21:37:27 -0500
Subject: [PATCH] Define Sieve and Cosieve interfaces

---
 Data/Profunctor/Sieve.idr | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

diff --git a/Data/Profunctor/Sieve.idr b/Data/Profunctor/Sieve.idr
index e69de29..152707c 100644
--- a/Data/Profunctor/Sieve.idr
+++ b/Data/Profunctor/Sieve.idr
@@ -0,0 +1,15 @@
+module Data.Profunctor.Sieve
+
+import Data.Profunctor
+
+%default total
+
+
+public export
+interface (Profunctor p, Functor f) => Sieve p f | p where
+  sieve : p a b -> a -> f b
+
+
+public export
+interface (Profunctor p, Functor f) => Cosieve p f | p where
+  cosieve : p a b -> f a -> b