Searched refs:writeCapOps (Results 1 – 4 of 4) sorted by relevance
64 in snd $ runWriter (runStateT (writeCapOps (capOps cap)) s0)66 writeCapOps :: CapOps -> Eval ()67 writeCapOps = mapM_ writeCapOp function84 writeCapOps expr96 then writeCapOps trueOps98 writeCapOps falseOps
64 in snd $ runWriter (runStateT (writeCapOps (capOps cap)) s0)66 writeCapOps :: CapOps -> Eval ()67 writeCapOps ops = mapM_ writeCapOp ops function84 writeCapOps expr96 then writeCapOps trueOps98 writeCapOps falseOps