PairMaybeToMaybePair | Fcf.Alg.Other |
Para | Fcf.Alg.Morphism |
PartCmp | Fcf.Alg.Sort |
PartHlp | Fcf.Alg.Sort |
Partition | |
1 (Type/Class) | Fcf.Data.MapC |
2 (Type/Class) | Fcf.Data.NatMap |
Plus1 | Fcf.Control.Monad |
Plus2 | Fcf.Control.Monad |
Plus2M | Fcf.Control.Monad |
PowerSet | Fcf.Data.Set |
ProdAlg | Fcf.Alg.List |
PureXPlusY | Fcf.Control.Monad |