Text.ParserCombinators.PArrow.MD

Documentation

data MD i o where

Constructors

MNot :: MD i o -> MD i o

MChoice :: [MD i o] -> MD i o

MEqual :: Char -> MD i Char

MSeq :: MD i t -> MD t o -> MD i o

MStar :: MD i o -> MD i [o]

MEmpty :: MD i o

MPure :: String -> (i -> o) -> MD i o

MCSet :: CharSet -> MD i Char

MParWire :: MD i1 o1 -> MD i2 o2 -> MD (i1, i2) (o1, o2)

MJoin :: MD i o1 -> MD i o2 -> MD i (o1, o2)

Instances

Arrow MD

ArrowZero MD

ArrowPlus MD

Category MD

Eq (MD i o)

Show (MD i o)