Control.Egison.Matcher

Documentation

data Something

Constructors

Something

Instances

Matcher Something

Defined in Control.Egison.Matcher

class ValuePat m a where

Methods

valuePat :: (Matcher m, Eq a) => (HList ctx -> a) -> Pattern a m ctx '[]

Instances

Integral a => ValuePat Integer a

Defined in Control.Egison.Matcher

Methods

valuePat :: (Matcher Integer, Eq a) => (HList ctx -> a) -> Pattern a Integer ctx []

Eq a => ValuePat Eql a

Defined in Control.Egison.Matcher

Methods

valuePat :: (Matcher Eql, Eq a) => (HList ctx -> a) -> Pattern a Eql ctx []

(Matcher m, Eq a, Ord a, ValuePat m a) => ValuePat (Set m) [a]

Defined in Control.Egison.Matcher

Methods

valuePat :: (Matcher (Set m), Eq [a]) => (HList ctx -> [a]) -> Pattern [a] (Set m) ctx []

(Matcher m, Eq a, ValuePat m a) => ValuePat (Multiset m) [a]

Defined in Control.Egison.Matcher

Methods

valuePat :: (Matcher (Multiset m), Eq [a]) => (HList ctx -> [a]) -> Pattern [a] (Multiset m) ctx []

(Matcher m, Eq a, ValuePat m a) => ValuePat (List m) [a]

Defined in Control.Egison.Matcher

Methods

valuePat :: (Matcher (List m), Eq [a]) => (HList ctx -> [a]) -> Pattern [a] (List m) ctx []

data Eql

Constructors

Eql

Instances

Matcher Eql

Defined in Control.Egison.Matcher

Eq a => ValuePat Eql a

Defined in Control.Egison.Matcher

Methods

valuePat :: (Matcher Eql, Eq a) => (HList ctx -> a) -> Pattern a Eql ctx []

data Integer

Constructors

Integer

Instances

Matcher Integer

Defined in Control.Egison.Matcher

Integral a => ValuePat Integer a

Defined in Control.Egison.Matcher

Methods

valuePat :: (Matcher Integer, Eq a) => (HList ctx -> a) -> Pattern a Integer ctx []

class PairPat m a where

Methods

pair :: (Matcher m, a ~ (b1, b2), m ~ Pair m1 m2) => Pattern b1 m1 ctx xs -> Pattern b2 m2 (ctx :++: xs) ys -> Pattern a m ctx (xs :++: ys)

Instances

(Matcher m1, Matcher m2) => PairPat (Pair m1 m2) (a1, a2)

Defined in Control.Egison.Matcher

Methods

pair :: (Matcher (Pair m1 m2), (a1, a2) ~ (b1, b2), Pair m1 m2 ~ Pair m10 m20) => Pattern b1 m10 ctx xs -> Pattern b2 m20 (ctx :++: xs) ys -> Pattern (a1, a2) (Pair m1 m2) ctx (xs :++: ys)

data Pair a b

Constructors

Pair a b

Instances

(Matcher a, Matcher b) => Matcher (Pair a b)

Defined in Control.Egison.Matcher

(Matcher m1, Matcher m2) => PairPat (Pair m1 m2) (a1, a2)

Defined in Control.Egison.Matcher

Methods

pair :: (Matcher (Pair m1 m2), (a1, a2) ~ (b1, b2), Pair m1 m2 ~ Pair m10 m20) => Pattern b1 m10 ctx xs -> Pattern b2 m20 (ctx :++: xs) ys -> Pattern (a1, a2) (Pair m1 m2) ctx (xs :++: ys)

class CollectionPat m a where

Methods

