UU.Parsing.Offside

Documentation

parseOffside :: (Symbol s, InputState i s p, Position p) => OffsideParser i Pair s p a -> OffsideInput i s p -> Steps (a, OffsideInput i s p) (OffsideSymbol s) p

pBlock :: (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 [a]

pBlock1 :: (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 [a]

pOffside :: (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 a -> OffsideParser i o s p a -> OffsideParser i o s p a

pOpen :: (OutputState o, InputState i s p, Position p, Symbol s, Ord s) => OffsideParser i o s p ()

pClose :: (OutputState o, InputState i s p, Position p, Symbol s, Ord s) => OffsideParser i o s p ()

pSeparator :: (OutputState o, InputState i s p, Position p, Symbol s, Ord s) => OffsideParser i o s p ()

scanOffside :: (InputState i s p, Position p, Eq s) => s -> s -> s -> [s] -> i -> OffsideInput i s p

convert tokens to offside tokens, dealing with Haskell's layout rule

scanOffsideWithTriggers :: forall i s p. (InputState i s p, Position p, Eq s) => s -> s -> s -> [(OffsideTrigger, s)] -> i -> OffsideInput i s p

scanLiftTokensToOffside :: InputState t s p => t -> OffsideInput inp s p -> OffsideInput inp s p

plainly lift tokens to offside tokens scanLiftTokensToOffside :: (InputState i s p) => [i] -> OffsideInput i s p -> OffsideInput i s p

data OffsideTrigger

Constructors

Trigger_IndentGT

Trigger_IndentGE

Instances

Eq OffsideTrigger

Defined in UU.Parsing.Offside

Methods

(==) :: OffsideTrigger -> OffsideTrigger -> Bool

(/=) :: OffsideTrigger -> OffsideTrigger -> Bool

data OffsideSymbol s

Constructors

Symbol s

SemiColon

CloseBrace

OpenBrace

Instances

Eq s => Eq (OffsideSymbol s)

Defined in UU.Parsing.Offside

Methods

(==) :: OffsideSymbol s -> OffsideSymbol s -> Bool

(/=) :: OffsideSymbol s -> OffsideSymbol s -> Bool

Ord s => Ord (OffsideSymbol s)

Defined in UU.Parsing.Offside

Methods

compare :: OffsideSymbol s -> OffsideSymbol s -> Ordering

(<) :: OffsideSymbol s -> OffsideSymbol s -> Bool

(<=) :: OffsideSymbol s -> OffsideSymbol s -> Bool

(>) :: OffsideSymbol s -> OffsideSymbol s -> Bool

(>=) :: OffsideSymbol s -> OffsideSymbol s -> Bool

max :: OffsideSymbol s -> OffsideSymbol s -> OffsideSymbol s

min :: OffsideSymbol s -> OffsideSymbol s -> OffsideSymbol s

Show s => Show (OffsideSymbol s)

Defined in UU.Parsing.Offside

Methods

showsPrec :: Int -> OffsideSymbol s -> ShowS

show :: OffsideSymbol s -> String

showList :: [OffsideSymbol s] -> ShowS

Symbol s => Symbol (OffsideSymbol s)

Defined in UU.Parsing.Offside

Methods

deleteCost :: OffsideSymbol s -> Int#

symBefore :: OffsideSymbol s -> OffsideSymbol s

symAfter :: OffsideSymbol s -> OffsideSymbol s

InputState inp s p => InputState (OffsideInput inp s p) (OffsideSymbol s) p

Defined in UU.Parsing.Offside

Methods

splitStateE :: OffsideInput inp s p -> Either' (OffsideInput inp s p) (OffsideSymbol s)

splitState :: OffsideInput inp s p -> (#OffsideSymbol s, OffsideInput inp s p#)

getPosition :: OffsideInput inp s p -> p

reportError :: Message (OffsideSymbol s) p -> OffsideInput inp s p -> OffsideInput inp s p

insertSymbol :: OffsideSymbol s -> OffsideInput inp s p -> OffsideInput inp s p

deleteSymbol :: OffsideSymbol s -> OffsideInput inp s p -> OffsideInput inp s p

data OffsideInput inp s p

Instances

InputState inp s p => InputState (OffsideInput inp s p) (OffsideSymbol s) p

Defined in UU.Parsing.Offside

Methods

splitStateE :: OffsideInput inp s p -> Either' (OffsideInput inp s p) (OffsideSymbol s)

splitState :: OffsideInput inp s p -> (#OffsideSymbol s, OffsideInput inp s p#)

getPosition :: OffsideInput inp s p -> p

reportError :: Message (OffsideSymbol s) p -> OffsideInput inp s p -> OffsideInput inp s p

insertSymbol :: OffsideSymbol s -> OffsideInput inp s p -> OffsideInput inp s p

deleteSymbol :: OffsideSymbol s -> OffsideInput inp s p -> OffsideInput inp s p

data Stream inp s p

newtype OffsideParser i o s p a

Constructors

OP (AnaParser (OffsideInput i s p) o (OffsideSymbol s) p a)

Instances

(Symbol s, Ord s, InputState i s p, OutputState o, Applicative (OffsideParser i o s p)) => Functor (OffsideParser i o s p)

Defined in UU.Parsing.Offside

Methods

fmap :: (a -> b) -> OffsideParser i o s p a -> OffsideParser i o s p b

(<$) :: a -> OffsideParser i o s p b -> OffsideParser i o s p a

(Symbol s, Ord s, InputState i s p, OutputState o) => Applicative (OffsideParser i o s p)

Defined in UU.Parsing.Offside

Methods

pure :: a -> OffsideParser i o s p a

(<*>) :: OffsideParser i o s p (a -> b) -> OffsideParser i o s p a -> OffsideParser i o s p b

liftA2 :: (a -> b -> c) -> OffsideParser i o s p a -> OffsideParser i o s p b -> OffsideParser i o s p c

(*>) :: OffsideParser i o s p a -> OffsideParser i o s p b -> OffsideParser i o s p b

(<*) :: OffsideParser i o s p a -> OffsideParser i o s p b -> OffsideParser i o s p a

(Symbol s, Ord s, InputState i s p, OutputState o) => Alternative (OffsideParser i o s p)

Defined in UU.Parsing.Offside

Methods

empty :: OffsideParser i o s p a

(<|>) :: OffsideParser i o s p a -> OffsideParser i o s p a -> OffsideParser i o s p a

some :: OffsideParser i o s p a -> OffsideParser i o s p [a]

many :: OffsideParser i o s p a -> OffsideParser i o s p [a]

(Symbol s, Ord s, InputState i s p, OutputState o) => IsParser (OffsideParser i o s p) s

Defined in UU.Parsing.Offside

Methods

pSucceed :: a -> OffsideParser i o s p a

pLow :: a -> OffsideParser i o s p a

pFail :: OffsideParser i o s p a

pCostRange :: Int# -> s -> SymbolR s -> OffsideParser i o s p s

pCostSym :: Int# -> s -> s -> OffsideParser i o s p s

pSym :: s -> OffsideParser i o s p s

pRange :: s -> SymbolR s -> OffsideParser i o s p s

getfirsts :: OffsideParser i o s p v -> Expecting s

setfirsts :: Expecting s -> OffsideParser i o s p v -> OffsideParser i o s p v

getzerop :: OffsideParser i o s p v -> Maybe (OffsideParser i o s p v)

getonep :: OffsideParser i o s p v -> Maybe (OffsideParser i o s p v)