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

Reformat runDomainEffects.

Browse Source
This commit is contained in:
Rob Rix 2018-12-18 14:16:42 -05:00
parent f37b417fd9
commit e84204bbcc
1 changed files with 11 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
src/Semantic/Analysis.hs
View File

@ -126,7 +126,17 @@ runDomainEffects :: ( AbstractValue term address value (DomainC term address val
=> (term -> Evaluator term address value (DomainC term address value m) value)
-> Module (Either (proxy lang) term)
-> Evaluator term address value m value
runDomainEffects runTerm = raiseHandler runInterpose . runUnit . runBitwise . runNumeric . runString . runBoolean . runWhile . runFunction runTerm . either ((unit <*) . definePrelude) runTerm . moduleBody
runDomainEffects runTerm
= raiseHandler runInterpose
. runUnit
. runBitwise
. runNumeric
. runString
. runBoolean
. runWhile
. runFunction runTerm
. either ((unit <*) . definePrelude) runTerm
. moduleBody
-- | Evaluate a term recursively, applying the passed function at every recursive position.
--