stable-marriage-0.1.3.0: algorithms around stable marriage

Safe HaskellNone
LanguageHaskell2010

StableMarriage.GaleShapley

Documentation

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

Methods

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

LT 
EQ 
GT 
NC