~/jendhub

def finish_read

bend-prot@0.1.0.0 · pdb.bend:471

import bend-prot@0.1.0.0/pdb.bend as Pdb
import Base
import bend-prot@0.1.0.0/protein.bend as P

471def finish_read(fr: File & Result<&1, &1, U32 & String, String>) -> IO(P.Complex & Nat):
472  match fr:
473    case (fh2, res):
474      do IO<P.Complex & Nat>:
475        text : String <- IO.pass(String, res)
476        File.close(fh2)
477        return parse_pdb(text)

Uses (15)

Used by (1)