-module(gleam@function).
-compile(no_auto_import).

-export([compose/2, curry2/1, curry3/1, curry4/1, curry5/1, curry6/1, flip/1, identity/1, constant/1, tap/2]).

-spec compose(fun((AMT) -> AMU), fun((AMU) -> AMV)) -> fun((AMT) -> AMV).
compose(Fun1, Fun2) ->
    fun(A) -> Fun2(Fun1(A)) end.

-spec curry2(fun((AMW, AMX) -> AMY)) -> fun((AMW) -> fun((AMX) -> AMY)).
curry2(Fun) ->
    fun(A) -> fun(B) -> Fun(A, B) end end.

-spec curry3(fun((ANA, ANB, ANC) -> AND)) -> fun((ANA) -> fun((ANB) -> fun((ANC) -> AND))).
curry3(Fun) ->
    fun(A) -> fun(B) -> fun(C) -> Fun(A, B, C) end end end.

-spec curry4(fun((ANF, ANG, ANH, ANI) -> ANJ)) -> fun((ANF) -> fun((ANG) -> fun((ANH) -> fun((ANI) -> ANJ)))).
curry4(Fun) ->
    fun(A) -> fun(B) -> fun(C) -> fun(D) -> Fun(A, B, C, D) end end end end.

-spec curry5(fun((ANL, ANM, ANN, ANO, ANP) -> ANQ)) -> fun((ANL) -> fun((ANM) -> fun((ANN) -> fun((ANO) -> fun((ANP) -> ANQ))))).
curry5(Fun) ->
    fun(A) ->
        fun(B) ->
            fun(C) -> fun(D) -> fun(E) -> Fun(A, B, C, D, E) end end end
        end
    end.

-spec curry6(fun((ANS, ANT, ANU, ANV, ANW, ANX) -> ANY)) -> fun((ANS) -> fun((ANT) -> fun((ANU) -> fun((ANV) -> fun((ANW) -> fun((ANX) -> ANY)))))).
curry6(Fun) ->
    fun(A) ->
        fun(B) ->
            fun(C) ->
                fun(D) -> fun(E) -> fun(F) -> Fun(A, B, C, D, E, F) end end end
            end
        end
    end.

-spec flip(fun((AOA, AOB) -> AOC)) -> fun((AOB, AOA) -> AOC).
flip(Fun) ->
    fun(B, A) -> Fun(A, B) end.

-spec identity(AOD) -> AOD.
identity(X) ->
    X.

-spec constant(AOE) -> fun((any()) -> AOE).
constant(Value) ->
    fun(_) -> Value end.

-spec tap(AOG, fun((AOG) -> any())) -> AOG.
tap(Arg, Effect) ->
    Effect(Arg),
    Arg.