WeekDaze.Data.Resource

AUTHOR

Dr. Alistair Ward

DESCRIPTION

• An abstract description of the properties common to students, teachers or locations.
• Currently just their availability, but in principle other common facets of these entities may be added as they're discovered.
• The simultaneous availability of largely arbitrary collections of tuples can also be determined.

Type-classes

class Resource resource where

Describes a finite resource, or group of finite resources.

Minimal complete definition

getAvailability

Methods

getAvailability

Arguments

:: resource

-> Availability

The set of days on which the resources are all regularly available to be booked.

isAvailableOn

Arguments

:: Day

-> resource

-> Bool

True if on the specified day, all resources are regularly scheduled to be available.

Instances

Resource resource => Resource [resource]

Defined in WeekDaze.Data.Resource

Methods

getAvailability :: [resource] -> Availability

isAvailableOn :: Day -> [resource] -> Bool

Resource resource => Resource (Set resource)

Defined in WeekDaze.Data.Resource

Methods

getAvailability :: Set resource -> Availability

isAvailableOn :: Day -> Set resource -> Bool

Resource (Profile campus)

Defined in WeekDaze.Data.Location

Methods

getAvailability :: Profile campus -> Availability

isAvailableOn :: Day -> Profile campus -> Bool

(Resource a, Resource b) => Resource (a, b)

Defined in WeekDaze.Data.Resource

Methods

getAvailability :: (a, b) -> Availability

isAvailableOn :: Day -> (a, b) -> Bool

Resource resource => Resource (Map k resource)

Defined in WeekDaze.Data.Resource

Methods

getAvailability :: Map k resource -> Availability

isAvailableOn :: Day -> Map k resource -> Bool

(Resource a, Resource b, Resource c) => Resource (a, b, c)

Defined in WeekDaze.Data.Resource

Methods

getAvailability :: (a, b, c) -> Availability

isAvailableOn :: Day -> (a, b, c) -> Bool

Resource (Profile level stream teachingRatio)

Defined in WeekDaze.Data.Student

Methods

getAvailability :: Profile level stream teachingRatio -> Availability

isAvailableOn :: Day -> Profile level stream teachingRatio -> Bool

Resource (Profile synchronisationId level timeslotId locationId teachingRatio)

Defined in WeekDaze.Data.Teacher

Methods

getAvailability :: Profile synchronisationId level timeslotId locationId teachingRatio -> Availability

isAvailableOn :: Day -> Profile synchronisationId level timeslotId locationId teachingRatio -> Bool

Types

Type-synonyms

type ResourceMap resourceId resource = Map resourceId resource

Describes a map indexed by unique resource-identifiers.

Functions

countDaysPerWeekAvailable :: Resource resource => resource -> NDays

The number of days in any week, on which all the resources are simultaneously available.

isAvailable :: Resource resource => resource -> Bool

True if on any day, all the resources are regularly scheduled to be simultaneously available.

extractAvailableResources :: Resource resource => Day -> ResourceMap resourceId resource -> ResourceMap resourceId resource

Extract those resources from the map provided, which are available on the specified day.