Prosidy.Compile.Match

DSL for matching cases

type Match i e f a = MatchM i e a f ()

The type of fallible pattern specifications.

data MatchM i e a f r

A monadic interface for defining fallible patterns. In practice, r will always be instantiated to ()— Match can be more clear.

Instances

Monad (MatchM i e a f)

Defined in Prosidy.Compile.Match

Methods

(>>=) :: MatchM i e a f a0 -> (a0 -> MatchM i e a f b) -> MatchM i e a f b

(>>) :: MatchM i e a f a0 -> MatchM i e a f b -> MatchM i e a f b

return :: a0 -> MatchM i e a f a0

Functor (MatchM i e a f)

Defined in Prosidy.Compile.Match

Methods

fmap :: (a0 -> b) -> MatchM i e a f a0 -> MatchM i e a f b

(<$) :: a0 -> MatchM i e a f b -> MatchM i e a f a0

Applicative (MatchM i e a f)

Defined in Prosidy.Compile.Match

Methods

pure :: a0 -> MatchM i e a f a0

(<*>) :: MatchM i e a f (a0 -> b) -> MatchM i e a f a0 -> MatchM i e a f b

liftA2 :: (a0 -> b -> c) -> MatchM i e a f a0 -> MatchM i e a f b -> MatchM i e a f c

(*>) :: MatchM i e a f a0 -> MatchM i e a f b -> MatchM i e a f b

(<*) :: MatchM i e a f a0 -> MatchM i e a f b -> MatchM i e a f a0

match :: CanMatch i => Match i e f a -> RuleT i e f a

Finalize a Match into a rule. This is often used to offset a match block:

blocktags :: Match Block Void Identity String
blocktags = match $ do 
   ...

Specific matchers

break :: RuleT () e f a -> Match Inline e f a

Match against a Break.

breakWith :: a -> Match Inline e f a

Replace all Breaks with the provided value.

blocktag :: Key -> RuleT BlockRegion e f a -> Match Block e f a

Match a BlockTag with the given Key.

inlinetag :: Key -> RuleT InlineRegion e f a -> Match Inline e f a

Match an InlineTag with the given Key.

literaltag :: Key -> RuleT LiteralRegion e f a -> Match Block e f a

Match an LiteralTag with the given Key.

paragraph :: RuleT (SeriesNE Inline) e f a -> Match Block e f a

Match Paragraphs in a block context.

text :: RuleT Text e f a -> Match Inline e f a

Match plain Text in an inline context.