Language.Oberon.Reserializer

This module exports functions for reserializing the parsed tree from the tokens stored with every node.

Documentation

adjustPositions :: (Foldable (g (Const (Sum Int))), Foldable (Fold Parsed (Sum Int)) g, Traversable PositionAdjustment g) => Parsed (g Parsed Parsed) -> Parsed (g Parsed Parsed)

Re-calculates the position of every node in the parse tree from the tokens stored with it and its children.

reserialize :: Foldable Serialization g => Parsed (g Parsed Parsed) -> Text

Serializes the tree back into the text it was parsed from.

sourceLength :: (Foldable (g (Const (Sum Int))), Foldable (Fold Parsed (Sum Int)) g) => Parsed (g Parsed Parsed) -> Int

The length of the source code parsed into the argument node

data PositionAdjustment

Transformation type used by adjustPositions

Instances

Transformation PositionAdjustment

Defined in Language.Oberon.Reserializer

Associated Types

type Domain PositionAdjustment :: Type -> Type

type Codomain PositionAdjustment :: Type -> Type

(Foldable (g (Const (Sum Int) :: Type -> Type)), Foldable (Fold Parsed (Sum Int)) g, Traversable PositionAdjustment g) => Traversable PositionAdjustment g

Defined in Language.Oberon.Reserializer

Methods

traverse :: Codomain PositionAdjustment ~ Compose m f => PositionAdjustment -> Domain PositionAdjustment (g (Domain PositionAdjustment) (Domain PositionAdjustment)) -> m (f (g f f))

type Codomain PositionAdjustment

Defined in Language.Oberon.Reserializer

type Codomain PositionAdjustment

type Domain PositionAdjustment

Defined in Language.Oberon.Reserializer

type Domain PositionAdjustment

data Serialization

Transformation type used by reserialize

Instances

Transformation Serialization

Defined in Language.Oberon.Reserializer

Associated Types

type Domain Serialization :: Type -> Type

type Codomain Serialization :: Type -> Type

(Foldable (g Parsed), Foldable Serialization g) => Foldable Serialization g

Defined in Language.Oberon.Reserializer

Methods

foldMap :: (Codomain Serialization ~ Const m, Monoid m) => Serialization -> Domain Serialization (g (Domain Serialization) (Domain Serialization)) -> m

type Codomain Serialization

Defined in Language.Oberon.Reserializer

type Codomain Serialization = Const (Ap (State (Int, [Lexeme])) Text) :: Type -> Type

type Domain Serialization

Defined in Language.Oberon.Reserializer

type Domain Serialization