2 Matching Annotations
  1. Oct 2014
  2. www.fpcomplete.com www.fpcomplete.com
    Building up to a Point via Adjunctions - School of Haskell | FP Complete
    2
    1. yamadapc 03 Oct 2014
      foldMap :: Monoid m -> (a -> m) -> t a -> m

      I'm not sure, but I think what he meant here was foldMap :: Monoid m => (a -> m) -> t a -> m.

      learn haskell
    2. yamadapc 03 Oct 2014
      The notion behind it was that one could decompose, e.g., Applicative into an instance of the Pointed typeclass and an instance of the Apply typeclass (giving apply :: f (a -> b) -> f a -> f b) and an instance of Pointed, such that the two interact properly.

      There's more on Applicative (and Functor) here, in case you're unfamiliar with it.

      haskell learning external references
    Visit annotations in context

    Tags

    Annotators

    URL

    fpcomplete.com/user/gbaz/building-up-to-a-point-via-adjunctions