Test.SmallCheck.Laws.Applicative

Applicative laws

identity

composition

compositionSum

homomorphism

homomorphismSum

interchange

interchangeSum