-module(gleam@function).
-compile([no_auto_import, nowarn_unused_vars]).

-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((ETI) -> ETJ), fun((ETJ) -> ETK)) -> fun((ETI) -> ETK).
compose(Fun1, Fun2) ->
    fun(A) -> Fun2(Fun1(A)) end.

-spec curry2(fun((ETL, ETM) -> ETN)) -> fun((ETL) -> fun((ETM) -> ETN)).
curry2(Fun) ->
    fun(A) -> fun(B) -> Fun(A, B) end end.

-spec curry3(fun((ETP, ETQ, ETR) -> ETS)) -> fun((ETP) -> fun((ETQ) -> fun((ETR) -> ETS))).
curry3(Fun) ->
    fun(A) -> fun(B) -> fun(C) -> Fun(A, B, C) end end end.

-spec curry4(fun((ETU, ETV, ETW, ETX) -> ETY)) -> fun((ETU) -> fun((ETV) -> fun((ETW) -> fun((ETX) -> ETY)))).
curry4(Fun) ->
    fun(A) -> fun(B) -> fun(C) -> fun(D) -> Fun(A, B, C, D) end end end end.

-spec curry5(fun((EUA, EUB, EUC, EUD, EUE) -> EUF)) -> fun((EUA) -> fun((EUB) -> fun((EUC) -> fun((EUD) -> fun((EUE) -> EUF))))).
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((EUH, EUI, EUJ, EUK, EUL, EUM) -> EUN)) -> fun((EUH) -> fun((EUI) -> fun((EUJ) -> fun((EUK) -> fun((EUL) -> fun((EUM) -> EUN)))))).
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((EUP, EUQ) -> EUR)) -> fun((EUQ, EUP) -> EUR).
flip(Fun) ->
    fun(B, A) -> Fun(A, B) end.

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

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

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

-spec apply1(fun((EUX) -> EUY), EUX) -> EUY.
apply1(Fun, Arg1) ->
    Fun(Arg1).

-spec apply2(fun((EUZ, EVA) -> EVB), EUZ, EVA) -> EVB.
apply2(Fun, Arg1, Arg2) ->
    Fun(Arg1, Arg2).

-spec apply3(fun((EVC, EVD, EVE) -> EVF), EVC, EVD, EVE) -> EVF.
apply3(Fun, Arg1, Arg2, Arg3) ->
    Fun(Arg1, Arg2, Arg3).