cflp 2009.1.15.1 → 2009.1.15.2
raw patch · 1 files changed
+4/−4 lines, 1 filesPVP: minor bump suggested
API additions: PVP suggests at least a minor version bump
API changes (from Hackage documentation)
+ Data.LazyNondet.Types.Bool: (===) :: (Update cs m m) => Nondet cs m a -> Nondet cs m a -> Context cs -> Nondet cs m Bool
+ Data.LazyNondet.Types.Bool: false :: (Monad m) => Nondet cs m Bool
+ Data.LazyNondet.Types.Bool: instance (ChoiceStore cs) => Narrow cs Bool
+ Data.LazyNondet.Types.Bool: not :: (Update cs m m) => Nondet cs m Bool -> Context cs -> Nondet cs m Bool
+ Data.LazyNondet.Types.Bool: pFalse :: (Context cs -> Nondet cs m a) -> Match Bool cs m a
+ Data.LazyNondet.Types.Bool: pTrue :: (Context cs -> Nondet cs m a) -> Match Bool cs m a
+ Data.LazyNondet.Types.Bool: true :: (Monad m) => Nondet cs m Bool
+ Data.LazyNondet.Types.List: (^:) :: (Monad m, Generic a) => Nondet cs m a -> Nondet cs m [a] -> Nondet cs m [a]
+ Data.LazyNondet.Types.List: dCons :: (Generic a) => Decons [a]
+ Data.LazyNondet.Types.List: dNil :: Decons [a]
+ Data.LazyNondet.Types.List: foldr :: (Update cs m m, Generic a) => Nondet cs m (a -> b -> b) -> Nondet cs m b -> Nondet cs m [a] -> Context cs -> ID -> Nondet cs m b
+ Data.LazyNondet.Types.List: head :: (Update cs m m, Generic a) => Nondet cs m [a] -> Context cs -> Nondet cs m a
+ Data.LazyNondet.Types.List: instance (ChoiceStore cs, Narrow cs a, Generic a) => Narrow cs [a]
+ Data.LazyNondet.Types.List: instance (Generic a) => Generic [a]
+ Data.LazyNondet.Types.List: instance ApplyCons [a]
+ Data.LazyNondet.Types.List: map :: (Update cs m m, Generic a, Generic b) => Nondet cs m (a -> b) -> Nondet cs m [a] -> Context cs -> ID -> Nondet cs m [b]
+ Data.LazyNondet.Types.List: nil :: (Monad m, Generic a) => Nondet cs m [a]
+ Data.LazyNondet.Types.List: null :: (Update cs m m, Generic a) => Nondet cs m [a] -> Context cs -> Nondet cs m Bool
+ Data.LazyNondet.Types.List: pCons :: (Generic a) => (Context cs -> Nondet cs m a -> Nondet cs m [a] -> Nondet cs m b) -> Match [a] cs m b
+ Data.LazyNondet.Types.List: pNil :: (Generic a) => (Context cs -> Nondet cs m b) -> Match [a] cs m b
+ Data.LazyNondet.Types.List: tail :: (Update cs m m, Generic a) => Nondet cs m [a] -> Context cs -> Nondet cs m [a]
Files
- cflp.cabal +4/−4
cflp.cabal view
@@ -1,5 +1,5 @@ Name: cflp-Version: 2009.1.15.1+Version: 2009.1.15.2 Cabal-Version: >= 1.6 Synopsis: Constraint Functional-Logic Programming in Haskell Description: This package provides combinators for constraint@@ -27,14 +27,14 @@ mtl, syb, HUnit- Exposed-Modules: Control.CFLP+ Exposed-Modules: Control.CFLP,+ Data.LazyNondet.Types.Bool,+ Data.LazyNondet.Types.List Other-Modules: Control.Monad.Update, Control.Monad.Trans.Update, Control.Constraint.Choice, Data.LazyNondet, Data.LazyNondet.Types,- Data.LazyNondet.Types.Bool,- Data.LazyNondet.Types.List, Data.LazyNondet.UniqueID, Data.LazyNondet.Matching, Data.LazyNondet.Narrowing,