@@ -87,6 +87,10 @@ maybeToEither : (def : Lazy e) -> Maybe a -> Either e a
87maybeToEither def (Just j) = Right j
87maybeToEither def (Just j) = Right j
88maybeToEither def Nothing = Left def
88maybeToEither def Nothing = Left def
90+||| Convert an Either to a Maybe from Right injection
91+eitherToMaybe : Either e a -> Maybe a
92+eitherToMaybe (Left _) = Nothing
93+eitherToMaybe (Right x) = Just x
91--------------------------------------------------------------------------------
95--------------------------------------------------------------------------------
92-- Implementations
96-- Implementations