ModuleAgda-2.8.0.2Haskell2010

Agda.Utils.Favorites

Maintaining a list of favorites of some partially ordered type. Only the best elements are kept.

To avoid name clashes, import this module qualified, as in import Agda.Utils.Favorites (Favorites) import qualified Agda.Utils.Favorites as Fav

Synopsis

newtype Favorites
data CompareResult
value compareWithFavorites
value compareFavorites
value unionCompared
value insertCompared
value insert
value union
value fromList

PackageAgda-2.8.0.2
Exports9
LanguageHaskell2010
LicenceMIT
SourceFavorites.hs

newtypenewtype Favorites a

Source#

A list of incomparable favorites.

Constructors

Favorites
- toList :: [a]

Instances8Foldable, Singleton, Eq, Show, Semigroup, Monoid, …

Foldable FavoritesDefined in Agda-2.8.0.2 · Agda.Utils.Favorites
Singleton a (Favorites a)Defined in Agda-2.8.0.2 · Agda.Utils.Favorites
Ord a => Eq (Favorites a)Defined in Agda-2.8.0.2 · Agda.Utils.Favorites
Equality checking is a bit expensive, since we need to sort! Maybe use a Set of favorites in the first place?
Show a => Show (Favorites a)Defined in Agda-2.8.0.2 · Agda.Utils.Favorites
PartialOrd a => Semigroup (Favorites a)Defined in Agda-2.8.0.2 · Agda.Utils.Favorites
Favorites forms a Monoid under empty and 'union.
PartialOrd a => Monoid (Favorites a)Defined in Agda-2.8.0.2 · Agda.Utils.Favorites
Null (Favorites a)Defined in Agda-2.8.0.2 · Agda.Utils.Favorites
PartialOrd a => CombineNewOld (Favorites a)Defined in Agda-2.8.0.2 · Agda.Termination.CallGraph

datadata CompareResult a

Source#

Result of comparing a candidate with the current favorites.

Constructors

Dominates
Great, you are dominating a possibly (empty list of favorites) but there is also a rest that is not dominated. If null dominated, then notDominated is necessarily the complete list of favorites.
- dominated :: [a]
- notDominated :: [a]
IsDominated
Sorry, but you are dominated by that favorite.
- dominator :: a

valuecompareWithFavorites :: PartialOrd a => a -> Favorites a -> CompareResult a

Source#

Gosh, got some pretty a here, compare with my current favorites! Discard it if there is already one that is better or equal. (Skewed conservatively: faithful to the old favorites.) If there is no match for it, add it, and dispose of all that are worse than a.

We require a partial ordering. Less is better! (Maybe paradoxically.)

valuecompareFavorites

:: PartialOrd a
=> Favorites a
-> Favorites a
-> (Favorites a, Favorites a)

Source#

Compare a new set of favorites to an old one and discard the new favorites that are dominated by the old ones and vice verse. (Skewed conservatively: faithful to the old favorites.)

compareFavorites new old = (new', old')

valueunionCompared :: (Favorites a, Favorites a) -> Favorites a

valueinsertCompared :: a -> Favorites a -> CompareResult a -> Favorites a

Source#

After comparing, do the actual insertion.

valueinsert :: PartialOrd a => a -> Favorites a -> Favorites a

Source#

Compare, then insert accordingly. insert a l = insertCompared a l (compareWithFavorites a l)

valueunion :: PartialOrd a => Favorites a -> Favorites a -> Favorites a

Source#

Insert all the favorites from the first list into the second.

valuefromList :: PartialOrd a => [a] -> Favorites a

Source#

Construct favorites from elements of a partial order. The result depends on the order of the list if it contains equal elements, since earlier seen elements are favored over later seen equals. The first element of the list is seen first.