Control.Egison.Matcher

This module defines a class for matchers and some basic matchers.

Documentation

type Pattern ps im it ot = ps -> im -> it -> [ot]

Type synonym for patterns.

class Matcher m tgt

Class for matchers. Matcher m tgt denotes that m is a matcher for tgt.

Instances

Matcher Something (a :: k)

Defined in Control.Egison.Matcher

Eq a => Matcher Eql (a :: Type)

Defined in Control.Egison.Matcher

Matcher m t => Matcher (Set m :: Type) ([t] :: Type)

Defined in Control.Egison.Matcher.Collection

Matcher m t => Matcher (Multiset m :: Type) ([t] :: Type)

Defined in Control.Egison.Matcher.Collection

Matcher m t => Matcher (List m :: Type) ([t] :: Type)

Defined in Control.Egison.Matcher.Collection

(Matcher m1 t1, Matcher m2 t2) => Matcher (Pair m1 m2 :: Type) ((t1, t2) :: Type)

Defined in Control.Egison.Matcher.Pair

data Something

Matcher that handles pattern variables and wildcards for arbitrary types.

Constructors

Something

Instances

Matcher Something (a :: k)

Defined in Control.Egison.Matcher

class Eq t => ValuePattern m t where

Minimal complete definition

Nothing

Methods

value :: t -> Pattern () m t ()

value :: Eq t => t -> Pattern () m t ()

valueM :: m -> t -> ()

valueM :: m -> t -> ()

Instances

Eq a => ValuePattern Eql a

Defined in Control.Egison.Matcher

Methods

value :: a -> Pattern () Eql a ()

valueM :: Eql -> a -> ()

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

Defined in Control.Egison.Matcher.Collection

Methods

value :: [a] -> Pattern () (Set m) [a] ()

valueM :: Set m -> [a] -> ()

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

Defined in Control.Egison.Matcher.Collection

Methods

value :: [a] -> Pattern () (Multiset m) [a] ()

valueM :: Multiset m -> [a] -> ()

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

Defined in Control.Egison.Matcher.Collection

Methods

value :: [a] -> Pattern () (List m) [a] ()

valueM :: List m -> [a] -> ()

(Eq a1, Matcher m1 a1, ValuePattern m1 a1, Eq a2, Matcher m2 a2, ValuePattern m2 a2) => ValuePattern (Pair m1 m2) (a1, a2)

Defined in Control.Egison.Matcher.Pair

Methods

value :: (a1, a2) -> Pattern () (Pair m1 m2) (a1, a2) ()

valueM :: Pair m1 m2 -> (a1, a2) -> ()

data Eql

Matcher that can handle value patterns of Eq types.

Constructors

Eql

Instances

Eq a => ValuePattern Eql a

Defined in Control.Egison.Matcher

Methods

value :: a -> Pattern () Eql a ()

valueM :: Eql -> a -> ()

Eq a => Matcher Eql (a :: Type)

Defined in Control.Egison.Matcher