0 | module Util 1 | 2 | ----------------------------------- 3 | -- Standard Data Type Extensions -- 4 | ----------------------------------- 5 | namespace Either 6 | export 7 | mapLeft : (f : a -> b) -> Either a c -> Either b c 8 | mapLeft f (Left x) = Left (f x) 9 | mapLeft f (Right x) = Right x 10 |