Control.Egison.Matcher.Collection

Documentation

class CollectionPattern m t where

Class for collection pattern constructors.

Minimal complete definition

nil, cons, consM, join

Associated Types

type ElemM m

Matcher for the elements.

type ElemT t

Type of the target elements.

Methods

nil :: Pattern () m t ()

Pattern that matches with empty collections. [] is desugared into nil by the quasi-quoter.

nilM :: m -> t -> ()

nilM :: m -> t -> ()

cons :: Pattern (PP, PP) m t (ElemT t, t)

Pattern that destructs collections into its head and tail. : is desugared into cons by the quasi-quoter.

consM :: m -> t -> (ElemM m, m)

join :: Pattern (PP, PP) m t (t, t)

Pattern that destructs collections into its initial prefix and remaining suffix. ++ is desugared into join by the quasi-quoter.

joinM :: m -> t -> (m, m)

joinM :: m -> t -> (m, m)

Instances

Matcher m t => CollectionPattern (Set m) [t]

Defined in Control.Egison.Matcher.Collection

Associated Types

type ElemM (Set m) :: Type

type ElemT [t] :: Type

Methods

nil :: Pattern () (Set m) [t] ()

nilM :: Set m -> [t] -> ()

cons :: Pattern (PP, PP) (Set m) [t] (ElemT [t], [t])

consM :: Set m -> [t] -> (ElemM (Set m), Set m)

join :: Pattern (PP, PP) (Set m) [t] ([t], [t])

joinM :: Set m -> [t] -> (Set m, Set m)

Matcher m t => CollectionPattern (Multiset m) [t]

Defined in Control.Egison.Matcher.Collection

Associated Types

type ElemM (Multiset m) :: Type

type ElemT [t] :: Type

Methods

nil :: Pattern () (Multiset m) [t] ()

nilM :: Multiset m -> [t] -> ()

cons :: Pattern (PP, PP) (Multiset m) [t] (ElemT [t], [t])

consM :: Multiset m -> [t] -> (ElemM (Multiset m), Multiset m)

join :: Pattern (PP, PP) (Multiset m) [t] ([t], [t])

joinM :: Multiset m -> [t] -> (Multiset m, Multiset m)

Matcher m t => CollectionPattern (List m) [t]

Defined in Control.Egison.Matcher.Collection

Associated Types

type ElemM (List m) :: Type

type ElemT [t] :: Type

Methods

nil :: Pattern () (List m) [t] ()

nilM :: List m -> [t] -> ()

cons :: Pattern (PP, PP) (List m) [t] (ElemT [t], [t])

consM :: List m -> [t] -> (ElemM (List m), List m)

join :: Pattern (PP, PP) (List m) [t] ([t], [t])

joinM :: List m -> [t] -> (List m, List m)

newtype List m

List matcher is a matcher for collections that matches as if they're normal lists.

Constructors

List m

Instances

(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] -> ()

Matcher m t => CollectionPattern (List m) [t]

Defined in Control.Egison.Matcher.Collection

Associated Types

type ElemM (List m) :: Type

type ElemT [t] :: Type

Methods

nil :: Pattern () (List m) [t] ()

nilM :: List m -> [t] -> ()

cons :: Pattern (PP, PP) (List m) [t] (ElemT [t], [t])

consM :: List m -> [t] -> (ElemM (List m), List m)

join :: Pattern (PP, PP) (List m) [t] ([t], [t])

joinM :: List m -> [t] -> (List m, List m)

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

Defined in Control.Egison.Matcher.Collection

type ElemM (List m)

Defined in Control.Egison.Matcher.Collection

type ElemM (List m) = m

newtype Multiset m

Constructors

Multiset m

Instances

(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] -> ()

Matcher m t => CollectionPattern (Multiset m) [t]

Defined in Control.Egison.Matcher.Collection

Associated Types

type ElemM (Multiset m) :: Type

type ElemT [t] :: Type

Methods

nil :: Pattern () (Multiset m) [t] ()

nilM :: Multiset m -> [t] -> ()

cons :: Pattern (PP, PP) (Multiset m) [t] (ElemT [t], [t])

consM :: Multiset m -> [t] -> (ElemM (Multiset m), Multiset m)

join :: Pattern (PP, PP) (Multiset m) [t] ([t], [t])

joinM :: Multiset m -> [t] -> (Multiset m, Multiset m)

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

Defined in Control.Egison.Matcher.Collection

type ElemM (Multiset m)

Defined in Control.Egison.Matcher.Collection

type ElemM (Multiset m) = m

newtype Set m

Constructors

Set m

Instances

(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] -> ()

Matcher m t => CollectionPattern (Set m) [t]

Defined in Control.Egison.Matcher.Collection

Associated Types

type ElemM (Set m) :: Type

type ElemT [t] :: Type

Methods

nil :: Pattern () (Set m) [t] ()

nilM :: Set m -> [t] -> ()

cons :: Pattern (PP, PP) (Set m) [t] (ElemT [t], [t])

consM :: Set m -> [t] -> (ElemM (Set m), Set m)

join :: Pattern (PP, PP) (Set m) [t] ([t], [t])

joinM :: Set m -> [t] -> (Set m, Set m)

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

Defined in Control.Egison.Matcher.Collection

type ElemM (Set m)

Defined in Control.Egison.Matcher.Collection

type ElemM (Set m) = m