Control.Egison.Core

Documentation

data Pattern a m ctx vs where

Constructors

Wildcard :: Pattern a m ctx '[]

PatVar :: String -> Pattern a m ctx '[a]

AndPat :: Pattern a m ctx vs -> Pattern a m (ctx :++: vs) vs' -> Pattern a m ctx (vs :++: vs')

OrPat :: Pattern a m ctx vs -> Pattern a m ctx vs -> Pattern a m ctx vs

NotPat :: Pattern a m ctx '[] -> Pattern a m ctx '[]

PredicatePat :: (HList ctx -> a -> Bool) -> Pattern a m ctx '[]

Pattern :: Matcher m a => (HList ctx -> m -> a -> [MList ctx vs]) -> Pattern a m ctx vs

class Matcher m a

Instances

Integral a => Matcher Integer a

Defined in Control.Egison.Matcher

Matcher Eql a

Defined in Control.Egison.Matcher

Matcher Something a

Defined in Control.Egison.Matcher

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

Defined in Control.Egison.Matcher

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

Defined in Control.Egison.Matcher

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

Defined in Control.Egison.Matcher

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

Defined in Control.Egison.Matcher

data MatchClause a m b

Constructors

Matcher m a => MatchClause (Pattern a m '[] vs) (HList vs -> b)

data MState vs where

Constructors

MState :: vs ~ (xs :++: ys) => HList xs -> MList xs ys -> MState vs

data MAtom ctx vs

Constructors

Matcher m a => MAtom (Pattern a m ctx vs) m a

data MList ctx vs where

Constructors

MNil :: MList ctx '[]

MCons :: MAtom ctx xs -> MList (ctx :++: xs) ys -> MList ctx (xs :++: ys)

MJoin :: MList ctx xs -> MList (ctx :++: xs) ys -> MList ctx (xs :++: ys)

mappend :: MList ctx xs -> MList (ctx :++: xs) ys -> MList ctx (xs :++: ys)

oneMAtom :: MAtom ctx xs -> MList ctx xs

twoMAtoms :: MAtom ctx xs -> MAtom (ctx :++: xs) ys -> MList ctx (xs :++: ys)

threeMAtoms :: MAtom ctx xs -> MAtom (ctx :++: xs) ys -> MAtom ((ctx :++: xs) :++: ys) zs -> MList ctx ((xs :++: ys) :++: zs)

data HList xs where

Constructors

HNil :: HList '[]

HCons :: a -> HList as -> HList (a ': as)

happend :: HList as -> HList bs -> HList (as :++: bs)

type family (as :: [*]) :++: (bs :: [*]) :: [*] where ...

Equations

as :++: '[] = as

'[] :++: bs = bs

(a ': as) :++: bs = a ': (as :++: bs)