Copyright	©2020 James Alexander Feldman-Crough
License	MPL-2.0
Maintainer	alex@fldcr.com
Safe Haskell	None
Language	Haskell2010

Prosidy.Compile.Match

Contents

Description

Synopsis

DSL for matching cases

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

The type of fallible pattern specifications.

data MatchM i e a f r Source #

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

Instances details

Monad (MatchM i e a f) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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 Source #

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

Match against a Break.

Replace all Breaks with the provided value.

Match a BlockTag with the given Key.

Match an InlineTag with the given Key.

Match an LiteralTag with the given Key.

Match Paragraphs in a block context.

Match plain Text in an inline context.