Fetch list of harmonie files

2025-02-01 21:20:27 +02:00
parent 94d0612d80
commit d9303c2e16
3 changed files with 21 additions and 12 deletions
@@ -26,7 +26,7 @@ object GribParser {
    loop(0L, List.empty)
  }

-  def parseGrib(path: Path, ptr: Long): IO[Grib] = {
+  private def parseGrib(path: Path, ptr: Long): IO[Grib] = {
    for {
      res0 <- parse0(path, ptr)
      (version, discipline, gribLength, len0) = res0