Encode.Extend

Portability	portable
Stability	provisional
Maintainer	otakar.smrz mff.cuni.cz

Contents

Modules
Classes
Types
Methods
Functions
Operators
Extensions

Description

Encode.Arabic.ArabTeX Encode.Arabic.ArabTeX.ZDMG

Synopsis

module FunParsing.Parsers.Parser

class ExtEnv e where

initEnv :: e i

newtype Extend e s a = Ext (InE s e -> [(InE s e, a)])

initEnv :: ExtEnv e => e i

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 FunParsing.Parsers.Parser

Classes

class ExtEnv e where

Methods

initEnv :: e i

Instances

ExtEnv Env

Types

newtype Extend e s a

Constructors

Ext (InE s e -> [(InE s e, a)])

Instances

Functor (Extend e s)

Monad (Extend e s)

Monoid (Extend e s)

Sequence (Extend e s)

Lookahead (Extend e s) s

ExtEnv e => Parser (Extend e s) s

Eq s => Symbol (Extend e s) s

Eq s => SymbolCont (Extend e s) s

Methods

initEnv :: ExtEnv e => e i

Functions

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]

Operators

(<|>) :: Extend e s a -> Extend e s a -> Extend e s a

Extensions

again :: Extend e s a -> Extend e s [a]

lookupList :: (OrdMap m, Ord s) => s -> [m s a] -> [a]

Produced by Haddock version 0.8