From 0ddc5807cab7cf3b791b1de4cffe2b1165b2480d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Roman=20Smr=C5=BE?= <roman.smrz@seznam.cz>
Date: Sun, 19 Jul 2026 13:56:21 +0200
Subject: Evaluation of Expr type

---
 src/Expr.hs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/Expr.hs')

diff --git a/src/Expr.hs b/src/Expr.hs
index fa17158..b4ea0b0 100644
--- a/src/Expr.hs
+++ b/src/Expr.hs
@@ -17,7 +17,7 @@ data Expr c a where
     App :: Expr c (a -> b) -> Expr c a -> Expr c b
     GetContext :: Expr c c
     AddDependency :: ExprContext c => ExprDependency c -> Expr c a -> Expr c a
-    ExprIO :: IO a -> Expr c a
+    ExprIO :: (a -> IO b) -> Expr c a -> Expr c b
 
 instance Functor (Expr c) where
     fmap f x = Pure f <*> x
@@ -47,5 +47,5 @@ collectDependencies = \case
     ExprIO {} -> mempty
 
 
-exprIO :: IO a -> Expr c a
+exprIO :: (a -> IO b) -> Expr c a -> Expr c b
 exprIO = ExprIO
-- 
cgit v1.2.3