Index - A
| align | Data.SOP.Telescope |
| alignExtend | Data.SOP.Telescope |
| alignExtendNS | Data.SOP.Telescope |
| at | Data.SOP.OptNP |
| AtMost | Data.SOP.Counting |
| AtMostCons | Data.SOP.Counting |
| atMostFromNonEmpty | Data.SOP.Counting |
| atMostHead | Data.SOP.Counting |
| atMostInit | Data.SOP.Counting |
| atMostLast | Data.SOP.Counting |
| AtMostNil | Data.SOP.Counting |
| atMostNonEmpty | Data.SOP.Counting |
| atMostOne | Data.SOP.Counting |
| atMostZipFoldable | Data.SOP.Counting |