Text.Gigaparsec.Expr

Documentation

data Prec a where

Constructors

Level :: Prec a -> Op a b -> Prec b

Atom :: Parsec a -> Prec a

data Fixity a b sig where

Constructors

InfixL :: Fixity a b (b -> a -> b)

InfixR :: Fixity a b (a -> b -> b)

InfixN :: Fixity a b (a -> a -> b)

Prefix :: Fixity a b (b -> b)

Postfix :: Fixity a b (b -> b)

data Op a b

Constructors

forall sig. Op (Fixity a b sig) (a -> b) (Parsec sig)

(>+) :: Prec a -> Op a b -> Prec b infixl 5

(+<) :: Op a b -> Prec a -> Prec b infixr 5

precedence :: Prec a -> Parsec a

precedence' :: Parsec a -> [Op a a] -> Parsec a

gops :: Fixity a b sig -> (a -> b) -> [Parsec sig] -> Op a b

ops :: Fixity a a sig -> [Parsec sig] -> Op a a

sops :: Subtype a b => Fixity a b sig -> [Parsec sig] -> Op a b