top page > computer > haskell > web_lecture > for_programmer > maybe_def.html
更新日:
文責: 重城良国

Maybe型

はじめに

maybe.hs

Maybe型は特別なところは何もない。Preludeで定義ずみの代数的データ型だ。

定義

Maybe'型を定義する。

data Maybe' a = Just' a | Nothing' deriving Show

関数fromMaybe

新しく作った型で関数fromMaybeと同じ関数を定義する。

fromMaybe' :: a -> Maybe' a -> a
fromMaybe' _ (Just' x) = x
fromMaybe' d _ = d

関数maybe

関数maybeについても同様に定義する。

maybe' :: b -> (a -> b) -> Maybe' a -> b
maybe' _ f (Just x) = f x
maybe' d _ _ = d

まとめ

Maybe型はPreludeで定義された単なる代数的データ型である。

「タプル」へもどる 「Either型」へ

正当なCSSです! HTML5 Powered with CSS3 / styling, and Semantics