mirror of
https://github.com/IBM/fp-go.git
synced 2025-11-23 22:14:53 +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>
66 lines
2.4 KiB
Go
66 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 either provides the Either monad, a data structure representing a value of one of two possible types.
|
|
//
|
|
// Either is commonly used for error handling, where by convention:
|
|
// - Left represents an error or failure case (type E)
|
|
// - Right represents a success case (type A)
|
|
//
|
|
// # Core Concepts
|
|
//
|
|
// The Either type is a discriminated union that can hold either a Left value (typically an error)
|
|
// or a Right value (typically a successful result). This makes it ideal for computations that may fail.
|
|
//
|
|
// # Basic Usage
|
|
//
|
|
// // Creating Either values
|
|
// success := either.Right[error](42) // Right value
|
|
// failure := either.Left[int](errors.New("oops")) // Left value
|
|
//
|
|
// // Pattern matching with Fold
|
|
// result := either.Fold(
|
|
// func(err error) string { return "Error: " + err.Error() },
|
|
// func(n int) string { return fmt.Sprintf("Success: %d", n) },
|
|
// )(success)
|
|
//
|
|
// // Chaining operations (short-circuits on Left)
|
|
// result := either.Chain(func(n int) either.Either[error, int] {
|
|
// return either.Right[error](n * 2)
|
|
// })(success)
|
|
//
|
|
// # Monadic Operations
|
|
//
|
|
// Either implements the Monad interface, providing:
|
|
// - Map: Transform the Right value
|
|
// - Chain (FlatMap): Chain computations that may fail
|
|
// - Ap: Apply a function wrapped in Either
|
|
//
|
|
// # Error Handling
|
|
//
|
|
// Either provides utilities for working with Go's error type:
|
|
// - TryCatchError: Convert (value, error) tuples to Either
|
|
// - UnwrapError: Convert Either back to (value, error) tuple
|
|
// - FromError: Create Either from error-returning functions
|
|
//
|
|
// # Subpackages
|
|
//
|
|
// - either/exec: Execute system commands returning Either
|
|
// - either/http: HTTP request builders returning Either
|
|
// - either/testing: Testing utilities for Either laws
|
|
package either
|
|
|
|
//go:generate go run .. either --count 15 --filename gen.go
|