nil :: (Matcher m, a ~ [a']) => Pattern a m ctx '[]

cons :: (Matcher m, a ~ [a'], m ~ f m') => Pattern a' m' ctx xs -> Pattern a m (ctx :++: xs) ys -> Pattern a m ctx (xs :++: ys)

join :: (Matcher m, a ~ [a']) => Pattern a m ctx xs -> Pattern a m (ctx :++: xs) ys -> Pattern a m ctx (xs :++: ys)

Instances

Matcher m => CollectionPat (Set m) [a]

Defined in Control.Egison.Matcher

Methods

nil :: (Matcher (Set m), [a] ~ [a']) => Pattern [a] (Set m) ctx []

cons :: (Matcher (Set m), [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)

join :: (Matcher (Set m), [a] ~ [a']) => Pattern [a] (Set m) ctx xs -> Pattern [a] (Set m) (ctx :++: xs) ys -> Pattern [a] (Set m) ctx (xs :++: ys)

Matcher m => CollectionPat (Multiset m) [a]

Defined in Control.Egison.Matcher

Methods

nil :: (Matcher (Multiset m), [a] ~ [a']) => Pattern [a] (Multiset m) ctx []

cons :: (Matcher (Multiset m), [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)

join :: (Matcher (Multiset m), [a] ~ [a']) => Pattern [a] (Multiset m) ctx xs -> Pattern [a] (Multiset m) (ctx :++: xs) ys -> Pattern [a] (Multiset m) ctx (xs :++: ys)

Matcher m => CollectionPat (List m) [a]

Defined in Control.Egison.Matcher

Methods

nil :: (Matcher (List m), [a] ~ [a']) => Pattern [a] (List m) ctx []

cons :: (Matcher (List m), [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)

join :: (Matcher (List m), [a] ~ [a']) => Pattern [a] (List m) ctx xs -> Pattern [a] (List m) (ctx :++: xs) ys -> Pattern [a] (List m) ctx (xs :++: ys)

newtype List a

Constructors

List a

Instances

Matcher a => Matcher (List a)

Defined in Control.Egison.Matcher

Matcher m => CollectionPat (List m) [a]

Defined in Control.Egison.Matcher

Methods

nil :: (Matcher (List m), [a] ~ [a']) => Pattern [a] (List m) ctx []

cons :: (Matcher (List m), [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)

join :: (Matcher (List m), [a] ~ [a']) => Pattern [a] (List m) ctx xs -> Pattern [a] (List m) (ctx :++: xs) ys -> Pattern [a] (List m) ctx (xs :++: ys)

(Matcher m, Eq a, ValuePat m a) => ValuePat (List m) [a]

Defined in Control.Egison.Matcher

Methods

valuePat :: (Matcher (List m), Eq [a]) => (HList ctx -> [a]) -> Pattern [a] (List m) ctx []

newtype Multiset a

Constructors

Multiset a

Instances

Matcher a => Matcher (Multiset a)

Defined in Control.Egison.Matcher

Matcher m => CollectionPat (Multiset m) [a]

Defined in Control.Egison.Matcher

Methods

nil :: (Matcher (Multiset m), [a] ~ [a']) => Pattern [a] (Multiset m) ctx []

cons :: (Matcher (Multiset m), [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)

join :: (Matcher (Multiset m), [a] ~ [a']) => Pattern [a] (Multiset m) ctx xs -> Pattern [a] (Multiset m) (ctx :++: xs) ys -> Pattern [a] (Multiset m) ctx (xs :++: ys)

(Matcher m, Eq a, ValuePat m a) => ValuePat (Multiset m) [a]

Defined in Control.Egison.Matcher

Methods

valuePat :: (Matcher (Multiset m), Eq [a]) => (HList ctx -> [a]) -> Pattern [a] (Multiset m) ctx []

newtype Set a

Constructors

Set a

Instances

Matcher a => Matcher (Set a)

Defined in Control.Egison.Matcher

Matcher m => CollectionPat (Set m) [a]

Defined in Control.Egison.Matcher

Methods

nil :: (Matcher (Set m), [a] ~ [a']) => Pattern [a] (Set m) ctx []

cons :: (Matcher (Set m), [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)

join :: (Matcher (Set m), [a] ~ [a']) => Pattern [a] (Set m) ctx xs -> Pattern [a] (Set m) (ctx :++: xs) ys -> Pattern [a] (Set m) ctx (xs :++: ys)

(Matcher m, Eq a, Ord a, ValuePat m a) => ValuePat (Set m) [a]

Defined in Control.Egison.Matcher

Methods

valuePat :: (Matcher (Set m), Eq [a]) => (HList ctx -> [a]) -> Pattern [a] (Set m) ctx []