maam-0.3.0.0: Monadic Abstracting Abstract Machines (MAAM) built on Galois Transformers

Safe HaskellNone
LanguageHaskell2010

FP.Parser.Mixfix

Documentation

data MixesF t f a Source

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) Source 

data MixF t f a Source

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 Source

Constructors

MixfixF 

Fields

mixfixFTerminals :: Parser t a
 
mixfixFLevels :: ℕ ⇰ MixesF t f a
 

Instances

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

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

data Mixes t a Source

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

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

data Mixfix t a Source

Constructors

Mixfix 

Fields

mixfixTerminals :: Parser t a
 
mixfixLevels :: ℕ ⇰ Mixes t a
 

Instances

data Mix t a Source

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 Source

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

mixfixParser :: Mixfix t a -> Parser t a Source