github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-22 14:21:31 +03:00
Code Issues Projects Releases Wiki Activity

Generalize disjunction over the carrier.

Browse Source
This commit is contained in:
Rob Rix 2018-10-23 11:39:09 -04:00
parent c53a6aa511
commit c4aaa86230
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/Control/Abstract/Value.hs
View File

@ -126,7 +126,7 @@ ifthenelse :: (Member (Boolean value) sig, Carrier sig m, Monad m) => value -> m
ifthenelse v t e = asBool v >>= \ c -> if c then t else e ifthenelse v t e = asBool v >>= \ c -> if c then t else e
-- | Compute the disjunction (boolean or) of two computed values. This should have short-circuiting semantics where applicable. -- | Compute the disjunction (boolean or) of two computed values. This should have short-circuiting semantics where applicable.
disjunction :: (Member (Boolean value) sig, Carrier sig m) => Evaluator term address value m value -> Evaluator term address value m value -> Evaluator term address value m value disjunction :: (Member (Boolean value) sig, Carrier sig m) => m value -> m value -> m value
disjunction a b = send (Disjunction a b ret) disjunction a b = send (Disjunction a b ret)
data Boolean value m k data Boolean value m k