diff options
Diffstat (limited to 'src/Expr.hs')
| -rw-r--r-- | src/Expr.hs | 4 |
1 files changed, 2 insertions, 2 deletions
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 |