Control.Egison.Match

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]

matchAllSingle :: (Matcher m t, MonadSearch s) => ((m, t) -> s (m, t)) -> t -> m -> ((m, t) -> s r) -> [r]

match :: (Matcher m t, MonadSearch s) => ((m, t) -> s (m, t)) -> t -> m -> [(m, t) -> s r] -> r