hotscript-state-monad-idea.ts

type MergeParameters3<T extends readonly UnknownFunction[]> = H.Pipe<
  T,
  [
    H.Let<"parametersList", H.Tuples.Map<H.Functions.Parameters>>,
    H.Let<
      "longestLength",
      H.ComposeLeft<
        [
          H.Get<"parametersList">,
          H.Tuples.Map<H.Tuples.Length>,
          H.Tuples.Reduce<H.Numbers.Max, 0>
        ]
      >
    >,
    H.Let<
      "unknownPadding",
      H.Tuples.Map<
        H.ComposeLeft<
          [
            H.Numbers.Sub<H.Get<"longestLength">, H._>,
            H.Tuples.Range<0>,
            H.Tuples.Map<H.Constant<unknown>>
          ]
        >,
        H.Get<"parametersList">
      >
    >,
    H.Let<
      "unknownPadding",
      H.Tuples.Map<
        H.ComposeLeft<
          [
            H.Numbers.Sub<H.Get<"longestLength">, H._>,
            H.Tuples.Range<0>,
            H.Tuples.Map<H.Constant<unknown>>
          ]
        >,
        H.Get<"parametersList">
      >
    >,
    H.Tuples.ZipWith<
      H.Tuples.Concat,
      H.Get<"parametersList">,
      H.Get<"unknownPadding">
    >,
    Transpose,
    H.Tuples.Map<H.Tuples.Reduce<H.Objects.Assign, {}>>
  ]
>;