This content is restricted to site members. If you are an existing user, please log in. New users may register below.
Heures

Un nouveau type Sur le même principe que pour les dates on utilise un type opaque. type alias Heure = { heure : Int, minute : Int } type HeureBis = H (Heure ) newHeure : Heure -> Maybe (HeureBis ) newHeure h = if (h.minute<0 || h.minute>59) then Nothing else Just(H h) versAlias : HeureBis -> Heure versAlias (H h) = h Recuperer les heures et les minutes getHeure : Heure -> Int getHeure {heure} = heure getMinute : Heure -> Int getMinute {minute} = minute Ordre Si heure 1 == heure 2 -> EQ Sinon Si heure1 >