// 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.

///|
pub using @buffer {type Buffer}

///|
pub using @set {type Set}

///|
pub using @bigint {type BigInt}

///|
pub using @builtin {
  abort,
  assert_true,
  assert_false,
  compare,
  debug_assert,
  fail,
  ignore,
  hash,
  inspect,
  panic,
  physical_equal,
  println,
  eprintln,
  trait Eq,
  trait Compare,
  trait Hash,
  trait Logger,
  trait Show,
  trait Default,
  trait Add,
  trait Sub,
  trait Mul,
  trait Div,
  trait Mod,
  trait Neg,
  trait Shl,
  trait Shr,
  trait BitAnd,
  trait BitOr,
  trait BitXOr,
  type ArgsLoc,
  type Array,
  type ArrayView,
  type MutArrayView,
  type UninitializedArray,
  type Failure,
  type Hasher,
  type Iter,
  type Iter2,
  type Map,
  type InspectError,
  type SnapshotError,
  type SourceLoc,
  type StringBuilder,
}

///|
pub using @builtin {
  type Unit,
  type Bool,
  type Byte,
  type Char,
  type Int,
  type Int32,
  type Int64,
  type UInt,
  type UInt32,
  type UInt16,
  type UInt64,
  type Double,
  type String,
  type V128,
  type Bytes,
  type StringView,
  type BytesView,
  type FixedArray,
  type ReadOnlyArray,
  type Error,
  type FuncRef,
  type Option,
  type Result,
}

///|
pub using @int16 {type Int16}

///|
pub using @float {type Float}

///|
#deprecated("Use !expr instead")
#warnings("-deprecated")
pub using @builtin {not}

///|
pub using @debug {debug, type Repr, trait Debug, debug_inspect, repr}

///|
#deprecated("Use `Repr(x)` instead")
#warnings("-deprecated")
pub using @debug {to_repr}

///|
#deprecated("for debugging only, not for production")
#warnings("-deprecated")
pub using @debug {dump}

///|
pub using @string {type Regex}

///|
pub using @bytes {type BytesRegex}

///|
/// Applies a function to a value and returns the original value.
///
/// # Parameters
/// * `value`: The value to pass to the function.
/// * `f`: The function to apply to the value.
///
/// # Returns
/// The original value, unchanged.
///
#deprecated("use `value |> x => { ... ; x} instead")
pub fn[T] tap(value : T, f : (T) -> Unit raise) -> T raise {
  f(value)
  value
}

///|
/// Applies a function to a value and returns the result of the function.
///
/// # Parameters
/// * `value`: The value to pass to the function.
/// * `f`: The function to apply to the value.
///
/// # Returns
/// The result of applying the function to the value.
///
/// # Examples
/// ```mbt check
/// test {
///   let x = 5
///   let result = x |> n => { n * 2 }
///   @test.assert_eq(result, 10)
/// }
/// ```
/// 
/// ```mbt check
/// test {
///   try {
///     let _ : Unit = 5 |> x => { fail(x.to_string()) }
///   } catch {
///     Failure(_) => ()
///   } noraise {
///     _ => fail("expected failure")
///   }
/// }
/// ```
#deprecated("use `value |> (x) => {...}` operator instead")
pub fn[T, R] then(value : T, f : (T) -> R raise?) -> R raise? {
  f(value)
}

///|
/// JSON `null` constant.
pub let null : Json = @json.null

///|
pub using @json {type Json, trait ToJson, trait FromJson, json_inspect}

///|
/// Type `Iterator`.
#deprecated("The name `Iterator` is deprecated, use `Iter` instead. Note that if you have defined `iterator()` method to support `for .. in` loop, you should also rename `iterator()` to `iter()`. See https://github.com/moonbitlang/core/pull/3127 for more details.")
pub type Iterator[X] = Iter[X]

///|
/// Type `Iterator2`.
#deprecated("The name `Iterator2` is deprecated, use `Iter2` instead. Note that if you have defined `iterator2()` method to support `for .. in` loop, you should also rename `iterator2()` to `iter2()`. See https://github.com/moonbitlang/core/pull/3127 for more details.")
pub type Iterator2[X, Y] = Iter2[X, Y]

///|
pub using @ref {type Ref}

///|
pub using @lazy {type Lazy}

///|
pub using @test {assert_eq, assert_not_eq}