io.atlassian.fugue.quickcheck

Class EitherPropertiesTest

java.lang.Object

io.atlassian.fugue.quickcheck.EitherPropertiesTest

public class EitherPropertiesTest
extends Object

Constructor Summary

Constructors

Constructor and Description
EitherPropertiesTest()

Method Summary

Modifier and Type	Method and Description
<E,A,B,C> void	satisfiesApplicativeCompositionLaw(Either<E,Function<B,C>> fbc, Either<E,Function<A,B>> fab, Either<E,A> fa)
<E,A,B,C> void	satisfiesFunctorCompositeLaw(Either<E,A> fa, Function<A,B> f, Function<B,C> g)
<E,A> void	satisfiesFunctorIdentityLaw(Either<E,A> fa)
<E,A,B> void	satisfiesMonadLeftIdentityLaw(A a, Function<A,Either<E,B>> f)
<E,A> void	satisfiesMonadRightIdentityLaw(Either<E,A> fa)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

EitherPropertiesTest

public EitherPropertiesTest()

Method Detail

satisfiesFunctorIdentityLaw

public <E,A> void satisfiesFunctorIdentityLaw(Either<E,A> fa)

satisfiesFunctorCompositeLaw

public <E,A,B,C> void satisfiesFunctorCompositeLaw(Either<E,A> fa,
                                                   Function<A,B> f,
                                                   Function<B,C> g)

satisfiesMonadRightIdentityLaw

public <E,A> void satisfiesMonadRightIdentityLaw(Either<E,A> fa)

satisfiesMonadLeftIdentityLaw

public <E,A,B> void satisfiesMonadLeftIdentityLaw(A a,
                                                  Function<A,Either<E,B>> f)

satisfiesApplicativeCompositionLaw

public <E,A,B,C> void satisfiesApplicativeCompositionLaw(Either<E,Function<B,C>> fbc,
                                                         Either<E,Function<A,B>> fab,
                                                         Either<E,A> fa)