Mercurial > 12ws.info2
view exercises/src/SafeMap.hs @ 30:8bf7ca2663d2
Advanced AdditionParser
author | Markus Kaiser <markus.kaiser@in.tum.de> |
---|---|
date | Sat, 12 Jan 2013 14:36:43 +0000 |
parents | f9386825bf71 |
children |
line wrap: on
line source
{- Modul-Deklaration anpassen, wenn notwendig! -} module SafeMap where {- Diese Definition ist nur da, damit die Vorlage unveraendert kompiliert. - Fuer eine richtige Loesung auf jeden Fall diese Definition ersetzen. - Achten Sie darauf, keine Implementierungsdetails nach aussen dringen - zu lassen -} type SafeMap k v = () empty :: Eq k => SafeMap k v empty = undefined update :: Eq k => k -> v -> SafeMap k v -> SafeMap k v update = undefined lookup :: Eq k => k -> SafeMap k v -> Maybe v lookup = undefined