packages feed

lfst 1.0.1 → 1.0.2

raw patch · 3 files changed

+11/−11 lines, 3 filesPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

API changes (from Hackage documentation)

- FuzzySet: FS :: (Map i m) -> FuzzySet m i
- FuzzySet: add :: (Ord i, Eq m, BoundedLattice m) => FuzzySet m i -> (i, m) -> FuzzySet m i
- FuzzySet: algebraicProduct :: (Ord i, Eq m, Num m, BoundedLattice m) => FuzzySet m i -> FuzzySet m i -> FuzzySet m i
- FuzzySet: algebraicSum :: (Ord i, Eq m, Num m, BoundedLattice m) => FuzzySet m i -> FuzzySet m i -> FuzzySet m i
- FuzzySet: alphaCut :: (Ord i, Ord m, BoundedLattice m) => FuzzySet m i -> m -> [i]
- FuzzySet: class ExoFunctor f i where type family SubCatConstraintI f i :: Constraint type family SubCatConstraintJ f j :: Constraint SubCatConstraintI f i = () SubCatConstraintJ f j = ()
- FuzzySet: complement :: (Ord i, Num m, Eq m, BoundedLattice m) => FuzzySet m i -> FuzzySet m i
- FuzzySet: core :: (Ord i, Eq m, BoundedLattice m) => FuzzySet m i -> [i]
- FuzzySet: empty :: (Ord i, BoundedLattice m) => FuzzySet m i
- FuzzySet: fmap :: (ExoFunctor f i, SubCatConstraintI f i, SubCatConstraintJ f j) => (i -> j) -> f i -> f j
- FuzzySet: fromList :: (Ord i, Eq m, BoundedLattice m) => [(i, m)] -> FuzzySet m i
- FuzzySet: generalizedProduct :: (Ord i, Ord j, Eq m, BoundedLattice m) => (m -> m -> m) -> FuzzySet m i -> FuzzySet m j -> FuzzySet m (i, j)
- FuzzySet: instance (Algebra.Lattice.BoundedLattice m, GHC.Classes.Eq m) => FuzzySet.ExoFunctor (FuzzySet.FuzzySet m) i
- FuzzySet: instance (GHC.Classes.Eq m, GHC.Classes.Eq i) => GHC.Classes.Eq (FuzzySet.FuzzySet m i)
- FuzzySet: instance (GHC.Classes.Ord i, Algebra.Lattice.BoundedLattice m, GHC.Show.Show i, GHC.Show.Show m) => GHC.Show.Show (FuzzySet.FuzzySet m i)
- FuzzySet: instance (GHC.Classes.Ord m, GHC.Classes.Ord i) => GHC.Classes.Ord (FuzzySet.FuzzySet m i)
- FuzzySet: intersection :: (Ord i, Eq m, BoundedLattice m) => FuzzySet m i -> FuzzySet m i -> FuzzySet m i
- FuzzySet: map1 :: (Ord i, Eq m, BoundedLattice m) => (m -> m) -> FuzzySet m i -> FuzzySet m i
- FuzzySet: map2 :: (Ord i, Eq m, BoundedLattice m) => (m -> m -> m) -> FuzzySet m i -> FuzzySet m i -> FuzzySet m i
- FuzzySet: mu :: (Ord i, BoundedLattice m) => FuzzySet m i -> i -> m
- FuzzySet: newtype FuzzySet m i
- FuzzySet: preimage :: (Eq i, Eq j) => (i -> j) -> j -> [i] -> [i]
- FuzzySet: support :: (Ord i, BoundedLattice m) => FuzzySet m i -> [i]
- FuzzySet: union :: (Ord i, Eq m, BoundedLattice m) => FuzzySet m i -> FuzzySet m i -> FuzzySet m i
- Membership: Godel :: Double -> GodelMembership
- Membership: Goguen :: Double -> GoguenMembership
- Membership: Lukas :: Double -> LukasiewiczMembership
- Membership: instance Algebra.Lattice.BoundedJoinSemiLattice Membership.GodelMembership
- Membership: instance Algebra.Lattice.BoundedJoinSemiLattice Membership.GoguenMembership
- Membership: instance Algebra.Lattice.BoundedJoinSemiLattice Membership.LukasiewiczMembership
- Membership: instance Algebra.Lattice.BoundedLattice Membership.GodelMembership
- Membership: instance Algebra.Lattice.BoundedLattice Membership.GoguenMembership
- Membership: instance Algebra.Lattice.BoundedLattice Membership.LukasiewiczMembership
- Membership: instance Algebra.Lattice.BoundedMeetSemiLattice Membership.GodelMembership
- Membership: instance Algebra.Lattice.BoundedMeetSemiLattice Membership.GoguenMembership
- Membership: instance Algebra.Lattice.BoundedMeetSemiLattice Membership.LukasiewiczMembership
- Membership: instance Algebra.Lattice.JoinSemiLattice Membership.GodelMembership
- Membership: instance Algebra.Lattice.JoinSemiLattice Membership.GoguenMembership
- Membership: instance Algebra.Lattice.JoinSemiLattice Membership.LukasiewiczMembership
- Membership: instance Algebra.Lattice.Lattice Membership.GodelMembership
- Membership: instance Algebra.Lattice.Lattice Membership.GoguenMembership
- Membership: instance Algebra.Lattice.Lattice Membership.LukasiewiczMembership
- Membership: instance Algebra.Lattice.MeetSemiLattice Membership.GodelMembership
- Membership: instance Algebra.Lattice.MeetSemiLattice Membership.GoguenMembership
- Membership: instance Algebra.Lattice.MeetSemiLattice Membership.LukasiewiczMembership
- Membership: instance GHC.Classes.Eq Membership.GodelMembership
- Membership: instance GHC.Classes.Eq Membership.GoguenMembership
- Membership: instance GHC.Classes.Eq Membership.LukasiewiczMembership
- Membership: instance GHC.Classes.Ord Membership.GodelMembership
- Membership: instance GHC.Classes.Ord Membership.GoguenMembership
- Membership: instance GHC.Classes.Ord Membership.LukasiewiczMembership
- Membership: instance GHC.Num.Num Membership.GodelMembership
- Membership: instance GHC.Num.Num Membership.GoguenMembership
- Membership: instance GHC.Num.Num Membership.LukasiewiczMembership
- Membership: instance GHC.Show.Show Membership.GodelMembership
- Membership: instance GHC.Show.Show Membership.GoguenMembership
- Membership: instance GHC.Show.Show Membership.LukasiewiczMembership
- Membership: newtype GodelMembership
- Membership: newtype GoguenMembership
- Membership: newtype LukasiewiczMembership
+ Algebra.LFST.FuzzySet: FS :: (Map i m) -> FuzzySet m i
+ Algebra.LFST.FuzzySet: add :: (Ord i, Eq m, BoundedLattice m) => FuzzySet m i -> (i, m) -> FuzzySet m i
+ Algebra.LFST.FuzzySet: algebraicProduct :: (Ord i, Eq m, Num m, BoundedLattice m) => FuzzySet m i -> FuzzySet m i -> FuzzySet m i
+ Algebra.LFST.FuzzySet: algebraicSum :: (Ord i, Eq m, Num m, BoundedLattice m) => FuzzySet m i -> FuzzySet m i -> FuzzySet m i
+ Algebra.LFST.FuzzySet: alphaCut :: (Ord i, Ord m, BoundedLattice m) => FuzzySet m i -> m -> [i]
+ Algebra.LFST.FuzzySet: class ExoFunctor f i where type family SubCatConstraintI f i :: Constraint type family SubCatConstraintJ f j :: Constraint SubCatConstraintI f i = () SubCatConstraintJ f j = ()
+ Algebra.LFST.FuzzySet: complement :: (Ord i, Num m, Eq m, BoundedLattice m) => FuzzySet m i -> FuzzySet m i
+ Algebra.LFST.FuzzySet: core :: (Ord i, Eq m, BoundedLattice m) => FuzzySet m i -> [i]
+ Algebra.LFST.FuzzySet: empty :: (Ord i, BoundedLattice m) => FuzzySet m i
+ Algebra.LFST.FuzzySet: fmap :: (ExoFunctor f i, SubCatConstraintI f i, SubCatConstraintJ f j) => (i -> j) -> f i -> f j
+ Algebra.LFST.FuzzySet: fromList :: (Ord i, Eq m, BoundedLattice m) => [(i, m)] -> FuzzySet m i
+ Algebra.LFST.FuzzySet: generalizedProduct :: (Ord i, Ord j, Eq m, BoundedLattice m) => (m -> m -> m) -> FuzzySet m i -> FuzzySet m j -> FuzzySet m (i, j)
+ Algebra.LFST.FuzzySet: instance (Algebra.Lattice.BoundedLattice m, GHC.Classes.Eq m) => Algebra.LFST.FuzzySet.ExoFunctor (Algebra.LFST.FuzzySet.FuzzySet m) i
+ Algebra.LFST.FuzzySet: instance (GHC.Classes.Eq m, GHC.Classes.Eq i) => GHC.Classes.Eq (Algebra.LFST.FuzzySet.FuzzySet m i)
+ Algebra.LFST.FuzzySet: instance (GHC.Classes.Ord i, Algebra.Lattice.BoundedLattice m, GHC.Show.Show i, GHC.Show.Show m) => GHC.Show.Show (Algebra.LFST.FuzzySet.FuzzySet m i)
+ Algebra.LFST.FuzzySet: instance (GHC.Classes.Ord m, GHC.Classes.Ord i) => GHC.Classes.Ord (Algebra.LFST.FuzzySet.FuzzySet m i)
+ Algebra.LFST.FuzzySet: intersection :: (Ord i, Eq m, BoundedLattice m) => FuzzySet m i -> FuzzySet m i -> FuzzySet m i
+ Algebra.LFST.FuzzySet: map1 :: (Ord i, Eq m, BoundedLattice m) => (m -> m) -> FuzzySet m i -> FuzzySet m i
+ Algebra.LFST.FuzzySet: map2 :: (Ord i, Eq m, BoundedLattice m) => (m -> m -> m) -> FuzzySet m i -> FuzzySet m i -> FuzzySet m i
+ Algebra.LFST.FuzzySet: mu :: (Ord i, BoundedLattice m) => FuzzySet m i -> i -> m
+ Algebra.LFST.FuzzySet: newtype FuzzySet m i
+ Algebra.LFST.FuzzySet: preimage :: (Eq i, Eq j) => (i -> j) -> j -> [i] -> [i]
+ Algebra.LFST.FuzzySet: support :: (Ord i, BoundedLattice m) => FuzzySet m i -> [i]
+ Algebra.LFST.FuzzySet: union :: (Ord i, Eq m, BoundedLattice m) => FuzzySet m i -> FuzzySet m i -> FuzzySet m i
+ Algebra.LFST.Membership: Godel :: Double -> GodelMembership
+ Algebra.LFST.Membership: Goguen :: Double -> GoguenMembership
+ Algebra.LFST.Membership: Lukas :: Double -> LukasiewiczMembership
+ Algebra.LFST.Membership: instance Algebra.Lattice.BoundedJoinSemiLattice Algebra.LFST.Membership.GodelMembership
+ Algebra.LFST.Membership: instance Algebra.Lattice.BoundedJoinSemiLattice Algebra.LFST.Membership.GoguenMembership
+ Algebra.LFST.Membership: instance Algebra.Lattice.BoundedJoinSemiLattice Algebra.LFST.Membership.LukasiewiczMembership
+ Algebra.LFST.Membership: instance Algebra.Lattice.BoundedLattice Algebra.LFST.Membership.GodelMembership
+ Algebra.LFST.Membership: instance Algebra.Lattice.BoundedLattice Algebra.LFST.Membership.GoguenMembership
+ Algebra.LFST.Membership: instance Algebra.Lattice.BoundedLattice Algebra.LFST.Membership.LukasiewiczMembership
+ Algebra.LFST.Membership: instance Algebra.Lattice.BoundedMeetSemiLattice Algebra.LFST.Membership.GodelMembership
+ Algebra.LFST.Membership: instance Algebra.Lattice.BoundedMeetSemiLattice Algebra.LFST.Membership.GoguenMembership
+ Algebra.LFST.Membership: instance Algebra.Lattice.BoundedMeetSemiLattice Algebra.LFST.Membership.LukasiewiczMembership
+ Algebra.LFST.Membership: instance Algebra.Lattice.JoinSemiLattice Algebra.LFST.Membership.GodelMembership
+ Algebra.LFST.Membership: instance Algebra.Lattice.JoinSemiLattice Algebra.LFST.Membership.GoguenMembership
+ Algebra.LFST.Membership: instance Algebra.Lattice.JoinSemiLattice Algebra.LFST.Membership.LukasiewiczMembership
+ Algebra.LFST.Membership: instance Algebra.Lattice.Lattice Algebra.LFST.Membership.GodelMembership
+ Algebra.LFST.Membership: instance Algebra.Lattice.Lattice Algebra.LFST.Membership.GoguenMembership
+ Algebra.LFST.Membership: instance Algebra.Lattice.Lattice Algebra.LFST.Membership.LukasiewiczMembership
+ Algebra.LFST.Membership: instance Algebra.Lattice.MeetSemiLattice Algebra.LFST.Membership.GodelMembership
+ Algebra.LFST.Membership: instance Algebra.Lattice.MeetSemiLattice Algebra.LFST.Membership.GoguenMembership
+ Algebra.LFST.Membership: instance Algebra.Lattice.MeetSemiLattice Algebra.LFST.Membership.LukasiewiczMembership
+ Algebra.LFST.Membership: instance GHC.Classes.Eq Algebra.LFST.Membership.GodelMembership
+ Algebra.LFST.Membership: instance GHC.Classes.Eq Algebra.LFST.Membership.GoguenMembership
+ Algebra.LFST.Membership: instance GHC.Classes.Eq Algebra.LFST.Membership.LukasiewiczMembership
+ Algebra.LFST.Membership: instance GHC.Classes.Ord Algebra.LFST.Membership.GodelMembership
+ Algebra.LFST.Membership: instance GHC.Classes.Ord Algebra.LFST.Membership.GoguenMembership
+ Algebra.LFST.Membership: instance GHC.Classes.Ord Algebra.LFST.Membership.LukasiewiczMembership
+ Algebra.LFST.Membership: instance GHC.Num.Num Algebra.LFST.Membership.GodelMembership
+ Algebra.LFST.Membership: instance GHC.Num.Num Algebra.LFST.Membership.GoguenMembership
+ Algebra.LFST.Membership: instance GHC.Num.Num Algebra.LFST.Membership.LukasiewiczMembership
+ Algebra.LFST.Membership: instance GHC.Show.Show Algebra.LFST.Membership.GodelMembership
+ Algebra.LFST.Membership: instance GHC.Show.Show Algebra.LFST.Membership.GoguenMembership
+ Algebra.LFST.Membership: instance GHC.Show.Show Algebra.LFST.Membership.LukasiewiczMembership
+ Algebra.LFST.Membership: newtype GodelMembership
+ Algebra.LFST.Membership: newtype GoguenMembership
+ Algebra.LFST.Membership: newtype LukasiewiczMembership

