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

import (
	"context"

	ET "github.com/IBM/fp-go/either"
	O "github.com/IBM/fp-go/option"
	RE "github.com/IBM/fp-go/readereither/generic"
)

func MakeReaderEither[A any](f func(context.Context) ET.Either[error, A]) ReaderEither[A] {
	return RE.MakeReaderEither[ReaderEither[A]](f)
}

func FromEither[A any](e ET.Either[error, A]) ReaderEither[A] {
	return RE.FromEither[ReaderEither[A]](e)
}

func Left[A any](l error) ReaderEither[A] {
	return RE.Left[ReaderEither[A]](l)
}

func Right[A any](r A) ReaderEither[A] {
	return RE.Right[ReaderEither[A]](r)
}

func MonadMap[A, B any](fa ReaderEither[A], f func(A) B) ReaderEither[B] {
	return RE.MonadMap[ReaderEither[A], ReaderEither[B]](fa, f)
}

func Map[A, B any](f func(A) B) func(ReaderEither[A]) ReaderEither[B] {
	return RE.Map[ReaderEither[A], ReaderEither[B]](f)
}

func MonadChain[A, B any](ma ReaderEither[A], f func(A) ReaderEither[B]) ReaderEither[B] {
	return RE.MonadChain(ma, f)
}

func Chain[A, B any](f func(A) ReaderEither[B]) func(ReaderEither[A]) ReaderEither[B] {
	return RE.Chain[ReaderEither[A]](f)
}

func Of[A any](a A) ReaderEither[A] {
	return RE.Of[ReaderEither[A]](a)
}

func MonadAp[A, B any](fab ReaderEither[func(A) B], fa ReaderEither[A]) ReaderEither[B] {
	return RE.MonadAp[ReaderEither[A], ReaderEither[B]](fab, fa)
}

func Ap[A, B any](fa ReaderEither[A]) func(ReaderEither[func(A) B]) ReaderEither[B] {
	return RE.Ap[ReaderEither[A], ReaderEither[B], ReaderEither[func(A) B]](fa)
}

func FromPredicate[A any](pred func(A) bool, onFalse func(A) error) func(A) ReaderEither[A] {
	return RE.FromPredicate[ReaderEither[A]](pred, onFalse)
}

func OrElse[A any](onLeft func(error) ReaderEither[A]) func(ReaderEither[A]) ReaderEither[A] {
	return RE.OrElse[ReaderEither[A]](onLeft)
}

func Ask() ReaderEither[context.Context] {
	return RE.Ask[ReaderEither[context.Context]]()
}

func MonadChainEitherK[A, B any](ma ReaderEither[A], f func(A) ET.Either[error, B]) ReaderEither[B] {
	return RE.MonadChainEitherK[ReaderEither[A], ReaderEither[B]](ma, f)
}

func ChainEitherK[A, B any](f func(A) ET.Either[error, B]) func(ma ReaderEither[A]) ReaderEither[B] {
	return RE.ChainEitherK[ReaderEither[A], ReaderEither[B]](f)
}

func ChainOptionK[A, B any](onNone func() error) func(func(A) O.Option[B]) func(ReaderEither[A]) ReaderEither[B] {
	return RE.ChainOptionK[ReaderEither[A], ReaderEither[B]](onNone)
}

func MonadFlap[B, A any](fab ReaderEither[func(A) B], a A) ReaderEither[B] {
	return RE.MonadFlap[ReaderEither[func(A) B], ReaderEither[B]](fab, a)
}

func Flap[B, A any](a A) func(ReaderEither[func(A) B]) ReaderEither[B] {
	return RE.Flap[ReaderEither[func(A) B], ReaderEither[B]](a)
}