Encode.ExPlus

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

Contents

Modules
Classes
Types
Methods
Functions
Operators
Extensions

Description

Encode.Extend

Synopsis

module PureFP.Parsers.Parser

class ExtEnv e where

initEnv :: e i

type Extend e s = StateT [e s] (Standard s)

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

Classes

class ExtEnv e where

Methods

initEnv :: e i

Types

type Extend e s = StateT [e s] (Standard 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