Index
| HoleyMonoid | Data.HoleyMonoid |
| later | Data.HoleyMonoid |
| map | Data.HoleyMonoid |
| now | Data.HoleyMonoid |
| run | Data.HoleyMonoid |
HoleyMonoid-0.1: Monoids with holes.
Index
| HoleyMonoid | Data.HoleyMonoid |
| later | Data.HoleyMonoid |
| map | Data.HoleyMonoid |
| now | Data.HoleyMonoid |
| run | Data.HoleyMonoid |