homepage: http://github.com/maciejpirog/exotic-list-monads
changelog-type: markdown
hash: 0a886e3c5e0c8e21c194d6f0b0a386ca2b0d24713fd51b3175672fcb3f06b464
test-bench-deps:
  base: '>=4.9 && <5'
  hspec: ==2.*
  hspec-core: -any
  exotic-list-monads: -any
  QuickCheck: -any
maintainer: Maciej Piróg <maciej.adam.pirog@gmail.com>
synopsis: Non-standard monads on lists and non-empty lists
changelog: |
  # exotic-list-monad changelog

  ## v1.0.0

  - Initial version
basic-deps:
  base: '>=4.9 && <5'
all-versions:
- 1.0.0
author: Maciej Piróg <maciej.adam.pirog@gmial.com>
latest: 1.0.0
description-type: markdown
description: "# exotic-list-monads\n\n[![Build Status](https://api.travis-ci.com/maciejpirog/exotic-list-monads.png?branch=master)](http://travis-ci.com/maciejpirog/exotic-list-monads)\n\nA
  Haskell library that defines a few non-standard monads on lists and non-empty lists
  \n\n## Description\n\nThe usual [list monad](https://hackage.haskell.org/package/base-4.14.0.0/docs/src/GHC.Base.html#line-1133)
  is only one of infinitely many ways to turn the list functor into a monad. The same
  applies to the usual [non-empty list monad](https://hackage.haskell.org/package/base-4.14.0.0/docs/src/GHC.Base.html#line-1105)
  and the non-empty list functor. This library collects such non-standard \"list\"
  and \"non-empty list\" monads.\n\nMost of the constructions implemented in this
  library have been first introduced in the paper [Degrading lists](degrading-lists.pdf)
  by Dylan McDermott, Maciej Piróg, and Tarmo Uustalu (PPDP 2020), but there are some
  new specimens as well.\n\nIt is quite possible that there exist \"list\" and \"non-empty
  list\" monads that we are not aware of, so pull requests are appreciated. Moreover,
  not every monad in this library has been formally verified to be a monad (because
  of the combinatorial explosion of the number of cases to be considered in the proof
  of associativity), so if you're currently playing around with tools like Coq and
  have a spare afternoon...\n"
license-name: MIT

Update from Hackage at 2020-09-09T22:19:22Z
Update from Hackage at 2020-09-09T22:19:22Z
