2023-07-23 22:05:54 +02:00
|
|
|
// Copyright (c) 2023 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 endomorphism
|
|
|
|
|
|
|
|
import (
|
2023-12-17 12:34:15 +01:00
|
|
|
G "github.com/IBM/fp-go/endomorphism/generic"
|
2023-07-23 22:05:54 +02:00
|
|
|
M "github.com/IBM/fp-go/monoid"
|
|
|
|
S "github.com/IBM/fp-go/semigroup"
|
|
|
|
)
|
|
|
|
|
2023-12-17 12:34:15 +01:00
|
|
|
// Endomorphism is a function that
|
|
|
|
type Endomorphism[A any] func(A) A
|
|
|
|
|
|
|
|
// Of converts any function to an [Endomorphism]
|
|
|
|
func Of[F ~func(A) A, A any](f F) Endomorphism[A] {
|
|
|
|
return G.Of[Endomorphism[A]](f)
|
|
|
|
}
|
|
|
|
|
2024-01-11 17:18:35 +01:00
|
|
|
// Wrap converts any function to an [Endomorphism]
|
|
|
|
func Wrap[F ~func(A) A, A any](f F) Endomorphism[A] {
|
|
|
|
return G.Wrap[Endomorphism[A]](f)
|
|
|
|
}
|
|
|
|
|
|
|
|
// Unwrap converts any [Endomorphism] to a function
|
|
|
|
func Unwrap[F ~func(A) A, A any](f Endomorphism[A]) F {
|
|
|
|
return G.Unwrap[F](f)
|
|
|
|
}
|
|
|
|
|
2023-12-17 12:34:15 +01:00
|
|
|
// Identity returns the identity [Endomorphism]
|
|
|
|
func Identity[A any]() Endomorphism[A] {
|
|
|
|
return G.Identity[Endomorphism[A]]()
|
|
|
|
}
|
|
|
|
|
2023-07-23 22:05:54 +02:00
|
|
|
// Semigroup for the Endomorphism where the `concat` operation is the usual function composition.
|
2023-12-17 12:34:15 +01:00
|
|
|
func Semigroup[A any]() S.Semigroup[Endomorphism[A]] {
|
|
|
|
return G.Semigroup[Endomorphism[A]]()
|
2023-07-23 22:05:54 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
// Monoid for the Endomorphism where the `concat` operation is the usual function composition.
|
2023-12-17 12:34:15 +01:00
|
|
|
func Monoid[A any]() M.Monoid[Endomorphism[A]] {
|
|
|
|
return G.Monoid[Endomorphism[A]]()
|
2023-07-23 22:05:54 +02:00
|
|
|
}
|