-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, apply1/2, apply2/3, apply3/4]).

-spec compose(fun((EMR) -> EMS), fun((EMS) -> EMT)) -> fun((EMR) -> EMT).
compose(Fun1, Fun2) ->
    fun(A) -> Fun2(Fun1(A)) end.

-spec curry2(fun((EMU, EMV) -> EMW)) -> fun((EMU) -> fun((EMV) -> EMW)).
curry2(Fun) ->
    fun(A) -> fun(B) -> Fun(A, B) end end.

-spec curry3(fun((EMY, EMZ, ENA) -> ENB)) -> fun((EMY) -> fun((EMZ) -> fun((ENA) -> ENB))).
curry3(Fun) ->
    fun(A) -> fun(B) -> fun(C) -> Fun(A, B, C) end end end.

-spec curry4(fun((END, ENE, ENF, ENG) -> ENH)) -> fun((END) -> fun((ENE) -> fun((ENF) -> fun((ENG) -> ENH)))).
curry4(Fun) ->
    fun(A) -> fun(B) -> fun(C) -> fun(D) -> Fun(A, B, C, D) end end end end.

-spec curry5(fun((ENJ, ENK, ENL, ENM, ENN) -> ENO)) -> fun((ENJ) -> fun((ENK) -> fun((ENL) -> fun((ENM) -> fun((ENN) -> ENO))))).
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((ENQ, ENR, ENS, ENT, ENU, ENV) -> ENW)) -> fun((ENQ) -> fun((ENR) -> fun((ENS) -> fun((ENT) -> fun((ENU) -> fun((ENV) -> ENW)))))).
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((ENY, ENZ) -> EOA)) -> fun((ENZ, ENY) -> EOA).
flip(Fun) ->
    fun(B, A) -> Fun(A, B) end.

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

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

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

-spec apply1(fun((EOG) -> EOH), EOG) -> EOH.
apply1(Fun, Arg1) ->
    Fun(Arg1).

-spec apply2(fun((EOI, EOJ) -> EOK), EOI, EOJ) -> EOK.
apply2(Fun, Arg1, Arg2) ->
    Fun(Arg1, Arg2).

-spec apply3(fun((EOL, EOM, EON) -> EOO), EOL, EOM, EON) -> EOO.
apply3(Fun, Arg1, Arg2, Arg3) ->
    Fun(Arg1, Arg2, Arg3).