k
Size: a a a
k
k
k
-
синтаксисk
k
0.16
k
DK
type Interval a = Interval a a
nonmaybe : Interval (Maybe a) -> Maybe (Interval a)
nonmaybe (Interval x y) =
case (x, y) of
(Just xVal, Just yVal) ->
Just (Interval xVal yVal)
_ ->
Nothing
k
type Interval a = Interval a a
nonmaybe : Interval (Maybe a) -> Maybe (Interval a)
nonmaybe (Interval x y) =
case (x, y) of
(Just xVal, Just yVal) ->
Just (Interval xVal yVal)
_ ->
Nothing
k
type Interval a = Interval a a
nonmaybe : Interval (Maybe a) -> Maybe (Interval a)
nonmaybe (Interval x y) =
case (x, y) of
(Just xVal, Just yVal) ->
Just (Interval xVal yVal)
_ ->
Nothing
MP
k
AY
DK
DK
RT
AT
DK
DK
MP
DK