Safe Haskell	Safe-Inferred
Language	Haskell2010

Language.Oberon.ConstantFolder

Contents

Description

The main export of this module is the function foldConstants that folds the constants in Oberon AST using a attribute grammar. Other exports are helper functions and attribute types that can be reused for other languages or attribute grammars.

This module expects the ambiguities in the AST to be already resolved by the Language.Oberon.Resolver module.

Synopsis

foldConstants :: (Oberon l, Nameable l, Ord (QualIdent l), Show (QualIdent l), Atts (Inherited (Auto ConstantFold)) (Block l l Sem Sem) ~ InhCF l, Atts (Synthesized (Auto ConstantFold)) (Block l l Sem Sem) ~ SynCFMod' l (Block l l), Functor (Auto ConstantFold) (Block l l), Functor (Auto ConstantFold) (Block l l)) => Environment l -> Map Ident (Placed (Module l l Placed Placed)) -> Map Ident (Placed (Module l l Placed Placed))
type Placed = (,) (Int, ParsedLexemes, Int)
type Environment l = Map (QualIdent l) (Maybe (Value l l Placed Placed))
newtype Modules l f' f = Modules {
- getModules :: Map Ident (f (Module l l f' f'))
}
data ConstantFold = ConstantFold
type Sem = Semantics (Auto ConstantFold)
data InhCFRoot l = InhCFRoot {
- rootEnv :: Environment l
}
data InhCF l = InhCF {
- env :: Environment l
- currentModule :: Ident
}
data SynCF a = SynCF {
- folded :: Mapped Placed a
}
data SynCFMod l a = SynCFMod {
- moduleEnv :: Environment l
- folded :: Mapped Placed a
}
data SynCFExp λ l = SynCFExp {
- folded :: Mapped Placed (Expression λ l Placed Placed)
- foldedValue :: Maybe (Placed (Value l l Placed Placed))
}
data SynCFDesignator l = SynCFDesignator {
- folded :: Mapped Placed (Designator l l Placed Placed)
- designatorValue :: Maybe (Placed (Value l l Placed Placed))
}
data SynCFRoot a = SynCFRoot {
- modulesFolded :: a
}
type SynCF' node = SynCF (node Placed Placed)
type SynCFMod' l node = SynCFMod l (node Placed Placed)
folded' :: SynCF' node -> Mapped Placed (node Placed Placed)
foldedExp :: SynCFExp λ l -> Mapped Placed (Expression λ l Placed Placed)
foldedExp' :: SynCFExp λ l -> Placed (Expression λ l Placed Placed)
foldedMod :: SynCFMod' l node -> Mapped Placed (node Placed Placed)
literalSynthesis :: (Wirthy λ, Functor (Map Placed Identity) (Value l l), Pretty (Value l l Identity Identity)) => Placed (Value l l Placed Placed) -> SynCFExp λ l
maxInteger :: Integer
minInteger :: Integer
maxInt32 :: Integer
minInt32 :: Integer
maxSet :: Integer
minSet :: Integer
doubleSize :: Integer
floatSize :: Integer
intSize :: Integer
int32Size :: Integer
maxReal :: Double
minReal :: Double
foldBinaryArithmetic :: forall λ l f. (f ~ Placed, Value l ~ Value l, Wirthy λ, Pretty (Value l l Identity Identity)) => (Int, ParsedLexemes, Int) -> (f (Expression l l f f) -> f (Expression l l f f) -> Expression λ l f f) -> (forall n. Num n => n -> n -> n) -> SynCFExp l l -> SynCFExp l l -> SynCFExp λ l
foldBinaryFractional :: forall λ l f. (f ~ Placed, Value l ~ Value l, Wirthy λ, Pretty (Value l l Identity Identity)) => (Int, ParsedLexemes, Int) -> (f (Expression l l f f) -> f (Expression l l f f) -> Expression λ l f f) -> (forall n. Fractional n => n -> n -> n) -> SynCFExp l l -> SynCFExp l l -> SynCFExp λ l
foldBinaryInteger :: forall λ l f. (f ~ Placed, Value l ~ Value l, Wirthy λ, Pretty (Value l l Identity Identity)) => (Int, ParsedLexemes, Int) -> (f (Expression l l f f) -> f (Expression l l f f) -> Expression λ l f f) -> (forall n. Integral n => n -> n -> n) -> SynCFExp l l -> SynCFExp l l -> SynCFExp λ l
foldBinaryBoolean :: forall λ l f. (f ~ Placed, Value l ~ Value l, Wirthy λ, Pretty (Value l l Identity Identity)) => (Int, ParsedLexemes, Int) -> (f (Expression l l f f) -> f (Expression l l f f) -> Expression λ l f f) -> (Bool -> Bool -> Bool) -> SynCFExp l l -> SynCFExp l l -> SynCFExp λ l
anyWhitespace :: ParsedLexemes -> ParsedLexemes -> ParsedLexemes
lastWhitespace :: ParsedLexemes -> ParsedLexemes
predefined :: (Wirthy l, Ord (QualIdent l)) => Environment l
predefined2 :: (Wirthy l, Ord (QualIdent l)) => Environment l

