WeekDaze.Aggregate.StudentBody

AUTHOR

Dr. Alistair Ward

DESCRIPTION

• Individual students can be grouped into a body composed from those with identical profiles.
• This reduces the number of personal timetables that must ultimately be constructed.
• This is a relationship persists for the duration of a configuration-file, & in this respect differs from a class of students, which is a transient relationship formed for the duration of a single booking in the timetable, or perhaps for the bookings in a single course.

TODO

• The requirement to specify all the student-Ids, could be replaced with merely an anonymous head-count, since the application make very little use of this data.

Types

Type-synonyms

type Mnemonic = String

The type of the mnemonic by which a student-body is known.

data StudentBody

• A group of students with identical profiles; i.e. with identical requirements.
• Because this data-type forms part of the results for the application, & can become excessively verbose, a concise mnemonic is provided.

Instances

Eq StudentBody

Defined in WeekDaze.Aggregate.StudentBody

Methods

(==) :: StudentBody -> StudentBody -> Bool

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

Ord StudentBody

Defined in WeekDaze.Aggregate.StudentBody

Methods

compare :: StudentBody -> StudentBody -> Ordering

(<) :: StudentBody -> StudentBody -> Bool

(<=) :: StudentBody -> StudentBody -> Bool

(>) :: StudentBody -> StudentBody -> Bool

(>=) :: StudentBody -> StudentBody -> Bool

max :: StudentBody -> StudentBody -> StudentBody

min :: StudentBody -> StudentBody -> StudentBody

Read StudentBody

Defined in WeekDaze.Aggregate.StudentBody

Methods

readsPrec :: Int -> ReadS StudentBody

readList :: ReadS [StudentBody]

readPrec :: ReadPrec StudentBody

readListPrec :: ReadPrec [StudentBody]

Show StudentBody

Defined in WeekDaze.Aggregate.StudentBody

Methods

showsPrec :: Int -> StudentBody -> ShowS

show :: StudentBody -> String

showList :: [StudentBody] -> ShowS

NFData StudentBody

Defined in WeekDaze.Aggregate.StudentBody

Methods

rnf :: StudentBody -> ()

XmlPickler StudentBody

Defined in WeekDaze.Aggregate.StudentBody

Methods

xpickle :: PU StudentBody

SelfValidator StudentBody

Defined in WeekDaze.Aggregate.StudentBody

Methods

getErrors :: StudentBody -> [String]

isValid :: StudentBody -> Bool

HTML StudentBody

Defined in WeekDaze.Aggregate.StudentBody

Methods

toHtml :: StudentBody -> Html

toHtmlFromList :: [StudentBody] -> Html

Constants

mnemonicTag :: String

Used to qualify SQL & XML.

studentIdTag :: String

Used to qualify SQL & XML.

Functions

getSize :: StudentBody -> NStudents

The number of students in the body.

toPair :: StudentBody -> (Mnemonic, Members)

Deconstruct.

Constructor

mkStudentBody :: Mnemonic -> Members -> StudentBody

Smart constructor.