mirror of
https://code.sup39.dev/repos/Wqawg
synced 2024-12-29 02:34:51 +09:00
Forgot to record Data.Maybe.Local util module
This commit is contained in:
parent
941bd0ea03
commit
26624404ca
1 changed files with 29 additions and 0 deletions
29
src/Data/Maybe/Local.hs
Normal file
29
src/Data/Maybe/Local.hs
Normal file
|
@ -0,0 +1,29 @@
|
||||||
|
{- This file is part of Vervis.
|
||||||
|
-
|
||||||
|
- Written in 2016 by fr33domlover <fr33domlover@riseup.net>.
|
||||||
|
-
|
||||||
|
- ♡ Copying is an act of love. Please copy, reuse and share.
|
||||||
|
-
|
||||||
|
- The author(s) have dedicated all copyright and related and neighboring
|
||||||
|
- rights to this software to the public domain worldwide. This software is
|
||||||
|
- distributed without any warranty.
|
||||||
|
-
|
||||||
|
- You should have received a copy of the CC0 Public Domain Dedication along
|
||||||
|
- with this software. If not, see
|
||||||
|
- <http://creativecommons.org/publicdomain/zero/1.0/>.
|
||||||
|
-}
|
||||||
|
|
||||||
|
module Data.Maybe.Local
|
||||||
|
( partitionMaybePairs
|
||||||
|
)
|
||||||
|
where
|
||||||
|
|
||||||
|
import Prelude
|
||||||
|
|
||||||
|
partitionMaybePairs :: [(Maybe a, Maybe b)] -> ([a], [b], [(a, b)])
|
||||||
|
partitionMaybePairs = foldr f ([], [], [])
|
||||||
|
where
|
||||||
|
f (Nothing, Nothing) ls = ls
|
||||||
|
f (Just x, Nothing) (xs, ys, ps) = (x : xs, ys, ps)
|
||||||
|
f (Nothing, Just y) (xs, ys, ps) = (xs, y : ys, ps)
|
||||||
|
f (Just x, Just y) (xs, ys, ps) = (xs, ys, (x, y) : ps)
|
Loading…
Reference in a new issue