associativity | |

1 (Function) | Test.SmallCheck.Laws.Monoid |

2 (Function) | Test.SmallCheck.Laws.Monad |

associativitySum | |

1 (Function) | Test.SmallCheck.Laws.Monoid |

2 (Function) | Test.SmallCheck.Laws.Monad |

composition | |

1 (Function) | Test.SmallCheck.Laws.Functor |

2 (Function) | Test.SmallCheck.Laws.Applicative |

compositionSum | |

1 (Function) | Test.SmallCheck.Laws.Functor |

2 (Function) | Test.SmallCheck.Laws.Applicative |

homomorphism | Test.SmallCheck.Laws.Applicative |

homomorphismSum | Test.SmallCheck.Laws.Applicative |

identity | |

1 (Function) | Test.SmallCheck.Laws.Functor |

2 (Function) | Test.SmallCheck.Laws.Applicative |

interchange | Test.SmallCheck.Laws.Applicative |

interchangeSum | Test.SmallCheck.Laws.Applicative |

leftIdentity | Test.SmallCheck.Laws.Monoid |

mconcatProp | Test.SmallCheck.Laws.Monoid |

rightIdentity | Test.SmallCheck.Laws.Monoid |