Mello.Match

Documentation

data MatchErr e r

Constructors

MatchErrType !SexpType

MatchErrTypeAtom

MatchErrTypeQuote

MatchErrTypeUnquote

MatchErrTypeDoc

MatchErrNotEq !Atom

MatchErrListElem !Int

MatchErrListRem

MatchErrAlt !(Seq (Text, r))

MatchErrEmbed !e

Instances

(Typeable e, Show e, Typeable r, Show r) => Exception (MatchErr e r)

Defined in Mello.Match

Methods

toException :: MatchErr e r -> SomeException

fromException :: SomeException -> Maybe (MatchErr e r)

displayException :: MatchErr e r -> String

(Show r, Show e) => Show (MatchErr e r)

Defined in Mello.Match

Methods

showsPrec :: Int -> MatchErr e r -> ShowS

show :: MatchErr e r -> String

showList :: [MatchErr e r] -> ShowS

(Eq r, Eq e) => Eq (MatchErr e r)

Defined in Mello.Match

Methods

(==) :: MatchErr e r -> MatchErr e r -> Bool

(/=) :: MatchErr e r -> MatchErr e r -> Bool

(Ord r, Ord e) => Ord (MatchErr e r)

Defined in Mello.Match

Methods

compare :: MatchErr e r -> MatchErr e r -> Ordering

(<) :: MatchErr e r -> MatchErr e r -> Bool

(<=) :: MatchErr e r -> MatchErr e r -> Bool

(>) :: MatchErr e r -> MatchErr e r -> Bool

(>=) :: MatchErr e r -> MatchErr e r -> Bool

max :: MatchErr e r -> MatchErr e r -> MatchErr e r

min :: MatchErr e r -> MatchErr e r -> MatchErr e r

newtype LocMatchErr e k

Constructors

LocMatchErr

Fields

• unLocMatchErr :: Anno k (MatchErr e (LocMatchErr e k))

Instances

(Typeable e, Show e, Typeable k, Show k) => Exception (LocMatchErr e k)

Defined in Mello.Match

Methods

toException :: LocMatchErr e k -> SomeException

fromException :: SomeException -> Maybe (LocMatchErr e k)

displayException :: LocMatchErr e k -> String

(Show k, Show e) => Show (LocMatchErr e k)

Defined in Mello.Match

Methods

showsPrec :: Int -> LocMatchErr e k -> ShowS

show :: LocMatchErr e k -> String

showList :: [LocMatchErr e k] -> ShowS

(Eq k, Eq e) => Eq (LocMatchErr e k)

Defined in Mello.Match

Methods

(==) :: LocMatchErr e k -> LocMatchErr e k -> Bool

(/=) :: LocMatchErr e k -> LocMatchErr e k -> Bool

(Ord k, Ord e) => Ord (LocMatchErr e k)

Defined in Mello.Match

Methods

compare :: LocMatchErr e k -> LocMatchErr e k -> Ordering

(<) :: LocMatchErr e k -> LocMatchErr e k -> Bool

(<=) :: LocMatchErr e k -> LocMatchErr e k -> Bool

(>) :: LocMatchErr e k -> LocMatchErr e k -> Bool

(>=) :: LocMatchErr e k -> LocMatchErr e k -> Bool

max :: LocMatchErr e k -> LocMatchErr e k -> LocMatchErr e k

min :: LocMatchErr e k -> LocMatchErr e k -> LocMatchErr e k

data MatchT e k m a

Instances

MonadError x m => MonadError x (MatchT e k m)

Defined in Mello.Match

Methods

throwError :: x -> MatchT e k m a

catchError :: MatchT e k m a -> (x -> MatchT e k m a) -> MatchT e k m a

MonadReader r m => MonadReader r (MatchT e k m)

Defined in Mello.Match

Methods

ask :: MatchT e k m r

local :: (r -> r) -> MatchT e k m a -> MatchT e k m a

reader :: (r -> a) -> MatchT e k m a

MonadState s m => MonadState s (MatchT e k m)

Defined in Mello.Match

Methods

get :: MatchT e k m s

put :: s -> MatchT e k m ()

state :: (s -> (a, s)) -> MatchT e k m a

MonadTrans (MatchT e k)

Defined in Mello.Match

Methods

lift :: Monad m => m a -> MatchT e k m a

Monad m => Applicative (MatchT e k m)

Defined in Mello.Match

Methods

pure :: a -> MatchT e k m a

(<*>) :: MatchT e k m (a -> b) -> MatchT e k m a -> MatchT e k m b

liftA2 :: (a -> b -> c) -> MatchT e k m a -> MatchT e k m b -> MatchT e k m c

(*>) :: MatchT e k m a -> MatchT e k m b -> MatchT e k m b

(<*) :: MatchT e k m a -> MatchT e k m b -> MatchT e k m a

Functor m => Functor (MatchT e k m)

Defined in Mello.Match

Methods

fmap :: (a -> b) -> MatchT e k m a -> MatchT e k m b

(<$) :: a -> MatchT e k m b -> MatchT e k m a

Monad m => Monad (MatchT e k m)

Defined in Mello.Match

Methods

(>>=) :: MatchT e k m a -> (a -> MatchT e k m b) -> MatchT e k m b

(>>) :: MatchT e k m a -> MatchT e k m b -> MatchT e k m b

return :: a -> MatchT e k m a

