Portability | portable |
---|---|
Stability | provisional |
Maintainer | otakar.smrz mff.cuni.cz |
- module PureFP.Parsers.Parser
- class ExtEnv e where
- initEnv :: e i
- type Extend e s = StateT [e s] (Standard s)
- inspectIList :: Extend e s [s]
- returnIList :: [s] -> Extend e s [s]
- inspectEList :: Extend e s [e s]
- returnEList :: [e s] -> Extend e s [e s]
- inspectEnv :: Extend e s (e s)
- resetEnv :: (a -> e s -> e s) -> a -> Extend e s (e s)
- oneof :: (Ord s, Symbol m s) => [Map s a] -> m s
- lower :: Ord s => [s] -> [s] -> Extend e s [s]
- upper :: (OrdMap m, Ord s) => [s] -> [m s [c]] -> Extend e d ([c] -> [c])
- upperWith :: (s -> m -> e d -> [[c]]) -> [s] -> m -> Extend e d ([c] -> [c])
- oneof' :: (Ord [s], Symbol m [s], Eq s, Monad m) => s -> [Map [s] a] -> m [s]
- (<|>) :: Extend e s a -> Extend e s a -> Extend e s a
- again :: Extend e s a -> Extend e s [a]
- lookupList :: (OrdMap m, Ord s) => s -> [m s a] -> [a]
Modules
module PureFP.Parsers.Parser
Classes
Types
Methods
Functions
inspectIList :: Extend e s [s]Source
returnIList :: [s] -> Extend e s [s]Source
inspectEList :: Extend e s [e s]Source
returnEList :: [e s] -> Extend e s [e s]Source
inspectEnv :: Extend e s (e s)Source
Operators
Extensions
lookupList :: (OrdMap m, Ord s) => s -> [m s a] -> [a]Source