1
1
mirror of https://github.com/github/semantic.git synced 2025-01-03 04:51:57 +03:00

📝 Final.

This commit is contained in:
Rob Rix 2017-12-21 09:53:52 -05:00
parent f7e805c649
commit ebe2202de7

View File

@ -17,6 +17,7 @@ run = Effect.run . runEffects
-- | A typeclass to run a computation to completion, interpreting each effect with some sensible defaults. -- | A typeclass to run a computation to completion, interpreting each effect with some sensible defaults.
class RunEffects fs a where 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 type Final fs a
runEffects :: Eff fs a -> Eff '[] (Final fs a) runEffects :: Eff fs a -> Eff '[] (Final fs a)