Encode-1.2: Encoding character data Source code Contents Index

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

Methods initEnv :: e i Source

Types

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

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

resetEnv :: (a -> e s -> e s) -> a -> Extend e s (e s) Source

oneof :: (Ord s, Symbol m s) => [Map s a] -> m s Source

lower :: Ord s => [s] -> [s] -> Extend e s [s] Source

upper :: (OrdMap m, Ord s) => [s] -> [m s [c]] -> Extend e d ([c] -> [c]) Source

upperWith :: (s -> m -> e d -> [[c]]) -> [s] -> m -> Extend e d ([c] -> [c]) Source

oneof' :: (Ord [s], Symbol m [s], Eq s, Monad m) => s -> [Map [s] a] -> m [s] Source

Operators

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

Extensions

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

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

Produced by Haddock version 2.6.0