def load_pdb_file

bend-prot@0.1.0.0 · pdb.bend:479

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

479# Whole file from disk -> (Complex, skipped lines). Reads at most 1 MiB.
480def load_pdb_file(path: String) -> IO(P.Complex & Nat):
481  do IO<P.Complex & Nat>:
482    fh : File <- IO.try(File, File.open(path, "r"))
483    fr : File & Result<&1, &1, U32 & String, String> <- File.read(fh, 1048576)
484    finish_read(fr)