FP.Parser.Mixfix

Documentation

data MixesF t f a

Constructors

MixesF

Fields

mixesFPre :: Parser t (f a -> a)

mixesFPost :: Parser t (f a -> a)

mixesFInf :: Parser t (f a -> f a -> a)

mixesFInfl :: Parser t (f a -> f a -> a)

mixesFInfr :: Parser t (f a -> f a -> a)

Instances

Monoid (MixesF t f a)

data MixF t f a

Constructors

PreF ℕ (Parser t (f a -> a))

PostF ℕ (Parser t (f a -> a))

InfF ℕ (Parser t (f a -> f a -> a))

InflF ℕ (Parser t (f a -> f a -> a))

InfrF ℕ (Parser t (f a -> f a -> a))

TerminalF (Parser t a)

data MixfixF t f a

Constructors

MixfixF

Fields

mixfixFTerminals :: Parser t a

mixfixFLevels :: ℕ ⇰ MixesF t f a

Instances

Monoid (MixfixF t f a)

mixF :: MixF t f a -> MixfixF t f a

mixfixParserF :: forall t f a. Comonad f => MixfixF t f a -> (Parser t a -> Parser t (f a)) -> Parser t (f a)

data Mixes t a

Constructors

Mixes

Fields

mixesPre :: Parser t (a -> a)

mixesPost :: Parser t (a -> a)

mixesInf :: Parser t (a -> a -> a)

mixesInfl :: Parser t (a -> a -> a)

mixesInfr :: Parser t (a -> a -> a)

Instances

Monoid (Mixes t a)

mixesPure :: Mixes t a -> MixesF t ID a

data Mixfix t a

Constructors

Mixfix

Fields

mixfixTerminals :: Parser t a

mixfixLevels :: ℕ ⇰ Mixes t a

Instances

Monoid (Mixfix t a)

data Mix t a

Constructors

Pre ℕ (Parser t (a -> a))

Post ℕ (Parser t (a -> a))

Inf ℕ (Parser t (a -> a -> a))

Infl ℕ (Parser t (a -> a -> a))

Infr ℕ (Parser t (a -> a -> a))

Terminal (Parser t a)

mix :: Mix t a -> Mixfix t a

mixfixPure :: Mixfix t a -> MixfixF t ID a

mixfixParser :: Mixfix t a -> Parser t a