tricu

An interpreted language for exploring Tree Calculus
Log | Files | Refs | README | LICENSE

registryEffects.tri (418B)

      1 !import prelude *
      2 !import tests_httpEffects as Effects
      3 !export *
      4 
      5 -- Test-only adapter for arbitrary registry entrypoints. Reuse the checked
      6 -- fuel-bounded Pure/Bind interpreter; never invoke host IO here.
      7 call function arguments script = Effects.run (foldl (fn argument : fn argument) function arguments) script
      8 
      9 program ("tricuIO", (1, action)) script = Effects.run action script
     10 program _ _ = "Invalid IO program"