| absurd | Yaya.Applied |
| Algebra | Yaya.Fold |
| AlgebraM | Yaya.Fold |
| AlgebraPrism | Yaya.Fold |
| ana | Yaya.Fold, Yaya.Retrofit |
| AndMaybe | Yaya.Pattern |
| apo | Yaya.Zoo |
| attributeAlgebra | Yaya.Fold |
| attributeCoalgebra | Yaya.Fold |
| BialgebraIso | Yaya.Fold |
| binarySequence | Yaya.Fold.Common |
| birecursiveIso | Yaya.Fold |
| Both | Yaya.Pattern |
| cata | Yaya.Fold, Yaya.Retrofit |
| cata2 | Yaya.Fold |
| cataM | Yaya.Zoo |
| Coalgebra | Yaya.Fold |
| CoalgebraM | Yaya.Fold |
| CoalgebraPrism | Yaya.Fold |
| cocontramap | Yaya.Zoo |
| colambek | Yaya.Fold |
| Colist | Yaya.Zoo |
| comap | Yaya.Zoo |
| comutu | Yaya.Zoo |
| constAna | Yaya.Fold |
| constantly | Yaya.Applied |
| constCata | Yaya.Fold |
| constEmbed | Yaya.Fold |
| constProject | Yaya.Fold |
| contramap | Yaya.Zoo |
| Corecursive | Yaya.Fold, Yaya.Retrofit |
| DFunctor | Yaya.Functor |
| distCofreeT | Yaya.Fold.Native |
| distEnvT | Yaya.Fold |
| distIdentity | Yaya.Fold |
| DistributiveLaw | Yaya.Fold |
| distTuple | Yaya.Fold |
| dmap | Yaya.Functor |
| ElgotAlgebra | Yaya.Fold |
| ElgotAlgebraM | Yaya.Fold |
| elgotAna | Yaya.Fold |
| elgotCata | Yaya.Fold |
| elgotCataM | Yaya.Fold |
| ElgotCoalgebra | Yaya.Fold |
| embed | Yaya.Fold, Yaya.Retrofit |
| equal | Yaya.Fold.Common |
| ezygoM | Yaya.Fold |
| fibonacci | Yaya.Applied |
| fibonacciPolynomials | Yaya.Applied |
| firstMap | Yaya.Functor |
| Fix | |
| 1 (Type/Class) | Yaya.Fold.Native |
| 2 (Data Constructor) | Yaya.Fold.Native |
| foldl | Yaya.Experimental.Foldable |
| foldMap | Yaya.Experimental.Foldable |
| foldr | Yaya.Experimental.Foldable |
| fromEither | Yaya.Fold.Common |
| fromMaybe | Yaya.Applied |
| fromPartial | Yaya.Zoo |
| GAlgebra | Yaya.Fold |
| GAlgebraM | Yaya.Fold |
| gana | Yaya.Fold |
| gcata | Yaya.Fold |
| gcataM | Yaya.Fold |
| GCoalgebra | Yaya.Fold |
| GCoalgebraM | Yaya.Fold |
| gmutu | Yaya.Zoo |
| height | |
| 1 (Function) | Yaya.Fold.Common |
| 2 (Function) | Yaya.Applied |
| HFunctor | Yaya.Functor |
| histo | Yaya.Zoo |
| hmap | Yaya.Functor |
| ignoringAttribute | Yaya.Fold |
| Indeed | Yaya.Pattern |
| insidePartial | Yaya.Zoo |
| jacobsthal | Yaya.Applied |
| lambek | Yaya.Fold |
| le | Yaya.Fold.Common |
| List | Yaya.Zoo |
| Listable | Yaya.Experimental.Foldable |
| lowerAlgebra | Yaya.Fold |
| lowerAlgebraM | Yaya.Fold |
| lowerCoalgebra | Yaya.Fold |
| lowerCoalgebraM | Yaya.Fold |
| lowerDay | Yaya.Fold |
| lowerMonad | Yaya.Fold.Common |
| lowerMonoid | Yaya.Fold.Common |
| lowerSemigroup | Yaya.Fold.Common |
| lucas | Yaya.Applied |
| lucasSequence' | Yaya.Fold.Common |
| lucasSequenceU | Yaya.Applied |
| lucasSequenceV | Yaya.Applied |
| map | Yaya.Zoo |
| maybeReify | Yaya.Applied |
| mersenne | Yaya.Applied |
| Mu | |
| 1 (Type/Class) | Yaya.Fold |
| 2 (Data Constructor) | Yaya.Fold |
| mutu | Yaya.Zoo |
| mutuM | Yaya.Zoo |
| Nat | Yaya.Zoo |
| naturalList | Yaya.Experimental.Foldable |
| naturals | Yaya.Applied |
| Neither | Yaya.Pattern |
| never | Yaya.Fold.Common |
| NonEmptyList | Yaya.Zoo |
| now | Yaya.Applied |
| Nu | |
| 1 (Type/Class) | Yaya.Fold |
| 2 (Data Constructor) | Yaya.Fold |
| Only | Yaya.Pattern |
| para | Yaya.Zoo |
| Partial | |
| 1 (Type/Class) | Yaya.Zoo |
| 2 (Data Constructor) | Yaya.Zoo |
| pell | Yaya.Applied |
| project | Yaya.Fold, Yaya.Retrofit |
| Projectable | Yaya.Fold, Yaya.Retrofit |
| Recursive | Yaya.Fold, Yaya.Retrofit |
| recursiveEq | Yaya.Fold, Yaya.Retrofit |
| recursivePrism | Yaya.Fold |
| recursiveShowsPrec | Yaya.Fold, Yaya.Retrofit |
| reifyUpTo | Yaya.Applied |
| runToEnd | Yaya.Applied |
| seqEither | Yaya.Fold |
| seqIdentity | Yaya.Fold |
| size | Yaya.Fold.Common |
| split | Yaya.Fold.Common |
| Steppable | Yaya.Fold, Yaya.Retrofit |
| steppableIso | Yaya.Fold |
| Stream | Yaya.Zoo |
| succN | Yaya.Applied |
| take | Yaya.Applied |
| takeAnother | Yaya.Fold.Common |
| takeAvailable | Yaya.Fold.Common |
| takeUpTo | Yaya.Applied |
| ternarySequence | Yaya.Fold.Common |
| toRight | Yaya.Fold.Common |
| traverse | Yaya.Zoo |
| truncate | Yaya.Applied |
| truncate' | Yaya.Fold.Common |
| unarySequence | Yaya.Fold.Common |
| unFix | Yaya.Fold.Native |
| unFree | Yaya.Fold |
| vacuous | Yaya.Applied |
| Void | Yaya.Applied |
| while | Yaya.Fold.Common |
| XNor | Yaya.Pattern |
| zeroN | Yaya.Applied |
| zipAlgebras | Yaya.Fold |
| zygo | Yaya.Zoo |
| zygoM | Yaya.Zoo |