All Projects → ChrisPenner → unipatterns

ChrisPenner / unipatterns

Licence: BSD-3-Clause license
Helpers which allow safe partial pattern matching in lambdas

Programming Languages

haskell
3896 projects

unipatterns

Hackage docs

Thanks to @isovector for the idea

This library provides helpers for using unipatterns safely; what's a unipattern you ask?

Have you ever wanted to match on a really large expression in-line but don't want to bother pulling out a whole case-statement?

Scrap your case statements with unipattern matches!

For example 'maybeMatch' will detect failed pattern matches and will inject the result into 'Maybe'

>>> maybeMatch (\[a] -> show a) [1, 2, 3]
Nothing
>>> maybeMatch (\[a] -> show a) [1]
Just "1"

Most other operations provide different failure modes; for instance returning the original argument, returning 'empty', or using a provided failure handler.

It turns out this is pretty handy when using scrap-your-boilerplate operations:

everywhere (mkT (match (\"hidden" -> "found")))

This searches through a generic structure and will map any @"hidden"@ values into @"found"@; and will leave everything else alone.

You can also use this with humble fmap, inside monadic binds, etc. Anywhere that you really only care about one particular pattern, and want some trivial behaviour for the others. The following changes all Lefts into Rights, but leaves the Rights alone.

>>> match (\(Left n, x) -> (Right (show n), x)) <$> [(Right "a", 1), (Left 10, 2)]
[(Right "a",1),(Right "10",2)]

Does this library really need to exist? Probably not, but there are times when it's handy to have.

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].