chore(term): change to 4 digit format for disambiguation
This commit is contained in:
parent
88b22d50e8
commit
de96b4bcab
@ -5,24 +5,23 @@ TermStartMustBeBeforeLectureStart: Semester muss vor der Vorlesungszeit beginnen
|
|||||||
TermEndMustBeAfterLectureEnd: Vorlesungszeit muss vor dem Semester enden.
|
TermEndMustBeAfterLectureEnd: Vorlesungszeit muss vor dem Semester enden.
|
||||||
TermShort: Kürzel
|
TermShort: Kürzel
|
||||||
TermCourseCount: Kurse
|
TermCourseCount: Kurse
|
||||||
TermStart: Semesteranfang
|
TermStart: Anfang Kursperiode
|
||||||
TermEnd: Semesterende
|
TermEnd: Ende Kursperiode
|
||||||
LectureStart: Beginn Vorlesungen
|
LectureStart: Beginn Kurse
|
||||||
TermEdited tid@TermId: Semester #{tid} erfolgreich editiert.
|
TermEdited tid@TermId: Semester #{tid} erfolgreich editiert.
|
||||||
TermNewTitle: Semester editieren/anlegen.
|
TermNewTitle: Semester editieren/anlegen.
|
||||||
InvalidInput: Eingaben bitte korrigieren.
|
InvalidInput: Eingaben bitte korrigieren.
|
||||||
Term !ident-ok: Semester
|
Term !ident-ok: Semester
|
||||||
TermPlaceholder: JJJJ-MM-TT (Erster Tag einer Schulung)
|
TermPlaceholder: JJJJ-MM-TT (Erster Tag einer Schulung)
|
||||||
TermStartDay: Erster Tag
|
TermStartDay: Erster Tag
|
||||||
TermStartDayTooltip: Üblicherweise immer 1. April oder 1. Oktober
|
|
||||||
TermEndDay: Letzter Tag
|
TermEndDay: Letzter Tag
|
||||||
TermEndDayTooltip: Üblicherweise immer 30. September oder 31. März
|
|
||||||
TermHolidays: Feiertage
|
TermHolidays: Feiertage
|
||||||
TermHolidayPlaceholder: Feiertag
|
TermHolidayPlaceholder: Feiertag
|
||||||
TermHolidayMissing: Feiertag wird benötigt
|
TermHolidayMissing: Feiertag wird benötigt
|
||||||
TermLectureStart: Beginn Vorlesungen
|
TermLectureStart: Beginn Vorlesungen
|
||||||
TermLectureEnd: Ende Vorlesungen
|
TermLectureEnd: Ende Vorlesungen
|
||||||
TermLectureEndTooltip: Meistens dauer das Sommersemester 14 Wochen und das Wintersemester 15 Wochen.
|
TermLectureStartTooltip: Muss am oder nach dem Beginn liegen
|
||||||
|
TermLectureEndTooltip: Muss am oder vor dem Ende liegen
|
||||||
TermActive: Aktiv
|
TermActive: Aktiv
|
||||||
NumCourses num@Int64: #{num} #{pluralDE num "Kurs" "Kurse"}
|
NumCourses num@Int64: #{num} #{pluralDE num "Kurs" "Kurse"}
|
||||||
TermsHeading: Semesterübersicht
|
TermsHeading: Semesterübersicht
|
||||||
|
|||||||
@ -5,24 +5,23 @@ TermStartMustBeBeforeLectureStart: Semester start must be before lecture start.
|
|||||||
TermEndMustBeAfterLectureEnd: Lecture end must be before semester end.
|
TermEndMustBeAfterLectureEnd: Lecture end must be before semester end.
|
||||||
TermShort: Shorthand
|
TermShort: Shorthand
|
||||||
TermCourseCount: Courses
|
TermCourseCount: Courses
|
||||||
TermStart: Semester start
|
TermStart: Start of teaching period
|
||||||
TermEnd: Semester end
|
TermEnd: End of teaching perios
|
||||||
LectureStart: Lectures start
|
LectureStart: Courses start
|
||||||
TermEdited tid: Successfully edited semester #{tid}
|
TermEdited tid: Successfully edited semester #{tid}
|
||||||
TermNewTitle: Edit/create semester
|
TermNewTitle: Edit/create semester
|
||||||
InvalidInput: Invalid input
|
InvalidInput: Invalid input
|
||||||
Term: Semester
|
Term: Semester
|
||||||
TermPlaceholder: YYYY-MM-DD (First day of courses)
|
TermPlaceholder: YYYY-MM-DD (First day of courses)
|
||||||
TermStartDay: Starting day
|
TermStartDay: Starting day
|
||||||
TermStartDayTooltip: Usually 1st of April or 1st of October
|
|
||||||
TermEndDay: Last day
|
TermEndDay: Last day
|
||||||
TermEndDayTooltip: Usually 30th of September or 31st of March
|
|
||||||
TermHolidays: Legal holidays
|
TermHolidays: Legal holidays
|
||||||
TermHolidayPlaceholder: Legal holiday
|
TermHolidayPlaceholder: Legal holiday
|
||||||
TermHolidayMissing: Holiday is required
|
TermHolidayMissing: Holiday is required
|
||||||
TermLectureStart: Lectures start
|
TermLectureStart: Lectures start
|
||||||
TermLectureEnd: Lectures end
|
TermLectureEnd: Lectures end
|
||||||
TermLectureEndTooltip: Summer semesters are usually 14 weeks; winter semesters 15
|
TermLectureStartTooltip: Must be on or after starting day
|
||||||
|
TermLectureEndTooltip: Must be before or on ending day
|
||||||
TermActive: Active
|
TermActive: Active
|
||||||
NumCourses num: #{num} #{pluralEN num "course" "courses"}
|
NumCourses num: #{num} #{pluralEN num "course" "courses"}
|
||||||
TermsHeading: Semesters
|
TermsHeading: Semesters
|
||||||
|
|||||||
@ -354,11 +354,11 @@ newTermForm mtid template = validateForm validateTerm $ \html -> do
|
|||||||
fRequired = False
|
fRequired = False
|
||||||
flip (renderAForm FormStandard) html $ TermForm
|
flip (renderAForm FormStandard) html $ TermForm
|
||||||
<$> tidForm
|
<$> tidForm
|
||||||
<*> areq dayField (fslI MsgTermStartDay & setTooltip MsgTermStartDayTooltip) (tftStart template)
|
<*> areq dayField (fslI MsgTermStartDay) (tftStart template)
|
||||||
<*> areq dayField (fslI MsgTermEndDay & setTooltip MsgTermEndDayTooltip) (tftEnd template)
|
<*> areq dayField (fslI MsgTermEndDay ) (tftEnd template)
|
||||||
<*> (ungroupHolidays <$> holidayForm (groupHolidays <$> tftHolidays template))
|
<*> (ungroupHolidays <$> holidayForm (groupHolidays <$> tftHolidays template))
|
||||||
<*> areq dayField (fslI MsgTermLectureStart) (tftLectureStart template)
|
<*> areq dayField (fslI MsgTermLectureStart & setTooltip MsgTermLectureStartTooltip) (tftLectureStart template)
|
||||||
<*> areq dayField (fslI MsgTermLectureEnd & setTooltip MsgTermLectureEndTooltip) (tftLectureEnd template)
|
<*> areq dayField (fslI MsgTermLectureEnd & setTooltip MsgTermLectureEndTooltip) (tftLectureEnd template)
|
||||||
<*> activeForm (tftActive template)
|
<*> activeForm (tftActive template)
|
||||||
|
|
||||||
|
|
||||||
|
|||||||
@ -71,12 +71,14 @@ shortened = iso shorten expand
|
|||||||
-- Handler.Utils.Widget.tidFromText
|
-- Handler.Utils.Widget.tidFromText
|
||||||
-- MsgTermPlaceHolder
|
-- MsgTermPlaceHolder
|
||||||
termToText :: TermIdentifier -> Text
|
termToText :: TermIdentifier -> Text
|
||||||
termToText TermIdentifier{..} = Text.pack . show $ year ^. shortened
|
termToText TermIdentifier{..} = Text.pack . show $ year -- ^. shortened
|
||||||
|
|
||||||
termFromText :: Text -> Either Text TermIdentifier
|
termFromText :: Text -> Either Text TermIdentifier
|
||||||
termFromText t
|
termFromText t
|
||||||
| Just (review shortened -> year) <- readMaybe $ Text.unpack t
|
| Just year <- readMaybe $ Text.unpack t
|
||||||
= Right TermIdentifier {..}
|
= Right TermIdentifier {..}
|
||||||
|
-- | Just (review shortened -> year) <- readMaybe $ Text.unpack t
|
||||||
|
-- = Right TermIdentifier {..}
|
||||||
| otherwise
|
| otherwise
|
||||||
= Left $ "Invalid TermIdentifier: “" <> t <> "”; expected is just a year number."
|
= Left $ "Invalid TermIdentifier: “" <> t <> "”; expected is just a year number."
|
||||||
|
|
||||||
|
|||||||
@ -46,7 +46,6 @@ import qualified Data.Text.Lazy as LT
|
|||||||
|
|
||||||
import Text.Blaze.Html.Renderer.Text (renderHtml)
|
import Text.Blaze.Html.Renderer.Text (renderHtml)
|
||||||
|
|
||||||
import Handler.Utils.DateTime (getYear)
|
|
||||||
|
|
||||||
{-
|
{-
|
||||||
instance Arbitrary Day where
|
instance Arbitrary Day where
|
||||||
@ -65,7 +64,7 @@ instance CoArbitrary Day where
|
|||||||
|
|
||||||
instance Arbitrary TermIdentifier where
|
instance Arbitrary TermIdentifier where
|
||||||
arbitrary = TermIdentifier <$> arbitrary
|
arbitrary = TermIdentifier <$> arbitrary
|
||||||
shrink = fmap TermIdentifier . shrink . getTermDay
|
shrink = fmap TermIdentifier . shrink . year
|
||||||
instance CoArbitrary TermIdentifier
|
instance CoArbitrary TermIdentifier
|
||||||
instance Function TermIdentifier
|
instance Function TermIdentifier
|
||||||
|
|
||||||
@ -471,7 +470,7 @@ spec = do
|
|||||||
--it "has compatible encoding/decoding to/from PersistValue" . property $
|
--it "has compatible encoding/decoding to/from PersistValue" . property $
|
||||||
-- \term -> fromPersistValue (toPersistValue term) == term
|
-- \term -> fromPersistValue (toPersistValue term) == term
|
||||||
it "has human readable year encoding to Rational" . property $
|
it "has human readable year encoding to Rational" . property $
|
||||||
\term -> truncate (termToRational term) == getYear (getTermDay term)
|
\term -> truncate (termToRational term) == year term
|
||||||
describe "Pseudonym" $ do
|
describe "Pseudonym" $ do
|
||||||
it "has sufficient vocabulary" $
|
it "has sufficient vocabulary" $
|
||||||
(length pseudonymWordlist ^ 2) `shouldSatisfy` (> (fromIntegral (maxBound :: Pseudonym) - fromIntegral (minBound :: Pseudonym)))
|
(length pseudonymWordlist ^ 2) `shouldSatisfy` (> (fromIntegral (maxBound :: Pseudonym) - fromIntegral (minBound :: Pseudonym)))
|
||||||
|
|||||||
Reference in New Issue
Block a user