Documentation

foldConstants :: (Oberon l, Nameable l, Ord (QualIdent l), Show (QualIdent l), Atts (Inherited (Auto ConstantFold)) (Block l l Sem Sem) ~ InhCF l, Atts (Synthesized (Auto ConstantFold)) (Block l l Sem Sem) ~ SynCFMod' l (Block l l), Functor (Auto ConstantFold) (Block l l), Functor (Auto ConstantFold) (Block l l)) => Environment l -> Map Ident (Placed (Module l l Placed Placed)) -> Map Ident (Placed (Module l l Placed Placed)) Source #

Fold the constants in the given collection of Oberon modules (a Map of modules keyed by module name). It uses the constant declarations from the modules as well as the given Environment of predefined constants and functions. The value of the latter argument is typically predefined or predefined2.

type Placed = (,) (Int, ParsedLexemes, Int) Source #

type Environment l = Map (QualIdent l) (Maybe (Value l l Placed Placed)) Source #

newtype Modules l f' f Source #

Constructors

Modules
Fields getModules :: Map Ident (f (Module l l f' f'))

Instances

Instances details

(Transformation t, Functor (Domain t), Functor t (Module l l), At t (Module l l (Codomain t) (Codomain t))) => Functor t (Modules l) Source #
Instance details Defined in Language.Oberon.ConstantFolder Methods (<$>) :: t -> Modules l (Domain t) (Domain t) -> Modules l (Codomain t) (Codomain t) #
(Transformation t, At t (Module l l f f)) => Functor t (Modules l f) Source #
Instance details Defined in Language.Oberon.ConstantFolder Methods (<$>) :: t -> Modules l f (Domain t) -> Modules l f (Codomain t) #
Apply (Modules l f' :: (Type -> Type) -> TYPE LiftedRep) Source #
Instance details Defined in Language.Oberon.ConstantFolder Methods (<*>) :: forall (p :: k -> Type) (q :: k -> Type). Modules l f' (p ~> q) -> Modules l f' p -> Modules l f' q # liftA2 :: (forall (a :: k). p a -> q a -> r a) -> Modules l f' p -> Modules l f' q -> Modules l f' r # liftA3 :: (forall (a :: k). p a -> q a -> r a -> s a) -> Modules l f' p -> Modules l f' q -> Modules l f' r -> Modules l f' s #
Functor (Modules l f' :: (Type -> Type) -> TYPE LiftedRep) Source #
Instance details Defined in Language.Oberon.ConstantFolder Methods (<$>) :: (forall (a :: k). p a -> q a) -> Modules l f' p -> Modules l f' q #
Ord (QualIdent l) => Bequether (Auto ConstantFold) (Modules l) Sem Placed Source #
Instance details Defined in Language.Oberon.ConstantFolder Methods bequest :: forall (sem :: Type -> TYPE LiftedRep). sem ~ Semantics (Auto ConstantFold) => Auto ConstantFold -> Placed (Modules l Sem Sem) -> Atts (Inherited (Auto ConstantFold)) (Modules l sem sem) -> Modules l sem (Synthesized (Auto ConstantFold)) -> Modules l sem (Inherited (Auto ConstantFold)) #
Ord (QualIdent l) => Synthesizer (Auto ConstantFold) (Modules l) Sem Placed Source #
Instance details Defined in Language.Oberon.ConstantFolder Methods synthesis :: forall (sem :: Type -> TYPE LiftedRep). sem ~ Semantics (Auto ConstantFold) => Auto ConstantFold -> Placed (Modules l Sem Sem) -> Atts (Inherited (Auto ConstantFold)) (Modules l sem sem) -> Modules l sem (Synthesized (Auto ConstantFold)) -> Atts (Synthesized (Auto ConstantFold)) (Modules l sem sem) #
type Atts (Inherited ConstantFold) (Modules l _1 _2) Source #
Instance details Defined in Language.Oberon.ConstantFolder type Atts (Inherited ConstantFold) (Modules l _1 _2) = InhCFRoot l
type Atts (Synthesized ConstantFold) (Modules l _1 _2) Source #
Instance details Defined in Language.Oberon.ConstantFolder type Atts (Synthesized ConstantFold) (Modules l _1 _2) = SynCFRoot (Modules l Placed Placed)

data ConstantFold Source #

Constructors

ConstantFold

Instances

Instances details

(Ord (QualIdent l), v ~ Value l l Placed Placed) => SynthesizedField "designatorValue" (Maybe (Placed v)) (Auto ConstantFold) (Designator l l) Sem Placed Source #
Instance details Defined in Language.Oberon.ConstantFolder Methods synthesizedField :: forall (sem :: Type -> TYPE LiftedRep). sem ~ Semantics (Auto ConstantFold) => Proxy "designatorValue" -> Auto ConstantFold -> Placed (Designator l l Sem Sem) -> Atts (Inherited (Auto ConstantFold)) (Designator l l sem sem) -> Designator l l sem (Synthesized (Auto ConstantFold)) -> Maybe (Placed v) #
(Nameable l, k ~ QualIdent l, v ~ Value l l Placed Placed, Ord k, Atts (Synthesized (Auto ConstantFold)) (Declaration l l Sem Sem) ~ SynCFMod' l (Declaration l l)) => SynthesizedField "moduleEnv" (Map k (Maybe v)) (Auto ConstantFold) (Block l l) Sem Placed Source #
Instance details Defined in Language.Oberon.ConstantFolder Methods synthesizedField :: forall (sem :: Type -> TYPE LiftedRep). sem ~ Semantics (Auto ConstantFold) => Proxy "moduleEnv" -> Auto ConstantFold -> Placed (Block l l Sem Sem) -> Atts (Inherited (Auto ConstantFold)) (Block l l sem sem) -> Block l l sem (Synthesized (Auto ConstantFold)) -> Map k (Maybe v) #
(Nameable l, k ~ QualIdent l, v ~ Value l l Placed Placed, Ord k, Atts (Synthesized (Auto ConstantFold)) (ConstExpression l l Sem Sem) ~ SynCFExp l l) => SynthesizedField "moduleEnv" (Map k (Maybe v)) (Auto ConstantFold) (Declaration l l) Sem Placed Source #
Instance details Defined in Language.Oberon.ConstantFolder Methods synthesizedField :: forall (sem :: Type -> TYPE LiftedRep). sem ~ Semantics (Auto ConstantFold) => Proxy "moduleEnv" -> Auto ConstantFold -> Placed (Declaration l l Sem Sem) -> Atts (Inherited (Auto ConstantFold)) (Declaration l l sem sem) -> Declaration l l sem (Synthesized (Auto ConstantFold)) -> Map k (Maybe v) #
Transformation (Auto ConstantFold) Source #
Instance details Defined in Language.Oberon.ConstantFolder Associated Types type Domain (Auto ConstantFold) :: Type -> Type # type Codomain (Auto ConstantFold) :: Type -> Type #
Revelation (Auto ConstantFold) Source #
Instance details Defined in Language.Oberon.ConstantFolder Methods reveal :: Auto ConstantFold -> Domain (Auto ConstantFold) x -> x #
Ord (QualIdent l) => Bequether (Auto ConstantFold) (Modules l) Sem Placed Source #
Instance details Defined in Language.Oberon.ConstantFolder Methods bequest :: forall (sem :: Type -> TYPE LiftedRep). sem ~ Semantics (Auto ConstantFold) => Auto ConstantFold -> Placed (Modules l Sem Sem) -> Atts (Inherited (Auto ConstantFold)) (Modules l sem sem) -> Modules l sem (Synthesized (Auto ConstantFold)) -> Modules l sem (Inherited (Auto ConstantFold)) #
Ord (QualIdent l) => Synthesizer (Auto ConstantFold) (Modules l) Sem Placed Source #
Instance details Defined in Language.Oberon.ConstantFolder Methods synthesis :: forall (sem :: Type -> TYPE LiftedRep). sem ~ Semantics (Auto ConstantFold) => Auto ConstantFold -> Placed (Modules l Sem Sem) -> Atts (Inherited (Auto ConstantFold)) (Modules l sem sem) -> Modules l sem (Synthesized (Auto ConstantFold)) -> Atts (Synthesized (Auto ConstantFold)) (Modules l sem sem) #
(Nameable l, Ord (QualIdent l), Atts (Synthesized (Auto ConstantFold)) (Declaration l l Sem Sem) ~ SynCFMod' l (Declaration l l), Atts (Inherited (Auto ConstantFold)) (StatementSequence l l Sem Sem) ~ InhCF l, Atts (Inherited (Auto ConstantFold)) (Declaration l l Sem Sem) ~ InhCF l) => Bequether (Auto ConstantFold) (Block l l) Sem Placed Source #
Instance details Defined in Language.Oberon.ConstantFolder Methods bequest :: forall (sem :: Type -> TYPE LiftedRep). sem ~ Semantics (Auto ConstantFold) => Auto ConstantFold -> Placed (Block l l Sem Sem) -> Atts (Inherited (Auto ConstantFold)) (Block l l sem sem) -> Block l l sem (Synthesized (Auto ConstantFold)) -> Block l l sem (Inherited (Auto ConstantFold)) #
(Oberon λ, Nameable l, Ord (QualIdent l), Value l ~ Value l, Pretty (Value l l Identity Identity), Atts (Synthesized (Auto ConstantFold)) (Expression l l Sem Sem) ~ SynCFExp l l, Atts (Synthesized (Auto ConstantFold)) (Element l l Sem Sem) ~ SynCF' (Element l l), Atts (Synthesized (Auto ConstantFold)) (Designator l l Sem Sem) ~ SynCFDesignator l) => Synthesizer (Auto ConstantFold) (Expression λ l) Sem Placed Source #
Instance details Defined in Language.Oberon.ConstantFolder Methods synthesis :: forall (sem :: Type -> TYPE LiftedRep). sem ~ Semantics (Auto ConstantFold) => Auto ConstantFold -> Placed (Expression λ l Sem Sem) -> Atts (Inherited (Auto ConstantFold)) (Expression λ l sem sem) -> Expression λ l sem (Synthesized (Auto ConstantFold)) -> Atts (Synthesized (Auto ConstantFold)) (Expression λ l sem sem) #
(Oberon l, Nameable l, Ord (QualIdent l), Show (QualIdent l), Atts (Synthesized (Auto ConstantFold)) (Block l l Sem Sem) ~ SynCFMod' l (Block l l)) => Synthesizer (Auto ConstantFold) (Module l l) Sem Placed Source #
Instance details Defined in Language.Oberon.ConstantFolder Methods synthesis :: forall (sem :: Type -> TYPE LiftedRep). sem ~ Semantics (Auto ConstantFold) => Auto ConstantFold -> Placed (Module l l Sem Sem) -> Atts (Inherited (Auto ConstantFold)) (Module l l sem sem) -> Module l l sem (Synthesized (Auto ConstantFold)) -> Atts (Synthesized (Auto ConstantFold)) (Module l l sem sem) #
type Codomain (Auto ConstantFold) Source #
Instance details Defined in Language.Oberon.ConstantFolder type Codomain (Auto ConstantFold) = Semantics (Auto ConstantFold)
type Domain (Auto ConstantFold) Source #
Instance details Defined in Language.Oberon.ConstantFolder type Domain (Auto ConstantFold) = Placed
type Atts (Inherited ConstantFold) (Modules l _1 _2) Source #
Instance details Defined in Language.Oberon.ConstantFolder type Atts (Inherited ConstantFold) (Modules l _1 _2) = InhCFRoot l
type Atts (Synthesized ConstantFold) (Modules l _1 _2) Source #
Instance details Defined in Language.Oberon.ConstantFolder type Atts (Synthesized ConstantFold) (Modules l _1 _2) = SynCFRoot (Modules l Placed Placed)
type Atts (Inherited ConstantFold) (Block λ l _1 _2) Source #
Instance details Defined in Language.Oberon.ConstantFolder type Atts (Inherited ConstantFold) (Block λ l _1 _2) = InhCF l
type Atts (Inherited ConstantFold) (Case λ l _1 _2) Source #
Instance details Defined in Language.Oberon.ConstantFolder type Atts (Inherited ConstantFold) (Case λ l _1 _2) = InhCF l
type Atts (Inherited ConstantFold) (CaseLabels λ l _1 _2) Source #
Instance details Defined in Language.Oberon.ConstantFolder type Atts (Inherited ConstantFold) (CaseLabels λ l _1 _2) = InhCF l
type Atts (Inherited ConstantFold) (ConditionalBranch λ l _1 _2) Source #
Instance details Defined in Language.Oberon.ConstantFolder type Atts (Inherited ConstantFold) (ConditionalBranch λ l _1 _2) = InhCF l
type Atts (Inherited ConstantFold) (Declaration λ l _1 _2) Source #
Instance details Defined in Language.Oberon.ConstantFolder type Atts (Inherited ConstantFold) (Declaration λ l _1 _2) = InhCF l
type Atts (Inherited ConstantFold) (Designator λ l _1 _2) Source #
Instance details Defined in Language.Oberon.ConstantFolder type Atts (Inherited ConstantFold) (Designator λ l _1 _2) = InhCF l
type Atts (Inherited ConstantFold) (Element λ l _1 _2) Source #
Instance details Defined in Language.Oberon.ConstantFolder type Atts (Inherited ConstantFold) (Element λ l _1 _2) = InhCF l
type Atts (Inherited ConstantFold) (Expression λ l _1 _2) Source #
Instance details Defined in Language.Oberon.ConstantFolder type Atts (Inherited ConstantFold) (Expression λ l _1 _2) = InhCF l
type Atts (Inherited ConstantFold) (FPSection λ l _1 _2) Source #
Instance details Defined in Language.Oberon.ConstantFolder type Atts (Inherited ConstantFold) (FPSection λ l _1 _2) = InhCF l
type Atts (Inherited ConstantFold) (FieldList λ l _1 _2) Source #
Instance details Defined in Language.Oberon.ConstantFolder type Atts (Inherited ConstantFold) (FieldList λ l _1 _2) = InhCF l
type Atts (Inherited ConstantFold) (FormalParameters λ l _1 _2) Source #
Instance details Defined in Language.Oberon.ConstantFolder type Atts (Inherited ConstantFold) (FormalParameters λ l _1 _2) = InhCF l
type Atts (Inherited ConstantFold) (Module λ l _1 _2) Source #
Instance details Defined in Language.Oberon.ConstantFolder type Atts (Inherited ConstantFold) (Module λ l _1 _2) = InhCF l
type Atts (Inherited ConstantFold) (ProcedureHeading λ l _1 _2) Source #
Instance details Defined in Language.Oberon.ConstantFolder type Atts (Inherited ConstantFold) (ProcedureHeading λ l _1 _2) = InhCF l
type Atts (Inherited ConstantFold) (Statement λ l _1 _2) Source #
Instance details Defined in Language.Oberon.ConstantFolder type Atts (Inherited ConstantFold) (Statement λ l _1 _2) = InhCF l
type Atts (Inherited ConstantFold) (StatementSequence λ l _1 _2) Source #
Instance details Defined in Language.Oberon.ConstantFolder type Atts (Inherited ConstantFold) (StatementSequence λ l _1 _2) = InhCF l
type Atts (Inherited ConstantFold) (Type λ l _1 _2) Source #
Instance details Defined in Language.Oberon.ConstantFolder type Atts (Inherited ConstantFold) (Type λ l _1 _2) = InhCF l
type Atts (Inherited ConstantFold) (Value l l _1 _2) Source #
Instance details Defined in Language.Oberon.ConstantFolder type Atts (Inherited ConstantFold) (Value l l _1 _2) = InhCF l
type Atts (Inherited ConstantFold) (WithAlternative λ l _1 _2) Source #
Instance details Defined in Language.Oberon.ConstantFolder type Atts (Inherited ConstantFold) (WithAlternative λ l _1 _2) = InhCF l
type Atts (Synthesized ConstantFold) (Block l l _1 _2) Source #
Instance details Defined in Language.Oberon.ConstantFolder type Atts (Synthesized ConstantFold) (Block l l _1 _2) = SynCFMod' l (Block l l)
type Atts (Synthesized ConstantFold) (Case l l _1 _2) Source #
Instance details Defined in Language.Oberon.ConstantFolder type Atts (Synthesized ConstantFold) (Case l l _1 _2) = SynCF' (Case l l)
type Atts (Synthesized ConstantFold) (CaseLabels l l _1 _2) Source #
Instance details Defined in Language.Oberon.ConstantFolder type Atts (Synthesized ConstantFold) (CaseLabels l l _1 _2) = SynCF' (CaseLabels l l)
type Atts (Synthesized ConstantFold) (ConditionalBranch l l _1 _2) Source #
Instance details Defined in Language.Oberon.ConstantFolder type Atts (Synthesized ConstantFold) (ConditionalBranch l l _1 _2) = SynCF' (ConditionalBranch l l)
type Atts (Synthesized ConstantFold) (Declaration l l _1 _2) Source #
Instance details Defined in Language.Oberon.ConstantFolder type Atts (Synthesized ConstantFold) (Declaration l l _1 _2) = SynCFMod' l (Declaration l l)
type Atts (Synthesized ConstantFold) (Designator l l _1 _2) Source #
Instance details Defined in Language.Oberon.ConstantFolder type Atts (Synthesized ConstantFold) (Designator l l _1 _2) = SynCFDesignator l
type Atts (Synthesized ConstantFold) (Element l l _1 _2) Source #
Instance details Defined in Language.Oberon.ConstantFolder type Atts (Synthesized ConstantFold) (Element l l _1 _2) = SynCF' (Element l l)
type Atts (Synthesized ConstantFold) (Expression λ l _1 _2) Source #
Instance details Defined in Language.Oberon.ConstantFolder type Atts (Synthesized ConstantFold) (Expression λ l _1 _2) = SynCFExp λ l
type Atts (Synthesized ConstantFold) (FPSection l l _1 _2) Source #
Instance details Defined in Language.Oberon.ConstantFolder type Atts (Synthesized ConstantFold) (FPSection l l _1 _2) = SynCF' (FPSection l l)
type Atts (Synthesized ConstantFold) (FieldList l l _1 _2) Source #
Instance details Defined in Language.Oberon.ConstantFolder type Atts (Synthesized ConstantFold) (FieldList l l _1 _2) = SynCF' (FieldList l l)
type Atts (Synthesized ConstantFold) (FormalParameters l l _1 _2) Source #
Instance details Defined in Language.Oberon.ConstantFolder type Atts (Synthesized ConstantFold) (FormalParameters l l _1 _2) = SynCF' (FormalParameters l l)
type Atts (Synthesized ConstantFold) (Module l l _1 _2) Source #
Instance details Defined in Language.Oberon.ConstantFolder type Atts (Synthesized ConstantFold) (Module l l _1 _2) = SynCFMod' l (Module l l)
type Atts (Synthesized ConstantFold) (ProcedureHeading l l _1 _2) Source #
Instance details Defined in Language.Oberon.ConstantFolder type Atts (Synthesized ConstantFold) (ProcedureHeading l l _1 _2) = SynCF' (ProcedureHeading l l)
type Atts (Synthesized ConstantFold) (Statement l l _1 _2) Source #
Instance details Defined in Language.Oberon.ConstantFolder type Atts (Synthesized ConstantFold) (Statement l l _1 _2) = SynCF' (Statement l l)
type Atts (Synthesized ConstantFold) (StatementSequence l l _1 _2) Source #
Instance details Defined in Language.Oberon.ConstantFolder type Atts (Synthesized ConstantFold) (StatementSequence l l _1 _2) = SynCF' (StatementSequence l l)
type Atts (Synthesized ConstantFold) (Type l l _1 _2) Source #
Instance details Defined in Language.Oberon.ConstantFolder type Atts (Synthesized ConstantFold) (Type l l _1 _2) = SynCF' (Type l l)
type Atts (Synthesized ConstantFold) (Value l l _1 _2) Source #
Instance details Defined in Language.Oberon.ConstantFolder type Atts (Synthesized ConstantFold) (Value l l _1 _2) = SynCF' (Value l l)
type Atts (Synthesized ConstantFold) (WithAlternative l l _1 _2) Source #
Instance details Defined in Language.Oberon.ConstantFolder type Atts (Synthesized ConstantFold) (WithAlternative l l _1 _2) = SynCF' (WithAlternative l l)

type Sem = Semantics (Auto ConstantFold) Source #

data InhCFRoot l Source #

Constructors

InhCFRoot
Fields rootEnv :: Environment l

Instances

Instances details

Generic (InhCFRoot l) Source #
Instance details Defined in Language.Oberon.ConstantFolder Associated Types type Rep (InhCFRoot l) :: Type -> Type # Methods from :: InhCFRoot l -> Rep (InhCFRoot l) x # to :: Rep (InhCFRoot l) x -> InhCFRoot l #
type Rep (InhCFRoot l) Source #
Instance details Defined in Language.Oberon.ConstantFolder type Rep (InhCFRoot l) = D1 ('MetaData "InhCFRoot" "Language.Oberon.ConstantFolder" "language-oberon-0.3.3-IKUoxbay5QRGXP2jOnakW5" 'False) (C1 ('MetaCons "InhCFRoot" 'PrefixI 'True) (S1 ('MetaSel ('Just "rootEnv") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Environment l))))

data InhCF l Source #

Constructors

InhCF
Fields env :: Environment l currentModule :: Ident

Instances

Instances details

Generic (InhCF l) Source #
Instance details Defined in Language.Oberon.ConstantFolder Associated Types type Rep (InhCF l) :: Type -> Type # Methods from :: InhCF l -> Rep (InhCF l) x # to :: Rep (InhCF l) x -> InhCF l #
type Rep (InhCF l) Source #
Instance details Defined in Language.Oberon.ConstantFolder type Rep (InhCF l) = D1 ('MetaData "InhCF" "Language.Oberon.ConstantFolder" "language-oberon-0.3.3-IKUoxbay5QRGXP2jOnakW5" 'False) (C1 ('MetaCons "InhCF" 'PrefixI 'True) (S1 ('MetaSel ('Just "env") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Environment l)) :*: S1 ('MetaSel ('Just "currentModule") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Ident)))

data SynCF a Source #

Constructors

SynCF
Fields folded :: Mapped Placed a

Instances

Instances details

Generic (SynCF a) Source #
Instance details Defined in Language.Oberon.ConstantFolder Associated Types type Rep (SynCF a) :: Type -> Type # Methods from :: SynCF a -> Rep (SynCF a) x # to :: Rep (SynCF a) x -> SynCF a #
type Rep (SynCF a) Source #
Instance details Defined in Language.Oberon.ConstantFolder type Rep (SynCF a) = D1 ('MetaData "SynCF" "Language.Oberon.ConstantFolder" "language-oberon-0.3.3-IKUoxbay5QRGXP2jOnakW5" 'False) (C1 ('MetaCons "SynCF" 'PrefixI 'True) (S1 ('MetaSel ('Just "folded") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mapped Placed a))))

data SynCFMod l a Source #

Constructors

SynCFMod
Fields moduleEnv :: Environment l folded :: Mapped Placed a

Instances

Instances details

Generic (SynCFMod l a) Source #
Instance details Defined in Language.Oberon.ConstantFolder Associated Types type Rep (SynCFMod l a) :: Type -> Type # Methods from :: SynCFMod l a -> Rep (SynCFMod l a) x # to :: Rep (SynCFMod l a) x -> SynCFMod l a #
type Rep (SynCFMod l a) Source #
Instance details Defined in Language.Oberon.ConstantFolder type Rep (SynCFMod l a) = D1 ('MetaData "SynCFMod" "Language.Oberon.ConstantFolder" "language-oberon-0.3.3-IKUoxbay5QRGXP2jOnakW5" 'False) (C1 ('MetaCons "SynCFMod" 'PrefixI 'True) (S1 ('MetaSel ('Just "moduleEnv") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Environment l)) :*: S1 ('MetaSel ('Just "folded") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mapped Placed a))))

data SynCFExp λ l Source #

Constructors

SynCFExp
Fields folded :: Mapped Placed (Expression λ l Placed Placed) foldedValue :: Maybe (Placed (Value l l Placed Placed))

data SynCFDesignator l Source #

Constructors

SynCFDesignator
Fields folded :: Mapped Placed (Designator l l Placed Placed) designatorValue :: Maybe (Placed (Value l l Placed Placed))

Instances

Instances details

Generic (SynCFDesignator l) Source #
Instance details Defined in Language.Oberon.ConstantFolder Associated Types type Rep (SynCFDesignator l) :: Type -> Type # Methods from :: SynCFDesignator l -> Rep (SynCFDesignator l) x # to :: Rep (SynCFDesignator l) x -> SynCFDesignator l #
type Rep (SynCFDesignator l) Source #
Instance details Defined in Language.Oberon.ConstantFolder type Rep (SynCFDesignator l) = D1 ('MetaData "SynCFDesignator" "Language.Oberon.ConstantFolder" "language-oberon-0.3.3-IKUoxbay5QRGXP2jOnakW5" 'False) (C1 ('MetaCons "SynCFDesignator" 'PrefixI 'True) (S1 ('MetaSel ('Just "folded") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mapped Placed (Designator l l Placed Placed))) :*: S1 ('MetaSel ('Just "designatorValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (Placed (Value l l Placed Placed))))))

data SynCFRoot a Source #

Constructors

SynCFRoot
Fields modulesFolded :: a

Modules instances, TH candidates

Boring attribute types

type SynCF' node = SynCF (node Placed Placed) Source #

type SynCFMod' l node = SynCFMod l (node Placed Placed) Source #

Disambiguation

folded' :: SynCF' node -> Mapped Placed (node Placed Placed) Source #

foldedExp :: SynCFExp λ l -> Mapped Placed (Expression λ l Placed Placed) Source #

foldedExp' :: SynCFExp λ l -> Placed (Expression λ l Placed Placed) Source #

foldedMod :: SynCFMod' l node -> Mapped Placed (node Placed Placed) Source #

Rules

literalSynthesis :: (Wirthy λ, Functor (Map Placed Identity) (Value l l), Pretty (Value l l Identity Identity)) => Placed (Value l l Placed Placed) -> SynCFExp λ l Source #

maxInteger :: Integer Source #

minInteger :: Integer Source #

maxInt32 :: Integer Source #

minInt32 :: Integer Source #

maxSet :: Integer Source #

minSet :: Integer Source #

doubleSize :: Integer Source #

floatSize :: Integer Source #

intSize :: Integer Source #

int32Size :: Integer Source #

maxReal :: Double Source #

minReal :: Double Source #

foldBinaryArithmetic :: forall λ l f. (f ~ Placed, Value l ~ Value l, Wirthy λ, Pretty (Value l l Identity Identity)) => (Int, ParsedLexemes, Int) -> (f (Expression l l f f) -> f (Expression l l f f) -> Expression λ l f f) -> (forall n. Num n => n -> n -> n) -> SynCFExp l l -> SynCFExp l l -> SynCFExp λ l Source #

foldBinaryFractional :: forall λ l f. (f ~ Placed, Value l ~ Value l, Wirthy λ, Pretty (Value l l Identity Identity)) => (Int, ParsedLexemes, Int) -> (f (Expression l l f f) -> f (Expression l l f f) -> Expression λ l f f) -> (forall n. Fractional n => n -> n -> n) -> SynCFExp l l -> SynCFExp l l -> SynCFExp λ l Source #

foldBinaryInteger :: forall λ l f. (f ~ Placed, Value l ~ Value l, Wirthy λ, Pretty (Value l l Identity Identity)) => (Int, ParsedLexemes, Int) -> (f (Expression l l f f) -> f (Expression l l f f) -> Expression λ l f f) -> (forall n. Integral n => n -> n -> n) -> SynCFExp l l -> SynCFExp l l -> SynCFExp λ l Source #

foldBinaryBoolean :: forall λ l f. (f ~ Placed, Value l ~ Value l, Wirthy λ, Pretty (Value l l Identity Identity)) => (Int, ParsedLexemes, Int) -> (f (Expression l l f f) -> f (Expression l l f f) -> Expression λ l f f) -> (Bool -> Bool -> Bool) -> SynCFExp l l -> SynCFExp l l -> SynCFExp λ l Source #

anyWhitespace :: ParsedLexemes -> ParsedLexemes -> ParsedLexemes Source #

lastWhitespace :: ParsedLexemes -> ParsedLexemes Source #

Unsafe Rank2 AST instances

predefined :: (Wirthy l, Ord (QualIdent l)) => Environment l Source #

The set of predefined types and procedures defined in the Oberon Language Report.

predefined2 :: (Wirthy l, Ord (QualIdent l)) => Environment l Source #

Orphan instances

Apply (Module l l f' :: (Type -> Type) -> Type) Source #
Instance details Methods (<*>) :: forall (p :: k -> Type) (q :: k -> Type). Module l l f' (p ~> q) -> Module l l f' p -> Module l l f' q # liftA2 :: (forall (a :: k). p a -> q a -> r a) -> Module l l f' p -> Module l l f' q -> Module l l f' r # liftA3 :: (forall (a :: k). p a -> q a -> r a -> s a) -> Module l l f' p -> Module l l f' q -> Module l l f' r -> Module l l f' s #