Index
| Cardinality | Data.Finitary |
| end | Data.Finitary |
| Finitary | Data.Finitary |
| fromFinite | Data.Finitary |
| inhabitants | Data.Finitary |
| inhabitantsFrom | Data.Finitary |
| inhabitantsFromTo | Data.Finitary |
| inhabitantsTo | Data.Finitary |
| next | Data.Finitary |
| previous | Data.Finitary |
| start | Data.Finitary |
| toFinite | Data.Finitary |