Skip to content
Commits on May 17, 2016
  1. Merge pull request #26 from treeowl/Coyoneda-Applicative

    Improve Applicative etc. for Coyoneda
    committed May 17, 2016
  2. @treeowl

    Improve Applicative etc. for Coyoneda

    Reduce `<*>` and `<.>` to one `fmap` application each.
    
    Use underlying definitions of `*>`, `<*`, `>>`, `.>`, and `<.` to
    reduce unnecessary mapping and constructor noise. Define
    `some` and `many` for `Alternative` based on the definitions in
    the underlying instance. This *cannot* be done for `Alt`.
    
    `Applicative f => Applicative (Coyoneda f)`
    
    does not give rise to an entailment, so the `Applicative` method
    contexts for `Alt.some` and `Alt.many` do not give us access to
    `Applicative f` when we're defining `Alt (Coyoneda f)`.
    treeowl committed May 17, 2016
Commits on Jan 17, 2016
  1. 5.0.1 bump

    committed Jan 16, 2016
  2. add ghc 8 to the test harness

    committed Jan 16, 2016
  3. allow comonad 5

    committed Jan 16, 2016
Commits on Jan 16, 2016
  1. copyright bump

    committed Jan 16, 2016
Commits on Jan 15, 2016
  1. @RyanGlScott
  2. @RyanGlScott
  3. @RyanGlScott

    Merge pull request #24 from Heather/patch-1

    Allow building with transformers 0.5 (on GHC 8 RC)
    RyanGlScott committed Jan 15, 2016
  4. @glguy
  5. @Heather
Commits on Dec 10, 2015
  1. Move DataFunctor.Kan.Rift to Data.Functor.Day.Curried. Remove Rift an…

    …d Lift -- they fail the laws except in narrow cases
    committed Dec 10, 2015
Commits on Dec 6, 2015
  1. Merge pull request #20 from iblech/patch-1

    Add categorical fine print about `Coyoneda f` where `f` is not itself a functor
    committed Dec 5, 2015
Commits on Nov 23, 2015
  1. Merge pull request #21 from hvr/pr/canonical-amp-instances

    canonical-AMP-warning avoidance
    committed Nov 23, 2015
Commits on Nov 22, 2015
  1. @hvr

    canonical-AMP-warning avoidance

    hvr committed Nov 22, 2015
Commits on Nov 8, 2015
  1. @iblech
Commits on Oct 30, 2015
  1. @glguy

    Merge pull request #19 from ggreif/patch-1

    Name spelling
    glguy committed Oct 30, 2015
  2. @ggreif

    Name spelling

    ggreif committed Oct 30, 2015
Commits on Oct 19, 2015
  1. Merge pull request #17 from treeowl/master

    Use default `MonadPlus` instance
    committed Oct 19, 2015
  2. @treeowl

    Use default `MonadPlus` instance

    I forgot we don't actually need to define anything for `MonadPlus` any more.
    treeowl committed Oct 19, 2015
  3. Merge pull request #16 from treeowl/master

    Modernize some things
    committed Oct 19, 2015
  4. @treeowl

    Kill extra import warning

    treeowl committed Oct 19, 2015
  5. @treeowl
  6. @treeowl

    Modernize some things

    1. Weaken constraint of `lowerCodensity` from `Monad f =>` to `Applicative f`.
    2. Weaken constraint on `MonadPlus` instance from `MonadPlus v` to `Alternative v`.
    3. Inline `>>=` in the definition of `<*>` and reduce by hand.
    4. Use `coerce` to make `lift` free in the face of unknown `(>>=)`.
    treeowl committed Oct 19, 2015
Commits on Sep 16, 2015
  1. Merge pull request #14 from xuwei-k/patch-1

    fix CoT haddock
    committed Sep 16, 2015
  2. @xuwei-k

    fix CoT haddock

    xuwei-k committed Sep 17, 2015
Commits on Sep 13, 2015
  1. multi-ghc travis config

    committed Sep 13, 2015
  2. minor version bump and CHANGELOG

    committed Sep 13, 2015
  3. build clean on GHC 7.10

    committed Sep 13, 2015
Commits on Aug 9, 2015
  1. haddock fix [ci skip]

    committed Aug 9, 2015
  2. fix trailing ) [ci skip]

    committed Aug 9, 2015
  3. hackage shield

    committed Aug 9, 2015
Something went wrong with that request. Please try again.