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

forLoop in terms of withLexicalScopeAndFrame

Browse Source
This commit is contained in:
joshvera 2018-11-02 16:17:32 -04:00
parent 595b3d8747
commit cb8a1222c0
1 changed files with 13 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -163,14 +163,24 @@ doWhile :: (Member (While value) sig, Carrier sig m)
doWhile body cond = body *> while cond body doWhile body cond = body *> while cond body
-- | C-style for loops. -- | C-style for loops.
forLoop :: (Member (While value) sig, Member (Env address) sig, Carrier sig m) forLoop :: ( Carrier sig m
, Member (Allocator address) sig
, Member (Reader ModuleInfo) sig
, Member (Reader Span) sig
, Member (Resumable (BaseError (HeapError address))) sig
, Member (Resumable (BaseError (ScopeError address))) sig
, Member (State (Heap address address value)) sig
, Member (State (ScopeGraph address)) sig
, Member (While value) sig
, Member Fresh sig
, Ord address
)
=> Evaluator term address value m value -- ^ Initial statement => Evaluator term address value m value -- ^ Initial statement
-> Evaluator term address value m value -- ^ Condition -> Evaluator term address value m value -- ^ Condition
-> Evaluator term address value m value -- ^ Increment/stepper -> Evaluator term address value m value -- ^ Increment/stepper
-> Evaluator term address value m value -- ^ Body -> Evaluator term address value m value -- ^ Body
-> Evaluator term address value m value -> Evaluator term address value m value
forLoop initial cond step body = forLoop initial cond step body = initial *> while cond ((withLexicalScopeAndFrame body) *> step)
locally (initial *> while cond (body *> step))
data While value m k data While value m k
= While (m value) (m value) (value -> k) = While (m value) (m value) (value -> k)