mirror of
https://github.com/IBM/fp-go.git
synced 2025-11-25 22:21:49 +02:00
* fix: initial checkin of v2 Signed-off-by: Dr. Carsten Leue <carsten.leue@de.ibm.com> * fix: slowly migrate IO Signed-off-by: Dr. Carsten Leue <carsten.leue@de.ibm.com> * fix: migrate MonadTraverseArray and TraverseArray Signed-off-by: Dr. Carsten Leue <carsten.leue@de.ibm.com> * fix: migrate traversal Signed-off-by: Dr. Carsten Leue <carsten.leue@de.ibm.com> * fix: complete migration of IO Signed-off-by: Dr. Carsten Leue <carsten.leue@de.ibm.com> * fix: migrate ioeither Signed-off-by: Dr. Carsten Leue <carsten.leue@de.ibm.com> * fix: refactorY Signed-off-by: Dr. Carsten Leue <carsten.leue@de.ibm.com> * fix: next step in migration Signed-off-by: Dr. Carsten Leue <carsten.leue@de.ibm.com> * fix: adjust IO generation code Signed-off-by: Dr. Carsten Leue <carsten.leue@de.ibm.com> * fix: get rid of more IO methods Signed-off-by: Dr. Carsten Leue <carsten.leue@de.ibm.com> * fix: get rid of more IO * fix: convert iooption Signed-off-by: Dr. Carsten Leue <carsten.leue@de.ibm.com> * fix: convert reader Signed-off-by: Dr. Carsten Leue <carsten.leue@de.ibm.com> * fix: convert a bit of reader Signed-off-by: Dr. Carsten Leue <carsten.leue@de.ibm.com> * fix: new build script Signed-off-by: Dr. Carsten Leue <carsten.leue@de.ibm.com> * fix: cleanup Signed-off-by: Dr. Carsten Leue <carsten.leue@de.ibm.com> * fix: reformat Signed-off-by: Dr. Carsten Leue <carsten.leue@de.ibm.com> * fix: simplify Signed-off-by: Dr. Carsten Leue <carsten.leue@de.ibm.com> * fix: some cleanup Signed-off-by: Dr. Carsten Leue <carsten.leue@de.ibm.com> * fix: adjust Pair to Haskell semantic Signed-off-by: Dr. Carsten Leue <carsten.leue@de.ibm.com> * fix: documentation and testcases Signed-off-by: Dr. Carsten Leue <carsten.leue@de.ibm.com> * fix: some performance optimizations Signed-off-by: Dr. Carsten Leue <carsten.leue@de.ibm.com> * fix: remove coverage Signed-off-by: Dr. Carsten Leue <carsten.leue@de.ibm.com> * fix: better doc Signed-off-by: Dr. Carsten Leue <carsten.leue@de.ibm.com> --------- Signed-off-by: Dr. Carsten Leue <carsten.leue@de.ibm.com>
90 lines
2.4 KiB
Go
90 lines
2.4 KiB
Go
// Copyright (c) 2023 - 2025 IBM Corp.
|
|
// All rights reserved.
|
|
//
|
|
// Licensed under the Apache License, Version 2.0 (the "License");
|
|
// you may not use this file except in compliance with the License.
|
|
// You may obtain a copy of the License at
|
|
//
|
|
// http://www.apache.org/licenses/LICENSE-2.0
|
|
//
|
|
// Unless required by applicable law or agreed to in writing, software
|
|
// distributed under the License is distributed on an "AS IS" BASIS,
|
|
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
|
// See the License for the specific language governing permissions and
|
|
// limitations under the License.
|
|
|
|
package array
|
|
|
|
import (
|
|
"github.com/IBM/fp-go/v2/internal/array"
|
|
M "github.com/IBM/fp-go/v2/monoid"
|
|
S "github.com/IBM/fp-go/v2/semigroup"
|
|
)
|
|
|
|
func concat[T any](left, right []T) []T {
|
|
// some performance checks
|
|
ll := len(left)
|
|
if ll == 0 {
|
|
return right
|
|
}
|
|
lr := len(right)
|
|
if lr == 0 {
|
|
return left
|
|
}
|
|
// need to copy
|
|
buf := make([]T, ll+lr)
|
|
copy(buf[copy(buf, left):], right)
|
|
return buf
|
|
}
|
|
|
|
// Monoid returns a Monoid instance for arrays.
|
|
// The Monoid combines arrays through concatenation, with an empty array as the identity element.
|
|
//
|
|
// Example:
|
|
//
|
|
// m := array.Monoid[int]()
|
|
// result := m.Concat([]int{1, 2}, []int{3, 4}) // [1, 2, 3, 4]
|
|
// empty := m.Empty() // []
|
|
func Monoid[T any]() M.Monoid[[]T] {
|
|
return M.MakeMonoid(concat[T], Empty[T]())
|
|
}
|
|
|
|
// Semigroup returns a Semigroup instance for arrays.
|
|
// The Semigroup combines arrays through concatenation.
|
|
//
|
|
// Example:
|
|
//
|
|
// s := array.Semigroup[int]()
|
|
// result := s.Concat([]int{1, 2}, []int{3, 4}) // [1, 2, 3, 4]
|
|
func Semigroup[T any]() S.Semigroup[[]T] {
|
|
return S.MakeSemigroup(concat[T])
|
|
}
|
|
|
|
func addLen[A any](count int, data []A) int {
|
|
return count + len(data)
|
|
}
|
|
|
|
// ArrayConcatAll efficiently concatenates multiple arrays into a single array.
|
|
// This function pre-allocates the exact amount of memory needed and performs
|
|
// a single copy operation for each input array, making it more efficient than
|
|
// repeated concatenations.
|
|
//
|
|
// Example:
|
|
//
|
|
// result := array.ArrayConcatAll(
|
|
// []int{1, 2},
|
|
// []int{3, 4},
|
|
// []int{5, 6},
|
|
// ) // [1, 2, 3, 4, 5, 6]
|
|
func ArrayConcatAll[A any](data ...[]A) []A {
|
|
// get the full size
|
|
count := array.Reduce(data, addLen[A], 0)
|
|
buf := make([]A, count)
|
|
// copy
|
|
array.Reduce(data, func(idx int, seg []A) int {
|
|
return idx + copy(buf[idx:], seg)
|
|
}, 0)
|
|
// returns the final array
|
|
return buf
|
|
}
|