uhc-util-0.1.1.0: UHC utilities

Safe HaskellNone

UHC.Util.ParseUtils

Documentation

type PlainParser tok gp = IsParser p tok => p gpSource

type LayoutParser tok ep = (IsParser (OffsideParser i o tok p) tok, InputState i tok p, OutputState o, Position p) => OffsideParser i o tok p epSource

type LayoutParser2 tok ep = (IsParser (OffsideParser i o tok p) tok, InputState i tok p, OutputState o, Position p) => OffsideParser i o tok p ep -> OffsideParser i o tok p epSource

parsePlain :: (Symbol s, InputState inp s pos) => AnaParser inp Pair s pos a -> inp -> Steps (a, inp) s posSource

parseToResMsgs :: (Symbol s, InputState inp s pos) => AnaParser inp Pair s pos a -> inp -> (a, [Message s pos])Source

pAnyFromMap :: IsParser p s => (k -> p a1) -> Map k v -> p vSource

pAnyKey :: IsParser p s => (a1 -> p a) -> [a1] -> p aSource

pMaybe :: IsParser p s => a1 -> (a -> a1) -> p a -> p a1Source

pMb :: IsParser p s => p a -> p (Maybe a)Source

pDo :: (InputState i s p, OutputState o, Position p, Symbol s, Ord s) => OffsideParser i o s p x -> OffsideParser i o s p y -> OffsideParser i o s p z -> OffsideParser i o s p a -> OffsideParser i o s p (Maybe last -> a) -> OffsideParser i o s p last -> OffsideParser i o s p [a]Source