Impl.read_line.if: def of bend-stdio-pipes@0.2.0.0
Import: import bend-stdio-pipes@0.2.0.0/impl.bend as Impl
Lines 57-71 of bend-stdio-pipes@0.2.0.0/impl.bend: https://jend.leeeet.dev/read.txt?path=bend-stdio-pipes@0.2.0.0/impl.bend&start_line=57&end_line=71

import Base

def read_line.if(
  file: File,
  ended: Bool,
  piece: String
) -> IO(File & Result<&1, &1, U32 & String, Maybe<String>>):
  match ended:
    case True{}:
      IO.pure(
        File & Result<&1, &1, U32 & String, Maybe<String>>,
        (file, Done{Some{read_line.unended(piece)}})
      )
    case False{}:
      do IO<File & Result<&1, &1, U32 & String, Maybe<String>>>:
        next: File & Result<&1, &1, U32 & String, String> <- File.read_line(file, 1)
        return read_line.peeked(next, piece)

Uses (13):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=File
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.bind
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.pure
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bend-stdio-pipes@0.2.0.0/impl.bend&name=read_line.peeked
  https://jend.leeeet.dev/definition.txt?path=bend-stdio-pipes@0.2.0.0/impl.bend&name=read_line.unended