empty | Data.SOP.OptNP |
Exactly | |
1 (Type/Class) | Data.SOP.Counting |
2 (Data Constructor) | Data.SOP.Counting |
ExactlyCons | Data.SOP.Counting |
exactlyHead | Data.SOP.Counting |
ExactlyNil | Data.SOP.Counting |
exactlyOne | Data.SOP.Counting |
exactlyReplicate | Data.SOP.Counting |
exactlyTail | Data.SOP.Counting |
exactlyTwo | Data.SOP.Counting |
exactlyWeaken | Data.SOP.Counting |
exactlyWeakenNonEmpty | Data.SOP.Counting |
exactlyZip | Data.SOP.Counting |
exactlyZipFoldable | Data.SOP.Counting |
Extend | |
1 (Type/Class) | Data.SOP.Telescope |
2 (Data Constructor) | Data.SOP.Telescope |
extend | Data.SOP.Telescope |
extendIf | Data.SOP.Telescope |
extendWith | Data.SOP.Telescope |