@@ -593,15 +593,13 @@ runLoop fuel prog onEmpty
593593||| responsibility of an implementation of an interface in IO which uses it
594594||| to ensure that it isn't duplicated.
595595export
596−runWith : {resf : _} ->
597− Env res -> STrans IO a res (\result => resf result) ->
596+runWith : Env res -> STrans IO a res resf ->
598597 IO (result ** Env (resf result))
599598runWith env prog = runST env prog (\res, env' => pure (res ** env'))
600599
601600export
602−runWithLoop : {resf : _} ->
603− Env res -> Fuel -> STransLoop IO a res (\result => resf result) ->
604− IO (Maybe (result ** Env (resf result)))
601+runWithLoop : Env res -> Fuel -> STransLoop IO a res resf ->
602+ IO (Maybe (result ** Env (resf result)))
605603runWithLoop env fuel prog
606604 = runSTLoop fuel env prog (\res, env' => pure (Just (res ** env')))
607605 (pure Nothing)