// 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 ioeither

import (
	"fmt"

	E "github.com/IBM/fp-go/either"
)

func ExampleIOEither_creation() {
	// Build an IOEither
	leftValue := Left[string](fmt.Errorf("some error"))
	rightValue := Right[error]("value")

	// Convert from Either
	eitherValue := E.Of[error](42)
	ioFromEither := FromEither(eitherValue)

	// some predicate
	isEven := func(num int) (int, error) {
		if num%2 == 0 {
			return num, nil
		}
		return 0, fmt.Errorf("%d is an odd number", num)
	}
	fromEven := Eitherize1(isEven)
	leftFromPred := fromEven(3)
	rightFromPred := fromEven(4)

	fmt.Println(leftValue())
	fmt.Println(rightValue())
	fmt.Println(ioFromEither())
	fmt.Println(leftFromPred())
	fmt.Println(rightFromPred())

	// Output:
	// Left[*errors.errorString, string](some error)
	// Right[<nil>, string](value)
	// Right[<nil>, int](42)
	// Left[*errors.errorString, int](3 is an odd number)
	// Right[<nil>, int](4)

}