bound 0.3.2 → 0.4

raw patch · 3 files changed

+6/−4 lines, 3 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

- Bound: substitute :: (Monad f, Eq a) => f a -> a -> f a -> f a

+ Bound: substitute :: (Monad f, Eq a) => a -> f a -> f a -> f a

- Bound.Term: substitute :: (Monad f, Eq a) => f a -> a -> f a -> f a

+ Bound.Term: substitute :: (Monad f, Eq a) => a -> f a -> f a -> f a

Files

README.markdown +2/−0
bound.cabal +1/−1
src/Bound/Term.hs +3/−3

README.markdown view

@@ -1,6 +1,8 @@ Bound ===== +[![Build Status](https://secure.travis-ci.org/ekmett/bound.png?branch=master)](http://travis-ci.org/ekmett/bound)+ Goals -----

bound.cabal view

@@ -1,6 +1,6 @@ name:          bound category:      Language, Compilers/Interpreters-version:       0.3.2+version:       0.4 license:       BSD3 cabal-version: >= 1.9.2 license-file:  LICENSE

src/Bound/Term.hs view

@@ -19,9 +19,9 @@ import Data.Traversable import Prelude hiding (all) --- | @'substitute' p a w@ replaces the free variable @a@ with @p@ in @w@-substitute :: (Monad f, Eq a) => f a -> a -> f a -> f a-substitute p a w = w >>= \b -> if a == b then p else return b+-- | @'substitute' a p w@ replaces the free variable @a@ with @p@ in @w@+substitute :: (Monad f, Eq a) => a -> f a -> f a -> f a+substitute a p w = w >>= \b -> if a == b then p else return b {-# INLINE substitute #-}  -- | If a term has no free variables, you can freely change the type of