mirror of
https://github.com/IBM/fp-go.git
synced 2025-11-25 22:21:49 +02:00
61 lines
1.0 KiB
Go
61 lines
1.0 KiB
Go
|
package testing
|
||
|
|
|
||
|
|
import (
|
||
|
|
"testing"
|
||
|
|
|
||
|
|
ET "github.com/ibm/fp-go/either"
|
||
|
|
EQ "github.com/ibm/fp-go/eq"
|
||
|
|
L "github.com/ibm/fp-go/internal/monad/testing"
|
||
|
|
)
|
||
|
|
|
||
|
|
// AssertLaws asserts the apply monad laws for the `Either` monad
|
||
|
|
func AssertLaws[E, A, B, C any](t *testing.T,
|
||
|
|
eqe EQ.Eq[E],
|
||
|
|
eqa EQ.Eq[A],
|
||
|
|
eqb EQ.Eq[B],
|
||
|
|
eqc EQ.Eq[C],
|
||
|
|
|
||
|
|
ab func(A) B,
|
||
|
|
bc func(B) C,
|
||
|
|
) func(a A) bool {
|
||
|
|
|
||
|
|
return L.AssertLaws(t,
|
||
|
|
ET.Eq(eqe, eqa),
|
||
|
|
ET.Eq(eqe, eqb),
|
||
|
|
ET.Eq(eqe, eqc),
|
||
|
|
|
||
|
|
ET.Of[E, A],
|
||
|
|
ET.Of[E, B],
|
||
|
|
ET.Of[E, C],
|
||
|
|
|
||
|
|
ET.Of[E, func(A) A],
|
||
|
|
ET.Of[E, func(A) B],
|
||
|
|
ET.Of[E, func(B) C],
|
||
|
|
ET.Of[E, func(func(A) B) B],
|
||
|
|
|
||
|
|
ET.MonadMap[E, A, A],
|
||
|
|
ET.MonadMap[E, A, B],
|
||
|
|
ET.MonadMap[E, A, C],
|
||
|
|
ET.MonadMap[E, B, C],
|
||
|
|
|
||
|
|
ET.MonadMap[E, func(B) C, func(func(A) B) func(A) C],
|
||
|
|
|
||
|
|
ET.MonadChain[E, A, A],
|
||
|
|
ET.MonadChain[E, A, B],
|
||
|
|
ET.MonadChain[E, A, C],
|
||
|
|
ET.MonadChain[E, B, C],
|
||
|
|
|
||
|
|
ET.MonadAp[E, A, A],
|
||
|
|
ET.MonadAp[E, A, B],
|
||
|
|
ET.MonadAp[E, B, C],
|
||
|
|
ET.MonadAp[E, A, C],
|
||
|
|
|
||
|
|
ET.MonadAp[E, func(A) B, B],
|
||
|
|
ET.MonadAp[E, func(A) B, func(A) C],
|
||
|
|
|
||
|
|
ab,
|
||
|
|
bc,
|
||
|
|
)
|
||
|
|
|
||
|
|
}
|