first-class-families v0.8.0.0 Release Notes

Release Date: 2020-03-08 // about 4 years ago
    • โž• Add modules

      • Fcf.Data.Symbol (currently just reexports Symbol) (thanks to gspia)
      • Fcf.Data.Function
      • "Overloaded type families" ("type-level type classes")
        • Fcf.Class.Ord
        • Fcf.Class.Monoid
        • Fcf.Class.Monoid.Types (which exports just an Endo a to wrap a -> Exp a)
        • Fcf.Class.Functor
        • Fcf.Class.Bifunctor
        • Fcf.Class.Foldable
    • โž• Add functions in Fcf.Data.List: Intersperse, Intercalate, Span, Break, Tails, IsPrefixOf, IsSuffixOf, IsInfixOf, Partition.

    • Generalize Foldr, Concat and ConcatMap to foldable types.

    • โœ‚ Remove deprecated Guarded, Guard((:=)), Otherwise.

    • ๐Ÿ—„ Deprecate Fcf.Classes


Previous changes from v0.7.0.0

    • โž• Add Unfoldr, Concat, ConcatMap, Replicate, Take, Drop, TakeWhile, DropWhile, Reverse to Data.List. (thanks to gspia)
    • ๐Ÿ”„ Change Elem, Lookup, Zip to be data instead of type synonyms.
    • ๐Ÿ›  Fix performance of Filter and Find.