Safe Haskell | None |
---|---|
Language | Haskell2010 |
AUTHOR
- Dr. Alistair Ward
DESCRIPTION
- Defines the resources required for a lesson, from the perspective of a student-body.
Synopsis
- data LessonResourceIds locationId teacherId = MkLessonResourceIds {
- getLocationId :: locationId
- getTeacherId :: teacherId
Types
Data-types
data LessonResourceIds locationId teacherId Source #
Composed from both the locationId
& teacherId
.
MkLessonResourceIds | |
|
Instances
(Eq locationId, Eq teacherId) => Eq (LessonResourceIds locationId teacherId) Source # | |
Defined in WeekDaze.StudentView.LessonResourceIds (==) :: LessonResourceIds locationId teacherId -> LessonResourceIds locationId teacherId -> Bool # (/=) :: LessonResourceIds locationId teacherId -> LessonResourceIds locationId teacherId -> Bool # | |
(Ord locationId, Ord teacherId) => Ord (LessonResourceIds locationId teacherId) Source # | |
Defined in WeekDaze.StudentView.LessonResourceIds compare :: LessonResourceIds locationId teacherId -> LessonResourceIds locationId teacherId -> Ordering # (<) :: LessonResourceIds locationId teacherId -> LessonResourceIds locationId teacherId -> Bool # (<=) :: LessonResourceIds locationId teacherId -> LessonResourceIds locationId teacherId -> Bool # (>) :: LessonResourceIds locationId teacherId -> LessonResourceIds locationId teacherId -> Bool # (>=) :: LessonResourceIds locationId teacherId -> LessonResourceIds locationId teacherId -> Bool # max :: LessonResourceIds locationId teacherId -> LessonResourceIds locationId teacherId -> LessonResourceIds locationId teacherId # min :: LessonResourceIds locationId teacherId -> LessonResourceIds locationId teacherId -> LessonResourceIds locationId teacherId # | |
(Show locationId, Show teacherId) => Show (LessonResourceIds locationId teacherId) Source # | |
Defined in WeekDaze.StudentView.LessonResourceIds showsPrec :: Int -> LessonResourceIds locationId teacherId -> ShowS # show :: LessonResourceIds locationId teacherId -> String # showList :: [LessonResourceIds locationId teacherId] -> ShowS # | |
(NFData locationId, NFData teacherId) => NFData (LessonResourceIds locationId teacherId) Source # | |
Defined in WeekDaze.StudentView.LessonResourceIds rnf :: LessonResourceIds locationId teacherId -> () # | |
(XmlPickler locationId, XmlPickler teacherId) => XmlPickler (LessonResourceIds locationId teacherId) Source # | |
Defined in WeekDaze.StudentView.LessonResourceIds xpickle :: PU (LessonResourceIds locationId teacherId) # | |
(HTML locationId, HTML teacherId) => HTML (LessonResourceIds locationId teacherId) Source # | |
Defined in WeekDaze.StudentView.LessonResourceIds toHtml :: LessonResourceIds locationId teacherId -> Html # toHtmlFromList :: [LessonResourceIds locationId teacherId] -> Html # | |
(Eq locationId, Eq teacherId) => ResourceUser (LessonResourceIds locationId teacherId) Source # | |
Defined in WeekDaze.StudentView.LessonResourceIds areIndependent :: LessonResourceIds locationId teacherId -> LessonResourceIds locationId teacherId -> Bool Source # |