Impl.read_line.peeked: def of bend-stdio-pipes@0.2.0.0
Import: import bend-stdio-pipes@0.2.0.0/impl.bend as Impl
Lines 33-45 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=33&end_line=45

import Base

# A line with no LF that ends the input is the last line; one that does not is too long.
def read_line.peeked(
  next: File & Result<&1, &1, U32 & String, String>,
  text: String
) -> File
  & Result<&1, &1, U32 & String, Maybe<String>>:
  match next:
    case (file, Fail{error}):
      (file, Fail{error})
    case (file, Done{SNil{}}):
      (file, Done{Some{text}})
    case (file, Done{SCon{_, _}}):
      (file, Fail{(7, "a line is longer than its cap")})

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=File
  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