From ebe2202de7498963b37e974c1bc809050e9ca28c Mon Sep 17 00:00:00 2001 From: Rob Rix Date: Thu, 21 Dec 2017 09:53:52 -0500 Subject: [PATCH] :memo: Final. --- src/Control/Effect.hs | 1 + 1 file changed, 1 insertion(+) diff --git a/src/Control/Effect.hs b/src/Control/Effect.hs index c6a714544..d61495081 100644 --- a/src/Control/Effect.hs +++ b/src/Control/Effect.hs @@ -17,6 +17,7 @@ run = Effect.run . runEffects -- | A typeclass to run a computation to completion, interpreting each effect with some sensible defaults. class RunEffects fs a where + -- | The final result type of the computation, factoring in the results of any effects, e.g. pairing 'State' results with the final state, wrapping 'Fail' results in 'Either', etc. type Final fs a runEffects :: Eff fs a -> Eff '[] (Final fs a)