| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Control.Egison.Matcher
Something matcher
Something built-in matcher.
Constructors
| Something |
Instances
| Matcher Something a Source # | |
Defined in Control.Egison.Matcher | |
Eql and Integer matchers
class ValuePat m a where Source #
Value patterns
A matcher for data types that are instances of Eq.
Constructors
| Eql |
A matcher for integers.
Constructors
| Integer |
Pair matcher
class PairPat m a where Source #
A pattern constructor for pairs.
Methods
pair :: (Matcher m a, a ~ (b1, b2), m ~ Pair m1 m2) => Pattern b1 m1 ctx xs -> Pattern b2 m2 (ctx :++: xs) ys -> Pattern a m ctx (xs :++: ys) Source #
A matcher for a pair of data.
Constructors
| Pair m1 m2 |
Matchers for collections
class CollectionPat m a where Source #
Patterns for collections.
Methods
nil :: Matcher m a => Pattern a m ctx '[] Source #
cons :: (Matcher m a, a ~ [a'], m ~ f m') => Pattern a' m' ctx xs -> Pattern a m (ctx :++: xs) ys -> Pattern a m ctx (xs :++: ys) Source #
join :: Matcher m a => Pattern a m ctx xs -> Pattern a m (ctx :++: xs) ys -> Pattern a m ctx (xs :++: ys) Source #
Instances
| Matcher m a => CollectionPat (Set m) [a] Source # | |
Defined in Control.Egison.Matcher Methods nil :: Matcher (Set m) [a] => Pattern [a] (Set m) ctx [] Source # cons :: (Matcher (Set m) [a], [a] ~ [a'], Set m ~ f m') => Pattern a' m' ctx xs -> Pattern [a] (Set m) (ctx :++: xs) ys -> Pattern [a] (Set m) ctx (xs :++: ys) Source # join :: Matcher (Set m) [a] => Pattern [a] (Set m) ctx xs -> Pattern [a] (Set m) (ctx :++: xs) ys -> Pattern [a] (Set m) ctx (xs :++: ys) Source # | |
| Matcher m a => CollectionPat (Multiset m) [a] Source # | |
Defined in Control.Egison.Matcher Methods nil :: Matcher (Multiset m) [a] => Pattern [a] (Multiset m) ctx [] Source # cons :: (Matcher (Multiset m) [a], [a] ~ [a'], Multiset m ~ f m') => Pattern a' m' ctx xs -> Pattern [a] (Multiset m) (ctx :++: xs) ys -> Pattern [a] (Multiset m) ctx (xs :++: ys) Source # join :: Matcher (Multiset m) [a] => Pattern [a] (Multiset m) ctx xs -> Pattern [a] (Multiset m) (ctx :++: xs) ys -> Pattern [a] (Multiset m) ctx (xs :++: ys) Source # | |
| Matcher m a => CollectionPat (List m) [a] Source # | |
Defined in Control.Egison.Matcher Methods nil :: Matcher (List m) [a] => Pattern [a] (List m) ctx [] Source # cons :: (Matcher (List m) [a], [a] ~ [a'], List m ~ f m') => Pattern a' m' ctx xs -> Pattern [a] (List m) (ctx :++: xs) ys -> Pattern [a] (List m) ctx (xs :++: ys) Source # join :: Matcher (List m) [a] => Pattern [a] (List m) ctx xs -> Pattern [a] (List m) (ctx :++: xs) ys -> Pattern [a] (List m) ctx (xs :++: ys) Source # | |
a matcher for a list.
Constructors
| List m |
Instances
| Matcher m a => Matcher (List m) [a] Source # | |
Defined in Control.Egison.Matcher | |
| Matcher m a => CollectionPat (List m) [a] Source # | |
Defined in Control.Egison.Matcher Methods nil :: Matcher (List m) [a] => Pattern [a] (List m) ctx [] Source # cons :: (Matcher (List m) [a], [a] ~ [a'], List m ~ f m') => Pattern a' m' ctx xs -> Pattern [a] (List m) (ctx :++: xs) ys -> Pattern [a] (List m) ctx (xs :++: ys) Source # join :: Matcher (List m) [a] => Pattern [a] (List m) ctx xs -> Pattern [a] (List m) (ctx :++: xs) ys -> Pattern [a] (List m) ctx (xs :++: ys) Source # | |
| (Matcher m a, Eq a, ValuePat m a) => ValuePat (List m) [a] Source # | |
a matcher for a multiset.
Constructors
| Multiset m |
Instances
| Matcher m a => Matcher (Multiset m) [a] Source # | |
Defined in Control.Egison.Matcher | |
| Matcher m a => CollectionPat (Multiset m) [a] Source # | |
Defined in Control.Egison.Matcher Methods nil :: Matcher (Multiset m) [a] => Pattern [a] (Multiset m) ctx [] Source # cons :: (Matcher (Multiset m) [a], [a] ~ [a'], Multiset m ~ f m') => Pattern a' m' ctx xs -> Pattern [a] (Multiset m) (ctx :++: xs) ys -> Pattern [a] (Multiset m) ctx (xs :++: ys) Source # join :: Matcher (Multiset m) [a] => Pattern [a] (Multiset m) ctx xs -> Pattern [a] (Multiset m) (ctx :++: xs) ys -> Pattern [a] (Multiset m) ctx (xs :++: ys) Source # | |
| (Matcher m a, Eq a, ValuePat m a) => ValuePat (Multiset m) [a] Source # | |
a matcher for a set.
Constructors
| Set m |
Instances
| Matcher m a => Matcher (Set m) [a] Source # | |
Defined in Control.Egison.Matcher | |
| Matcher m a => CollectionPat (Set m) [a] Source # | |
Defined in Control.Egison.Matcher Methods nil :: Matcher (Set m) [a] => Pattern [a] (Set m) ctx [] Source # cons :: (Matcher (Set m) [a], [a] ~ [a'], Set m ~ f m') => Pattern a' m' ctx xs -> Pattern [a] (Set m) (ctx :++: xs) ys -> Pattern [a] (Set m) ctx (xs :++: ys) Source # join :: Matcher (Set m) [a] => Pattern [a] (Set m) ctx xs -> Pattern [a] (Set m) (ctx :++: xs) ys -> Pattern [a] (Set m) ctx (xs :++: ys) Source # | |
| (Matcher m a, Eq a, Ord a, ValuePat m a) => ValuePat (Set m) [a] Source # | |