shithub: MicroHs

Info  •  Files  •  Log  •  Branches

Add missing fromJust

--- a/lib/Data/Maybe.hs

+++ b/lib/Data/Maybe.hs

@@ -4,6 +4,7 @@

 import Prelude()              -- do not import Prelude

 import Primitives

 import Control.Applicative

+import Control.Error

 import Control.Monad

 import Control.Monad.Fail

 import Data.Bool

@@ -76,6 +77,10 @@

 fromMaybe :: forall a . a -> Maybe a -> a

 fromMaybe a Nothing = a

 fromMaybe _ (Just a) = a

+

+fromJust :: forall a . Maybe a -> a

+fromJust Nothing = error "fromJust: Nothing"

+fromJust (Just a) = a

 catMaybes :: forall a . [Maybe a] -> [a]

 catMaybes mxs = [ x | Just x <- mxs ]

-- 

⑨