LINUX.ORG.RU

История изменений

Исправление monk, (текущая версия) :

Так и пиши

instance Monad NotNullInt where
    NotNullInt 0 >>= f = NotNullInt 0
    NotNullInt x >>= f = f x
    return 0 = error "No way"
    return x  = NotNullInt x

Исправление monk, :

Так и пиши

instance Monad NotNullInt where
    NotNullInt 0 >>= f = NotNullInt 0
    x >>= f = f x
    return 0 = error "No way"
    return x  = NotNullInt x

Исправление monk, :

Так и пиши

instance Monad NotNullInt where
    NotNullInt 0 >>= f = NotNullInt 0
    x >>= f = f x
    return x  = NotNullInt x
    return 0 = error "No way"

Исходная версия monk, :

Так и пиши

instance Monad NotNullInt where
    NotNullInt 0 >>= f = NotNullInt 0
    x >>= f = f x
    return x  = x