-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]).

-spec compose(fun((ANK) -> ANL), fun((ANL) -> ANM)) -> fun((ANK) -> ANM).
compose(Fun1, Fun2) ->
    fun(A) -> Fun2(Fun1(A)) end.

-spec curry2(fun((ANN, ANO) -> ANP)) -> fun((ANN) -> fun((ANO) -> ANP)).
curry2(Fun) ->
    fun(A) -> fun(B) -> Fun(A, B) end end.

-spec curry3(fun((ANR, ANS, ANT) -> ANU)) -> fun((ANR) -> fun((ANS) -> fun((ANT) -> ANU))).
curry3(Fun) ->
    fun(A) -> fun(B) -> fun(C) -> Fun(A, B, C) end end end.

-spec curry4(fun((ANW, ANX, ANY, ANZ) -> AOA)) -> fun((ANW) -> fun((ANX) -> fun((ANY) -> fun((ANZ) -> AOA)))).
curry4(Fun) ->
    fun(A) -> fun(B) -> fun(C) -> fun(D) -> Fun(A, B, C, D) end end end end.

-spec curry5(fun((AOC, AOD, AOE, AOF, AOG) -> AOH)) -> fun((AOC) -> fun((AOD) -> fun((AOE) -> fun((AOF) -> fun((AOG) -> AOH))))).
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((AOJ, AOK, AOL, AOM, AON, AOO) -> AOP)) -> fun((AOJ) -> fun((AOK) -> fun((AOL) -> fun((AOM) -> fun((AON) -> fun((AOO) -> AOP)))))).
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((AOR, AOS) -> AOT)) -> fun((AOS, AOR) -> AOT).
flip(Fun) ->
    fun(B, A) -> Fun(A, B) end.

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

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