StableMarriage.GaleShapley

Documentation

class Men m where

Associated Types

type W m :: *

Methods

loves :: m -> [W m]

forget :: m -> m

class (Ord w, Men m, w ~ W m) => Women m w where

Minimal complete definition

acceptable, compare

Methods

acceptable :: w -> m -> Bool

compare :: w -> m -> m -> Ordering

limit :: w -> [m] -> Int

type World w m = (Men m, Women m w, w ~ W m) => ([(w, [m])], [m])

meets :: (Men m, Women m w, w ~ W m) => [m] -> [w] -> World w m

data Ordering

Constructors

LT

EQ

GT

NC

Instances

Monoid Ordering

Defined in Data.Poset.Internal

Methods

mempty :: Ordering

mappend :: Ordering -> Ordering -> Ordering

mconcat :: [Ordering] -> Ordering

Semigroup Ordering

Defined in Data.Poset.Internal

Methods

(<>) :: Ordering -> Ordering -> Ordering

sconcat :: NonEmpty Ordering -> Ordering

stimes :: Integral b => b -> Ordering -> Ordering

Bounded Ordering

Defined in Data.Poset.Internal

Methods

minBound :: Ordering

maxBound :: Ordering

Enum Ordering

Defined in Data.Poset.Internal

Methods

succ :: Ordering -> Ordering

pred :: Ordering -> Ordering

toEnum :: Int -> Ordering

fromEnum :: Ordering -> Int

enumFrom :: Ordering -> [Ordering]

enumFromThen :: Ordering -> Ordering -> [Ordering]

enumFromTo :: Ordering -> Ordering -> [Ordering]

enumFromThenTo :: Ordering -> Ordering -> Ordering -> [Ordering]

Read Ordering

Defined in Data.Poset.Internal

Methods

readsPrec :: Int -> ReadS Ordering

readList :: ReadS [Ordering]

readPrec :: ReadPrec Ordering

readListPrec :: ReadPrec [Ordering]

Show Ordering

Defined in Data.Poset.Internal

Methods

showsPrec :: Int -> Ordering -> ShowS

show :: Ordering -> String

showList :: [Ordering] -> ShowS

Eq Ordering

Defined in Data.Poset.Internal

Methods

(==) :: Ordering -> Ordering -> Bool

(/=) :: Ordering -> Ordering -> Bool