// Copyright 2026 International Digital Economy Academy
//
// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use this file except in compliance with the License.
// You may obtain a copy of the License at
//
//     http://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
// See the License for the specific language governing permissions and
// limitations under the License.

///|
/// Function `rev_fold`.
#deprecated("use `_.to_array().rev_fold(...)` instead")
pub fn[A, B] List::rev_fold(self : List[A], init~ : B, f : (B, A) -> B) -> B {
  let xs = self.to_array()
  for x in xs.rev_iter(); acc = (init : B) {
    continue f(acc, x)
  } nobreak {
    acc
  }
}

///|
/// Function `rev_foldi`.
#deprecated("use `_.rev().foldi(...)` instead")
pub fn[A, B] List::rev_foldi(
  self : List[A],
  init~ : B,
  f : (Int32, B, A) -> B,
) -> B {
  self.rev().foldi(init~, (i, b, a) => f(i, b, a))
}

///|
/// Function `tail`.
#deprecated("use `unsafe_tail` instead")
pub fn[A] List::tail(self : List[A]) -> List[A] {
  match self {
    Empty => Empty
    More(_, tail~) => tail
  }
}

///|
/// Parses a JSON value into a `List`.
#as_free_fn(deprecated="Use `@json.from_json` instead")
#deprecated("Use `@json.from_json` instead")
pub fn[A : @json.FromJson] List::from_json(
  json : Json,
) -> List[A] raise @json.JsonDecodeError {
  @json.from_json(json)
}

///|
/// Creates an empty list.
#alias(empty, deprecated="Use `List([])` instead")
#as_free_fn(deprecated="Use `List([])` instead")
#as_free_fn(empty, deprecated="Use `List([])` instead")
#deprecated("Use `List([])` instead")
#inline
pub fn[A] List::new() -> List[A] {
  Empty
}