summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorvmchale <>2017-08-12 21:29:00 (GMT)
committerhdiff <hdiff@hdiff.luite.com>2017-08-12 21:29:00 (GMT)
commit90d55991aae65f5e931e736b1668fa85a6ec44f3 (patch)
tree9616d854669905dfe71cf7e7b83d14ddb5f75669
parenta87501977ef8fb12164a57db24ecffd0815d9ec4 (diff)
version 0.1.0.20.1.0.2
-rw-r--r--recursion-schemes-ext.cabal4
-rw-r--r--src/Data/Foldable/Functor/Extensions.hs2
-rw-r--r--stack.yaml2
3 files changed, 5 insertions, 3 deletions
diff --git a/recursion-schemes-ext.cabal b/recursion-schemes-ext.cabal
index 4e0ec4c..2591f8c 100644
--- a/recursion-schemes-ext.cabal
+++ b/recursion-schemes-ext.cabal
@@ -1,5 +1,5 @@
name: recursion-schemes-ext
-version: 0.1.0.1
+version: 0.1.0.2
synopsis: Amateur addenda to recursion-schemes
description: This package provides some exotic recursion schemes that I miss when I leave Idris.
homepage: https://hub.darcs.net/vmchale/recursion-schemes-ext#readme
@@ -25,7 +25,7 @@ library
hs-source-dirs: src
exposed-modules: Data.Foldable.Functor.Extensions
Data.Foldable.Functor.Examples
- build-depends: base >= 4.7 && < 5
+ build-depends: base >= 4.9 && < 5
, recursion-schemes
, composition-prelude
default-language: Haskell2010
diff --git a/src/Data/Foldable/Functor/Extensions.hs b/src/Data/Foldable/Functor/Extensions.hs
index 088dbd2..7909807 100644
--- a/src/Data/Foldable/Functor/Extensions.hs
+++ b/src/Data/Foldable/Functor/Extensions.hs
@@ -54,6 +54,8 @@ chema :: (CoSubHom (Base t) (Base t') a b, Corecursive t')
-> b -> t'
chema = ana .* homoCo
+-- FIXME maybe run the catamorphism on the inner bit?
+
-- | A dendromorphism allows us to entangle two catamorphisms
dendro :: (SubHom (Base t) (Base t') a b, Recursive t')
=> t -- ^ dummy type
diff --git a/stack.yaml b/stack.yaml
index 6de0f9f..da413dc 100644
--- a/stack.yaml
+++ b/stack.yaml
@@ -2,7 +2,7 @@ resolver: lts-9.0
packages:
- '.'
extra-deps:
- - composition-prelude-0.1.0.0
+ - composition-prelude-0.1.0.1
- recursion-schemes-ext-0.1.0.0
flags:
recursion-schemes-ext: