weekdaze-0.0.0.1: A school-timetable problem-solver.

Safe HaskellNone
LanguageHaskell2010

WeekDaze.Identifiers.Level

Contents

Description

AUTHOR
Dr. Alistair Ward
DESCRIPTION
  • Defines a suitable type for its polymorphic namesake.
  • This qualifies the topics offered by teachers, & in this context defines the level at which they are taught.
CAVEAT
Exporting nothing but the type-constructor forces this to be used only as an interface, & therefore to be easily replaced; though a data-constructor is also exported for testing.
Synopsis

Types

Data-types

data Level Source #

Define a concrete type for the level of a topic.

Instances
Eq Level Source # 
Instance details

Defined in WeekDaze.Identifiers.Level

Methods

(==) :: Level -> Level -> Bool #

(/=) :: Level -> Level -> Bool #

Ord Level Source # 
Instance details

Defined in WeekDaze.Identifiers.Level

Methods

compare :: Level -> Level -> Ordering #

(<) :: Level -> Level -> Bool #

(<=) :: Level -> Level -> Bool #

(>) :: Level -> Level -> Bool #

(>=) :: Level -> Level -> Bool #

max :: Level -> Level -> Level #

min :: Level -> Level -> Level #

Read Level Source # 
Instance details

Defined in WeekDaze.Identifiers.Level

Show Level Source # 
Instance details

Defined in WeekDaze.Identifiers.Level

Methods

showsPrec :: Int -> Level -> ShowS #

show :: Level -> String #

showList :: [Level] -> ShowS #

NFData Level Source # 
Instance details

Defined in WeekDaze.Identifiers.Level

Methods

rnf :: Level -> () #

XmlPickler Level Source # 
Instance details

Defined in WeekDaze.Identifiers.Level

Methods

xpickle :: PU Level #

HTML Level Source # 
Instance details

Defined in WeekDaze.Identifiers.Level

Methods

toHtml :: Level -> Html #

toHtmlFromList :: [Level] -> Html #

Constants

Functions

Constructor

mkLevel :: String -> Level Source #

Constructor.