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

📝 runValueEffects.

This commit is contained in:
Rob Rix 2018-10-26 12:56:13 -04:00
parent 141ed75d40
commit 33f20e0cf5

View File

@ -102,6 +102,7 @@ evalTerm :: ( Carrier sig m
-> term -> Evaluator term address value m address
evalTerm perTerm = fix (perTerm (\ ev -> eval ev . project)) >=> address
-- | Run a set of value effects, for which a 'Carrier' is assumed to exist.
runValueEffects :: ( AbstractValue term address value (ValueC term address value m)
, Carrier sig m
, booleanC ~ BooleanC value (Eff (InterposeC (Resumable (BaseError (UnspecializedError value))) (Eff m)))