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 >

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

Existing Users Log In
   
New User Registration
*Required field