tricu

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

indexed-transport.tri (477B)

      1 !import io_v2 as IO
      2 !export verifyTail
      3 !export wrongKind
      4 
      5 verifyTail path limit tree = IO.io <| IO.scope (owner : do IO.onOk
      6   reader <- IO.openReader owner path
      7   IO.verifyIndexedTree reader limit tree
      8   IO.readSome reader 1)
      9 
     10 -- A bad resource kind is rejected before demanding the value to encode.
     11 diverge seed = diverge seed
     12 wrongKind seed = IO.io <| IO.scope (owner : do IO.onOk
     13   digest <- IO.openDigest owner "sha256"
     14   IO.verifyIndexedTree digest 65536 (diverge seed))