type MatchM e k = MatchT e k Identity

runMatchT :: MatchT e k m a -> Memo SexpF k -> m (Either (LocMatchErr e k) a)

runMatchM :: MatchM e k a -> Memo SexpF k -> Either (LocMatchErr e k) a

data SeqMatchT e k m a

Instances

Monad m => Applicative (SeqMatchT e k m)

Defined in Mello.Match

Methods

pure :: a -> SeqMatchT e k m a

(<*>) :: SeqMatchT e k m (a -> b) -> SeqMatchT e k m a -> SeqMatchT e k m b

liftA2 :: (a -> b -> c) -> SeqMatchT e k m a -> SeqMatchT e k m b -> SeqMatchT e k m c

(*>) :: SeqMatchT e k m a -> SeqMatchT e k m b -> SeqMatchT e k m b

(<*) :: SeqMatchT e k m a -> SeqMatchT e k m b -> SeqMatchT e k m a

Functor m => Functor (SeqMatchT e k m)

Defined in Mello.Match

Methods

fmap :: (a -> b) -> SeqMatchT e k m a -> SeqMatchT e k m b

(<$) :: a -> SeqMatchT e k m b -> SeqMatchT e k m a

Monad m => Monad (SeqMatchT e k m)

Defined in Mello.Match

Methods

(>>=) :: SeqMatchT e k m a -> (a -> SeqMatchT e k m b) -> SeqMatchT e k m b

(>>) :: SeqMatchT e k m a -> SeqMatchT e k m b -> SeqMatchT e k m b

return :: a -> SeqMatchT e k m a

type SeqMatchM e k = SeqMatchT e k Identity

annoM :: Monad m => MatchT e k m a -> MatchT e k m (Anno k a)

memoM :: Monad m => MatchT e k m (f (Memo f k)) -> MatchT e k m (Memo f k)

embedM :: Monad m => e -> MatchT e k m a

matchM :: Monad m => (SexpF (Memo SexpF k) -> Either (MatchErr e (LocMatchErr e k)) a) -> MatchT e k m a

listM :: Monad m => Brace -> SeqMatchT e k m a -> MatchT e k m a

lookM :: Monad m => Brace -> [(Text, MatchT e k m (), SeqMatchT e k m a)] -> MatchT e k m a

elemM :: MatchT e k m a -> SeqMatchT e k m a

restM :: MatchT e k m a -> SeqMatchT e k m (Seq a)

repeatM :: SeqMatchT e k m a -> SeqMatchT e k m (Seq a)

remainingM :: SeqMatchT e k m Int

altM :: Monad m => [(Text, MatchT e k m a)] -> MatchT e k m a

anySymM :: Monad m => MatchT e k m Sym

symM :: Monad m => Sym -> MatchT e k m ()

anyIntM :: Monad m => MatchT e k m Integer

intM :: Monad m => Integer -> MatchT e k m ()

anySciM :: Monad m => MatchT e k m Scientific

sciM :: Monad m => Scientific -> MatchT e k m ()

anyStrM :: Monad m => MatchT e k m Text

strM :: Monad m => Text -> MatchT e k m ()

anyCharM :: Monad m => MatchT e k m Char

charM :: Monad m => Char -> MatchT e k m ()

anyAtomM :: Monad m => MatchT e k m Atom

quoteM :: Monad m => MatchT e k m (Memo SexpF k)

unquoteM :: Monad m => MatchT e k m (Memo SexpF k)

docM :: Monad m => MatchT e k m a -> MatchT e k m (Doc, a)

class Monad m => MatchSexp e k m a where

Methods

matchSexp :: MatchT e k m a

Instances

Monad m => MatchSexp e k m Atom

Defined in Mello.Match

Methods

matchSexp :: MatchT e k m Atom

Monad m => MatchSexp e k m Sexp

Defined in Mello.Match

Methods

matchSexp :: MatchT e k m Sexp

Monad m => MatchSexp e k m Sym

Defined in Mello.Match

Methods

matchSexp :: MatchT e k m Sym

Monad m => MatchSexp e k m Scientific

Defined in Mello.Match

Methods

matchSexp :: MatchT e k m Scientific

Monad m => MatchSexp e k m Text

Defined in Mello.Match

Methods

matchSexp :: MatchT e k m Text

Monad m => MatchSexp e k m Integer

Defined in Mello.Match

Methods

matchSexp :: MatchT e k m Integer

Monad m => MatchSexp e k m Char

Defined in Mello.Match

Methods

matchSexp :: MatchT e k m Char

MatchSexp e k m s => MatchSexp e k m (Anno k s)

Defined in Mello.Match

Methods

matchSexp :: MatchT e k m (Anno k s)

Monad m => MatchSexp e k m (Memo SexpF k)

Defined in Mello.Match

Methods

matchSexp :: MatchT e k m (Memo SexpF k)

fromSexpT :: MatchSexp e () m a => Sexp -> m (Either (LocMatchErr e ()) a)

fromSexp :: MatchSexp e () Identity a => Sexp -> Either (LocMatchErr e ()) a

fromAnnoSexpT :: MatchSexp e k m a => Memo SexpF k -> m (Either (LocMatchErr e k) a)

fromAnnoSexp :: MatchSexp e k Identity a => Memo SexpF k -> Either (LocMatchErr e k) a

proxyM :: MatchSexp e k m a => Proxy a -> MatchT e k m a