io.atlassian.fugue.quickcheck

Class OptionPropertiesTest

java.lang.Object

io.atlassian.fugue.quickcheck.OptionPropertiesTest

public class OptionPropertiesTest
extends Object

Constructor Summary

Constructors

Constructor and Description
OptionPropertiesTest()

Method Summary

Modifier and Type	Method and Description
<A,B,C> void	satisfiesFunctorCompositeLaw(Option<A> fa, Function<A,B> f, Function<B,C> g)
<A> void	satisfiesFunctorIdentityLaw(Option<A> fa)
<A,B,C> void	satisfiesMonadAssociativeLaw(Option<A> fa, Function<A,Option<B>> f, Function<B,Option<C>> g)
<A,B> void	satisfiesMonadLeftIdentityLaw(A a, Function<A,Option<B>> f)
<A> void	satisfiesMonadRightIdentityLaw(Option<A> fa)

Methods inherited from class java.lang.Object

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

Constructor Detail

OptionPropertiesTest

public OptionPropertiesTest()

Method Detail

satisfiesFunctorIdentityLaw

public <A> void satisfiesFunctorIdentityLaw(Option<A> fa)

satisfiesFunctorCompositeLaw

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

satisfiesMonadRightIdentityLaw

public <A> void satisfiesMonadRightIdentityLaw(Option<A> fa)

satisfiesMonadLeftIdentityLaw

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

satisfiesMonadAssociativeLaw

public <A,B,C> void satisfiesMonadAssociativeLaw(Option<A> fa,
                                                 Function<A,Option<B>> f,
                                                 Function<B,Option<C>> g)