Index - L
| leftAdjoint | Data.Category.Adjunction |
| leftAdjunct | Data.Category.Adjunction |
| leftUnitor | Data.Category.Monoidal |
| leftUnitorInv | Data.Category.Monoidal |
| Limit | Data.Category.Limit |
| limit | Data.Category.Limit |
| limitAdj | Data.Category.Adjunction |
| limitFactorizer | Data.Category.Limit |
| LimitFam | Data.Category.Limit |
| LimitFunctor | |
| 1 (Data Constructor) | Data.Category.Limit |
| 2 (Type/Class) | Data.Category.Limit |
| limitUniv | Data.Category.Limit |
| LimitUniversal | Data.Category.Limit |
| limitUniversal | Data.Category.Limit |
| listComonadDuplicate | Data.Category.Monoid |
| listComonadExtract | Data.Category.Monoid |
| listMonadJoin | Data.Category.Monoid |
| listMonadReturn | Data.Category.Monoid |