Files

Algebra/LFST/FuzzySet.hs view
@@ -6,7 +6,7 @@  -- | If X is a collection of objects denoted generically by x, then a fuzzy set F(A) in X is a set of ordered pairs. -- Each of them consists of an element x and a membership function which maps x to the membership space M.-module FuzzySet+module Algebra.LFST.FuzzySet ( FuzzySet (..) , preimage , empty@@ -35,7 +35,7 @@ import qualified Data.Maybe      as Maybe ()  -- $setup--- >>> import Membership+-- >>> import Algebra.LFST.Membership -- >>> let godel1 = fromList [(1, Godel 0.2), (2, Godel 0.5)] -- >>> let godel2 = fromList [(2, Godel 0.2), (3, Godel 0.2)] -- >>> let goguen1 = fromList [(1, Goguen 0.2), (2, Goguen 0.5)]
Algebra/LFST/Membership.hs view
@@ -1,7 +1,7 @@ {-# LANGUAGE GeneralizedNewtypeDeriving #-}  -- | Membership types for the Fuzzy Set definition-module Membership+module Algebra.LFST.Membership ( GodelMembership (..) , GoguenMembership (..) , LukasiewiczMembership (..)
lfst.cabal view
@@ -1,5 +1,5 @@ name:                 lfst-version:              1.0.1+version:              1.0.2 synopsis:             L-Fuzzy Set Theory implementation in Haskell description:          If X is a collection of objects denoted generically by x, then a fuzzy set F(A) in X is a set of ordered pairs. Each of them consists of an element x and a membership function which maps x to the membership space M. The current implementation is inspired by the work of Goguen, Joseph A. "L-fuzzy sets." Journal of mathematical analysis and applications 18.1 (1967).  license:              GPL-3@@ -18,13 +18,13 @@   location: git://github.com/ci-fst/lfst.git  library-  exposed-modules: FuzzySet, Membership-  build-depends:        base >= 4.7 && < 5,-                        containers >= 0.5,-                        lattices >= 1.5,-                        doctest >= 0.10-  hs-source-dirs:       Algebra/LFST-  default-language:     Haskell2010+  exposed-modules:  Algebra.LFST.FuzzySet,+                    Algebra.LFST.Membership+  build-depends:    base >= 4.7 && < 5,+                    containers >= 0.5,+                    lattices >= 1.5,+                    doctest >= 0.10+  default-language: Haskell2010  test-suite doctests   type:          exitcode-stdio-1.0