Text.Megaparsec.State

Definition of Megaparsec's State.

Since: 6.5.0

Documentation

data State s e

This is the Megaparsec's state parametrized over stream type s and custom error component type e.

Constructors

State

Fields

• stateInput :: s

  The rest of input to process

• stateOffset :: !Int

  Number of processed tokens so far

  Since: 7.0.0

• statePosState :: PosState s

  State that is used for line/column calculation

  Since: 7.0.0

• stateParseErrors :: [ParseError s e]

  Collection of “delayed” ParseErrors in reverse order. This means that the last registered error is the first element of the list.

  Since: 8.0.0

Instances

(Data e, Data (ParseError s e), Data s) => Data (State s e)

Defined in Text.Megaparsec.State

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> State s e -> c (State s e)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (State s e)

toConstr :: State s e -> Constr

dataTypeOf :: State s e -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (State s e))

dataCast2 :: Typeable t => (forall d e0. (Data d, Data e0) => c (t d e0)) -> Maybe (c (State s e))

gmapT :: (forall b. Data b => b -> b) -> State s e -> State s e

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> State s e -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> State s e -> r

gmapQ :: (forall d. Data d => d -> u) -> State s e -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> State s e -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> State s e -> m (State s e)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> State s e -> m (State s e)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> State s e -> m (State s e)

Generic (State s e)

Defined in Text.Megaparsec.State

Associated Types

type Rep (State s e) :: Type -> Type

Methods

from :: State s e -> Rep (State s e) x

to :: Rep (State s e) x -> State s e

(Show (ParseError s e), Show s) => Show (State s e)

Defined in Text.Megaparsec.State

Methods

showsPrec :: Int -> State s e -> ShowS

show :: State s e -> String

showList :: [State s e] -> ShowS

(NFData s, NFData (ParseError s e)) => NFData (State s e)

Defined in Text.Megaparsec.State

Methods

rnf :: State s e -> ()

(Eq (ParseError s e), Eq s) => Eq (State s e)

Defined in Text.Megaparsec.State

Methods

(==) :: State s e -> State s e -> Bool

(/=) :: State s e -> State s e -> Bool

type Rep (State s e)

Defined in Text.Megaparsec.State

type Rep (State s e) = D1 ('MetaData "State" "Text.Megaparsec.State" "megaparsec-9.6.1-JBxb9ZPC5mDEdcnxpEGZTp" 'False) (C1 ('MetaCons "State" 'PrefixI 'True) ((S1 ('MetaSel ('Just "stateInput") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 s) :*: S1 ('MetaSel ('Just "stateOffset") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Int)) :*: (S1 ('MetaSel ('Just "statePosState") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PosState s)) :*: S1 ('MetaSel ('Just "stateParseErrors") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [ParseError s e]))))

initialState

Arguments

:: FilePath

Name of the file the input is coming from

-> s

Input

-> State s e

Given the name of the source file and the input construct the initial state for a parser.

Since: 9.6.0

data PosState s

A special kind of state that is used to calculate line/column positions on demand.

Since: 7.0.0

Constructors

PosState

Fields

• pstateInput :: s

  The rest of input to process

• pstateOffset :: !Int

  Offset corresponding to beginning of pstateInput

• pstateSourcePos :: !SourcePos

  Source position corresponding to beginning of pstateInput

• pstateTabWidth :: Pos

  Tab width to use for column calculation

• pstateLinePrefix :: String

  Prefix to prepend to offending line

Instances

Data s => Data (PosState s)

Defined in Text.Megaparsec.State

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> PosState s -> c (PosState s)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (PosState s)

toConstr :: PosState s -> Constr

dataTypeOf :: PosState s -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (PosState s))

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (PosState s))

gmapT :: (forall b. Data b => b -> b) -> PosState s -> PosState s

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> PosState s -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> PosState s -> r

gmapQ :: (forall d. Data d => d -> u) -> PosState s -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> PosState s -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> PosState s -> m (PosState s)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> PosState s -> m (PosState s)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> PosState s -> m (PosState s)

Generic (PosState s)

Defined in Text.Megaparsec.State

Associated Types

type Rep (PosState s) :: Type -> Type

Methods

from :: PosState s -> Rep (PosState s) x

to :: Rep (PosState s) x -> PosState s

Show s => Show (PosState s)

Defined in Text.Megaparsec.State

Methods

showsPrec :: Int -> PosState s -> ShowS

show :: PosState s -> String

showList :: [PosState s] -> ShowS

NFData s => NFData (PosState s)

Defined in Text.Megaparsec.State

Methods

rnf :: PosState s -> ()

Eq s => Eq (PosState s)

Defined in Text.Megaparsec.State

Methods

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

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

type Rep (PosState s)

Defined in Text.Megaparsec.State

type Rep (PosState s) = D1 ('MetaData "PosState" "Text.Megaparsec.State" "megaparsec-9.6.1-JBxb9ZPC5mDEdcnxpEGZTp" 'False) (C1 ('MetaCons "PosState" 'PrefixI 'True) ((S1 ('MetaSel ('Just "pstateInput") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 s) :*: S1 ('MetaSel ('Just "pstateOffset") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int)) :*: (S1 ('MetaSel ('Just "pstateSourcePos") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SourcePos) :*: (S1 ('MetaSel ('Just "pstateTabWidth") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Pos) :*: S1 ('MetaSel ('Just "pstateLinePrefix") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))))

initialPosState

Arguments

:: FilePath

Name of the file the input is coming from

-> s

Input

-> PosState s

Given the name of source file and the input construct the initial positional state.

Since: 9.6.0