From af5a9355dc62ed2ba92ed8b736200b04cde17164 Mon Sep 17 00:00:00 2001 From: Rob Rix Date: Thu, 21 Dec 2017 09:51:44 -0500 Subject: [PATCH] :memo: RunEffects. --- src/Control/Effect.hs | 1 + 1 file changed, 1 insertion(+) diff --git a/src/Control/Effect.hs b/src/Control/Effect.hs index a8dfb7d3f..4861f2795 100644 --- a/src/Control/Effect.hs +++ b/src/Control/Effect.hs @@ -14,6 +14,7 @@ import Data.Set run :: RunEffects fs a => Eff fs a -> Final fs a run = Effect.run . runEffects +-- | A typeclass to run a computation to completion, interpreting each effect with some sensible defaults. class RunEffects fs a where type Final fs a runEffects :: Eff fs a -> Eff '[] (Final fs a)