sweet-egison-0.1.1.3: Shallow embedding implementation of non-linear pattern matching

Stabilityexperimental
Safe HaskellNone
LanguageHaskell2010

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 #