WeekDaze.Aggregate.LocationCatalogue

AUTHOR

Dr. Alistair Ward

DESCRIPTION

Defines the names & attributes of all locations available to be booked in the timetable.

Types

Type-synonyms

type LocationCatalogue locationId campus = ResourceMap locationId (Profile campus)

The complete set of locations, indexed by their locationId.

Constants

tag :: String

Used to qualify XML.

Functions

countDaysByFacilityName :: LocationCatalogue locationId campus -> Map FacilityName NDays

Count the total available days, of those locations offering each type of facility.

extractDistinctFacilityNames :: LocationCatalogue locationId campus -> FacilityNames

Extracts the set of distinct facilities, from the catalogue.

findSuitableLocations :: NStudents -> FacilityNames -> LocationCatalogue locationId campus -> LocationCatalogue locationId campus

Find those locations which meet or exceed, the specified criteria.

Accessors

getLocationIds :: LocationCatalogue locationId campus -> [locationId]

Accessor.

Predicates

hasAnyFacilities :: LocationCatalogue locationId campus -> Bool

True if any location offers any facilities.

isSingleCampus :: Ord campus => LocationCatalogue locationId campus -> Bool

Whether all locations exist on the same campus.