WeekDaze.Data.HumanResource

AUTHOR

Dr. Alistair Ward

DESCRIPTION

• Describes an aspect of either a teacher or student.
• These resources have a requirement to devote a portion of their week to teaching, whereas a location doesn't care what it's being used for.
• They can also be members of heterogenous groups of other human-resources.

Type-classes

class HumanResource h where

Describes a resource, which is also a person.

Methods

getNTimeslotsPerWeekOfTeaching

Arguments

:: NTimeslots

The number of time-slots per day.

-> h

-> NTimeslots

The number of those time-slots when the person is available, devoted to teaching or being taught.

getNTimeslotsPerWeekOfNonTeaching

Arguments

:: NTimeslots

The number of time-slots per day.

-> h

-> NTimeslots

The number of those time-slots when the person is available, devoted to any activity other than teaching; e.g. lunch, meetings, administration, free-study.

getGroupMembership

Arguments

:: h

-> Membership

The groups to which this human-resource belongs.

getMaybeFreePeriodPreference

Arguments

:: h

-> Maybe FreePeriodPreference

Any preference for the position within each day, of unallocated time-slots.

Instances

RealFrac teachingRatio => HumanResource (Profile level stream teachingRatio)

Defined in WeekDaze.Data.Student

Methods

getNTimeslotsPerWeekOfTeaching :: NTimeslots -> Profile level stream teachingRatio -> NTimeslots

getNTimeslotsPerWeekOfNonTeaching :: NTimeslots -> Profile level stream teachingRatio -> NTimeslots

getGroupMembership :: Profile level stream teachingRatio -> Membership

getMaybeFreePeriodPreference :: Profile level stream teachingRatio -> Maybe FreePeriodPreference

RealFrac teachingRatio => HumanResource (Profile synchronisationId level timeslotId locationId teachingRatio)

Defined in WeekDaze.Data.Teacher

Methods

getNTimeslotsPerWeekOfTeaching :: NTimeslots -> Profile synchronisationId level timeslotId locationId teachingRatio -> NTimeslots

getNTimeslotsPerWeekOfNonTeaching :: NTimeslots -> Profile synchronisationId level timeslotId locationId teachingRatio -> NTimeslots

getGroupMembership :: Profile synchronisationId level timeslotId locationId teachingRatio -> Membership

getMaybeFreePeriodPreference :: Profile synchronisationId level timeslotId locationId teachingRatio -> Maybe FreePeriodPreference

Constants

groupMembershipTag :: String

Used to qualify XML.

defaultGroupMembership :: Membership

The default value for getGroupMembership.

Functions

calculateNTimeslotsPerWeekAvailable :: Resource resource => NTimeslots -> resource -> NTimeslots

The number of time-slots in each week, that this resource is regularly scheduled to be available.

extractDistinctGroupMembership :: HumanResource humanResource => ResourceMap humanResourceId humanResource -> Membership

Finds the set of groups, of which at least one human-resource claims membership.

extractGroupMembersOf :: HumanResource humanResource => Id -> ResourceMap humanResourceId humanResource -> ResourceMap humanResourceId humanResource

Identify those human-resources, in the specified resource-map, who belong to the specified group.

extractCombinedGroupMembership :: HumanResource humanResource => ResourceMap humanResourceId humanResource -> Membership

Get the union of all group-memberships.

Predicates

hasFreePeriodPreference :: HumanResource humanResource => humanResource -> Bool

Whether the human-resource has specified a preference for the position, within each day on which they're available, of free time-slots.