funpat-0.1: A generalization of pattern matching

Language.FunPat.Interface

Synopsis

Documentation

match :: pat -> State [SomeCase (pat, res)] () -> resSource

Matches a value with cases.

with :: Case a => a -> State [SomeCase (PatternType a, ResultType a)] ()Source

Creates one case of the match.

(~>) :: a -> b -> (a, b)Source

Syntactic sugar to compose (pattern,result) pairs.