tricu

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

consumer_base_effect_bundle_run.tri (1813B)


      1 !import "source.module" !Local
      2 !import "io" !Local
      3 !import "prelude" !Local
      4 root = "__ROOT__"
      5 store = "__STORE__"
      6 compare scp direct linked lambda request = bind (scp request) (a :
      7   bind (direct request) (b : bind (lambda root request) (c :
      8     bind (linked request) (d : pure (foldl and? true [(equal? a c) (equal? b c) (equal? d c)])))))
      9 check scp direct linked lambda = bind (compare scp direct linked lambda (pair "GET" "/_arboricx/health")) (a :
     10   bind (compare scp direct linked lambda (pair "GET" "/_arboricx/bundle/hash/abc123")) (b :
     11     bind (compare scp direct linked lambda (pair "GET" "/_arboricx/bundle/hash/abc999")) (c :
     12       bind (compare scp direct linked lambda (pair "POST" "/_arboricx/health")) (d :
     13         bind (compare scp direct linked lambda (pair "GET" "/random")) (e :
     14           putStrLn (matchBool "base-effect-bundle-ok" "base-effect-bundle-DIFFER"
     15             (foldl and? true [a b c d e])))))))
     16 main = io (onResult_ (sourceModuleLoadSelected store "baseEffect" "scpRoute")
     17   (problem : putStrLn (append "scp-load-error=" problem))
     18   (scp : onResult_ (sourceModuleLoadSelected store "baseEffect" "scpDirectRoute")
     19     (problem : putStrLn (append "direct-load-error=" problem))
     20     (direct : onResult_ (sourceModuleLoadSelected store "baseEffect" "scpLinkedRoute")
     21       (problem : putStrLn (append "linked-load-error=" problem))
     22       (linked : onResult_ (sourceModuleLoadSelected store "lambdaEffect" "lambdaRoute")
     23       (problem : putStrLn (append "lambda-load-error=" problem))
     24       (lambda : onResult_ (sourceModuleLoadSelected store "baseEffect" "entryProgram")
     25         (problem : putStrLn (append "source-sidecar-error=" problem))
     26         (source : lazyBool (_ : putStrLn "source-sidecar-empty")
     27           (_ : check scp direct linked lambda) (equal? source t)))))))
     28 main