stable-marriage-0.1.0.0: algorithms around stable marriage
StableMarriage.GaleShapley
class Men m where Source
Associated Types
type W m :: * Source
Methods
loves :: m -> [W m] Source
forget :: m -> m Source
class (Ord w, Men m, w ~ W m) => Women m w where Source
Minimal complete definition
acceptable, compare
acceptable :: w -> m -> Bool Source
compare :: w -> m -> m -> Ordering Source
limit :: w -> [m] -> Int Source
type World w m = (Men m, Women m w, w ~ W m) => ([(w, [m])], [m]) Source
meets :: (Men m, Women m w, w ~ W m) => [m] -> [w] -> World w m Source
data Ordering Source
Constructors
Instances