| Stability | experimental |
|---|---|
| Safe Haskell | None |
| Language | Haskell2010 |
Control.Egison.Match
Description
This module exposes many combinators to perform pattern matching in miniEgison-like way.
Documentation
matchAll :: (Matcher m t, MonadSearch s) => ((m, t) -> s (m, t)) -> t -> m -> [(m, t) -> s r] -> [r] Source #
matchAllSingle :: (Matcher m t, MonadSearch s) => ((m, t) -> s (m, t)) -> t -> m -> ((m, t) -> s r) -> [r] Source #
match :: (Matcher m t, MonadSearch s) => ((m, t) -> s (m, t)) -> t -> m -> [(m, t) -> s r] -> r Source #