def finish_text

bend-prot@0.1.0.0 · pdb.bend:652

import bend-prot@0.1.0.0/pdb.bend as Pdb

import Base

652def finish_text(fr: File & Result<&1, &1, U32 & String, String>) -> IO(String):
653  match fr:
654    case (fh2, res):
655      do IO<String>:
656        text : String <- IO.pass(String, res)
657        File.close(fh2)
658        return text

Uses (12)

Used by (1)

bend-prot@0.1.0.0/pdb:load_text_file