(Ord (QualIdent l), v ~ Value l l Placed Placed) => SynthesizedField "designatorValue" (Maybe (Placed v)) (Auto ConstantFold) (Designator l l) Sem Placed | |
Instance detailsDefined in Language.Oberon.ConstantFolder |
(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 detailsDefined in Language.Modula2.ISO.ConstantFolder |
(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 | |
Instance detailsDefined in Language.Oberon.ConstantFolder |
(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 | |
Instance detailsDefined in Language.Oberon.ConstantFolder |
(Modula2 l, Nameable l, k ~ QualIdent l, Ord k, v ~ Value l l Placed Placed, Export l ~ Export l, Value l ~ Value l, Atts (Synthesized (Auto ConstantFold)) (Declaration l l Sem Sem) ~ SynCFMod' l (Declaration l l), Atts (Synthesized (Auto ConstantFold)) (Type l l Sem Sem) ~ SynCF' (Type l l), Atts (Synthesized (Auto ConstantFold)) (ProcedureHeading l l Sem Sem) ~ SynCF' (ProcedureHeading l l), Atts (Synthesized (Auto ConstantFold)) (FormalParameters l l Sem Sem) ~ SynCF' (FormalParameters l l), Atts (Synthesized (Auto ConstantFold)) (Block l l Sem Sem) ~ SynCFMod' l (Block l l), Atts (Synthesized (Auto ConstantFold)) (ConstExpression l l Sem Sem) ~ SynCFExp l l) => SynthesizedField "moduleEnv" (Map k (Maybe v)) (Auto ConstantFold) (Declaration full l l) Sem Placed Source # | |
Instance detailsDefined in Language.Modula2.ISO.ConstantFolder |
Transformation (Auto ConstantFold) | |
Instance detailsDefined in Language.Oberon.ConstantFolder |
Ord (QualIdent l) => Bequether (Auto ConstantFold) (Modules l) Sem Placed | |
Instance detailsDefined in Language.Oberon.ConstantFolder |
Ord (QualIdent l) => Synthesizer (Auto ConstantFold) (Modules l) Sem Placed | |
Instance detailsDefined in Language.Oberon.ConstantFolder |
(Functor (Auto ConstantFold) (Declaration l l), At (Auto ConstantFold) (Declaration l l (Codomain (Auto ConstantFold)) (Codomain (Auto ConstantFold)))) => Functor (Auto ConstantFold) (Declaration l l) | |
Instance detailsDefined in Language.Oberon.ConstantFolder |
(Functor (Auto ConstantFold) (Expression l l), At (Auto ConstantFold) (Expression l l (Codomain (Auto ConstantFold)) (Codomain (Auto ConstantFold)))) => Functor (Auto ConstantFold) (Expression l l) | |
Instance detailsDefined in Language.Oberon.ConstantFolder |
(Functor (Auto ConstantFold) (Element l l), At (Auto ConstantFold) (Element l l (Codomain (Auto ConstantFold)) (Codomain (Auto ConstantFold)))) => Functor (Auto ConstantFold) (Element l l) | |
Instance detailsDefined in Language.Oberon.ConstantFolder |
Functor (Auto ConstantFold) (Value l l) | |
Instance detailsDefined in Language.Oberon.ConstantFolder |
(Functor (Auto ConstantFold) (Designator l l), At (Auto ConstantFold) (Designator l l (Codomain (Auto ConstantFold)) (Codomain (Auto ConstantFold)))) => Functor (Auto ConstantFold) (Designator l l) | |
Instance detailsDefined in Language.Oberon.ConstantFolder |
(Functor (Auto ConstantFold) (Type l l), At (Auto ConstantFold) (Type l l (Codomain (Auto ConstantFold)) (Codomain (Auto ConstantFold)))) => Functor (Auto ConstantFold) (Type l l) | |
Instance detailsDefined in Language.Oberon.ConstantFolder |
(Functor (Auto ConstantFold) (FieldList l l), At (Auto ConstantFold) (FieldList l l (Codomain (Auto ConstantFold)) (Codomain (Auto ConstantFold)))) => Functor (Auto ConstantFold) (FieldList l l) | |
Instance detailsDefined in Language.Oberon.ConstantFolder |
(Functor (Auto ConstantFold) (ProcedureHeading l l), At (Auto ConstantFold) (ProcedureHeading l l (Codomain (Auto ConstantFold)) (Codomain (Auto ConstantFold)))) => Functor (Auto ConstantFold) (ProcedureHeading l l) | |
Instance detailsDefined in Language.Oberon.ConstantFolder |
(Functor (Auto ConstantFold) (FormalParameters l l), At (Auto ConstantFold) (FormalParameters l l (Codomain (Auto ConstantFold)) (Codomain (Auto ConstantFold)))) => Functor (Auto ConstantFold) (FormalParameters l l) | |
Instance detailsDefined in Language.Oberon.ConstantFolder |
(Functor (Auto ConstantFold) (FPSection l l), At (Auto ConstantFold) (FPSection l l (Codomain (Auto ConstantFold)) (Codomain (Auto ConstantFold)))) => Functor (Auto ConstantFold) (FPSection l l) | |
Instance detailsDefined in Language.Oberon.ConstantFolder |
(Functor (Auto ConstantFold) (Block l l), At (Auto ConstantFold) (Block l l (Codomain (Auto ConstantFold)) (Codomain (Auto ConstantFold)))) => Functor (Auto ConstantFold) (Block l l) | |
Instance detailsDefined in Language.Oberon.ConstantFolder |
(Functor (Auto ConstantFold) (StatementSequence l l), At (Auto ConstantFold) (StatementSequence l l (Codomain (Auto ConstantFold)) (Codomain (Auto ConstantFold)))) => Functor (Auto ConstantFold) (StatementSequence l l) | |
Instance detailsDefined in Language.Oberon.ConstantFolder |
(Functor (Auto ConstantFold) (Statement l l), At (Auto ConstantFold) (Statement l l (Codomain (Auto ConstantFold)) (Codomain (Auto ConstantFold)))) => Functor (Auto ConstantFold) (Statement l l) | |
Instance detailsDefined in Language.Oberon.ConstantFolder |
(Functor (Auto ConstantFold) (WithAlternative l l), At (Auto ConstantFold) (WithAlternative l l (Codomain (Auto ConstantFold)) (Codomain (Auto ConstantFold)))) => Functor (Auto ConstantFold) (WithAlternative l l) | |
Instance detailsDefined in Language.Oberon.ConstantFolder |
(Functor (Auto ConstantFold) (Case l l), At (Auto ConstantFold) (Case l l (Codomain (Auto ConstantFold)) (Codomain (Auto ConstantFold)))) => Functor (Auto ConstantFold) (Case l l) | |
Instance detailsDefined in Language.Oberon.ConstantFolder |
(Functor (Auto ConstantFold) (CaseLabels l l), At (Auto ConstantFold) (CaseLabels l l (Codomain (Auto ConstantFold)) (Codomain (Auto ConstantFold)))) => Functor (Auto ConstantFold) (CaseLabels l l) | |
Instance detailsDefined in Language.Oberon.ConstantFolder |
(Functor (Auto ConstantFold) (ConditionalBranch l l), At (Auto ConstantFold) (ConditionalBranch l l (Codomain (Auto ConstantFold)) (Codomain (Auto ConstantFold)))) => Functor (Auto ConstantFold) (ConditionalBranch l l) | |
Instance detailsDefined in Language.Oberon.ConstantFolder |
(Functor (Auto ConstantFold) (Statement l l), At (Auto ConstantFold) (Statement l l (Codomain (Auto ConstantFold)) (Codomain (Auto ConstantFold)))) => Functor (Auto ConstantFold) (Statement l l) Source # | |
Instance detailsDefined in Language.Modula2.ConstantFolder |
(Functor (Auto ConstantFold) (ProcedureHeading l l), At (Auto ConstantFold) (ProcedureHeading l l (Codomain (Auto ConstantFold)) (Codomain (Auto ConstantFold)))) => Functor (Auto ConstantFold) (ProcedureHeading l l) Source # | |
Instance detailsDefined in Language.Modula2.ConstantFolder |
(Functor (Auto ConstantFold) (Variant l l), At (Auto ConstantFold) (Variant l l (Codomain (Auto ConstantFold)) (Codomain (Auto ConstantFold)))) => Functor (Auto ConstantFold) (Variant l l) Source # | |
Instance detailsDefined in Language.Modula2.ConstantFolder |
(Functor (Auto ConstantFold) (FieldList l l), At (Auto ConstantFold) (FieldList l l (Codomain (Auto ConstantFold)) (Codomain (Auto ConstantFold)))) => Functor (Auto ConstantFold) (FieldList l l) Source # | |
Instance detailsDefined in Language.Modula2.ConstantFolder |
(Functor (Auto ConstantFold) (Type l l), At (Auto ConstantFold) (Type l l (Codomain (Auto ConstantFold)) (Codomain (Auto ConstantFold)))) => Functor (Auto ConstantFold) (Type l l) Source # | |
Instance detailsDefined in Language.Modula2.ConstantFolder |
(Functor (Auto ConstantFold) (Designator l l), At (Auto ConstantFold) (Designator l l (Codomain (Auto ConstantFold)) (Codomain (Auto ConstantFold)))) => Functor (Auto ConstantFold) (Designator l l) Source # | |
Instance detailsDefined in Language.Modula2.ConstantFolder |
(Functor (Auto ConstantFold) (Expression l l), At (Auto ConstantFold) (Expression l l (Codomain (Auto ConstantFold)) (Codomain (Auto ConstantFold)))) => Functor (Auto ConstantFold) (Expression l l) Source # | |
Instance detailsDefined in Language.Modula2.ConstantFolder |
(Functor (Auto ConstantFold) (Statement l l), At (Auto ConstantFold) (Statement l l (Codomain (Auto ConstantFold)) (Codomain (Auto ConstantFold)))) => Functor (Auto ConstantFold) (Statement l l) Source # | |
Instance detailsDefined in Language.Modula2.ISO.ConstantFolder |
(Functor (Auto ConstantFold) (Block l l), At (Auto ConstantFold) (Block l l (Codomain (Auto ConstantFold)) (Codomain (Auto ConstantFold)))) => Functor (Auto ConstantFold) (Block l l) Source # | |
Instance detailsDefined in Language.Modula2.ISO.ConstantFolder |
(Functor (Auto ConstantFold) (Variant l l), At (Auto ConstantFold) (Variant l l (Codomain (Auto ConstantFold)) (Codomain (Auto ConstantFold)))) => Functor (Auto ConstantFold) (Variant l l) Source # | |
Instance detailsDefined in Language.Modula2.ISO.ConstantFolder |
(Functor (Auto ConstantFold) (Item l l), At (Auto ConstantFold) (Item l l (Codomain (Auto ConstantFold)) (Codomain (Auto ConstantFold)))) => Functor (Auto ConstantFold) (Item l l) Source # | |
Instance detailsDefined in Language.Modula2.ISO.ConstantFolder |
(Functor (Auto ConstantFold) (Expression l l), At (Auto ConstantFold) (Expression l l (Codomain (Auto ConstantFold)) (Codomain (Auto ConstantFold)))) => Functor (Auto ConstantFold) (Expression l l) Source # | |
Instance detailsDefined in Language.Modula2.ISO.ConstantFolder |
(Functor (Auto ConstantFold) (Type l l), At (Auto ConstantFold) (Type l l (Codomain (Auto ConstantFold)) (Codomain (Auto ConstantFold)))) => Functor (Auto ConstantFold) (Type l l) Source # | |
Instance detailsDefined in Language.Modula2.ISO.ConstantFolder |
(Functor (Auto ConstantFold) (AddressedIdent l l), At (Auto ConstantFold) (AddressedIdent l l (Codomain (Auto ConstantFold)) (Codomain (Auto ConstantFold)))) => Functor (Auto ConstantFold) (AddressedIdent l l) Source # | |
Instance detailsDefined in Language.Modula2.ISO.ConstantFolder |
(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 | |
Instance detailsDefined in Language.Oberon.ConstantFolder |
(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 detailsDefined in Language.Modula2.ISO.ConstantFolder |
(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 | |
Instance detailsDefined in Language.Oberon.ConstantFolder |
(Oberon l, Nameable l, Ord (QualIdent l), Value l ~ Value l, InhCF l ~ InhCF λ, Pretty (Value λ λ 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 | |
Instance detailsDefined in Language.Oberon.ConstantFolder |
(Nameable l, Ord (QualIdent l), QualIdent l ~ QualIdent l, Value l ~ Value l, λ ~ Language, Coercible (QualIdent Language) (QualIdent l), Coercible (Value Language Language) (Value l l), InhCF l ~ InhCF λ, 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)) (Item l l Sem Sem) ~ SynCF' (Item l l), Atts (Synthesized (Auto ConstantFold)) (Designator l l Sem Sem) ~ SynCFDesignator l) => Synthesizer (Auto ConstantFold) (Expression λ l) Sem Placed Source # | |
Instance detailsDefined in Language.Modula2.ISO.ConstantFolder |
(Functor (Auto ConstantFold) (Declaration full l l), At (Auto ConstantFold) (Declaration full l l (Codomain (Auto ConstantFold)) (Codomain (Auto ConstantFold)))) => Functor (Auto ConstantFold) (Declaration full l l) Source # | |
Instance detailsDefined in Language.Modula2.ConstantFolder |
(Functor (Auto ConstantFold) (Declaration full l l), At (Auto ConstantFold) (Declaration full l l (Codomain (Auto ConstantFold)) (Codomain (Auto ConstantFold)))) => Functor (Auto ConstantFold) (Declaration full l l) Source # | |
Instance detailsDefined in Language.Modula2.ISO.ConstantFolder |
Ord (QualIdent l) => At (Auto ConstantFold) (Modules l Sem Sem) | |
Instance detailsDefined in Language.Oberon.ConstantFolder |
Attribution (Auto ConstantFold) (Module l l) Sem Placed => At (Auto ConstantFold) (Module l l (Semantics (Auto ConstantFold)) (Semantics (Auto ConstantFold))) | |
Instance detailsDefined in Language.Oberon.ConstantFolder |
Attribution (Auto ConstantFold) (Declaration l l) Sem Placed => At (Auto ConstantFold) (Declaration l l (Semantics (Auto ConstantFold)) (Semantics (Auto ConstantFold))) | |
Instance detailsDefined in Language.Oberon.ConstantFolder |
Attribution (Auto ConstantFold) (Expression l l) Sem Placed => At (Auto ConstantFold) (Expression l l (Semantics (Auto ConstantFold)) (Semantics (Auto ConstantFold))) | |
Instance detailsDefined in Language.Oberon.ConstantFolder |
Attribution (Auto ConstantFold) (Element l l) Sem Placed => At (Auto ConstantFold) (Element l l (Semantics (Auto ConstantFold)) (Semantics (Auto ConstantFold))) | |
Instance detailsDefined in Language.Oberon.ConstantFolder |
Attribution (Auto ConstantFold) (Designator l l) Sem Placed => At (Auto ConstantFold) (Designator l l (Semantics (Auto ConstantFold)) (Semantics (Auto ConstantFold))) | |
Instance detailsDefined in Language.Oberon.ConstantFolder |
Attribution (Auto ConstantFold) (Type l l) Sem Placed => At (Auto ConstantFold) (Type l l (Semantics (Auto ConstantFold)) (Semantics (Auto ConstantFold))) | |
Instance detailsDefined in Language.Oberon.ConstantFolder |
Attribution (Auto ConstantFold) (FieldList l l) Sem Placed => At (Auto ConstantFold) (FieldList l l (Semantics (Auto ConstantFold)) (Semantics (Auto ConstantFold))) | |
Instance detailsDefined in Language.Oberon.ConstantFolder |
Attribution (Auto ConstantFold) (ProcedureHeading l l) Sem Placed => At (Auto ConstantFold) (ProcedureHeading l l (Semantics (Auto ConstantFold)) (Semantics (Auto ConstantFold))) | |
Instance detailsDefined in Language.Oberon.ConstantFolder |
Attribution (Auto ConstantFold) (FormalParameters l l) Sem Placed => At (Auto ConstantFold) (FormalParameters l l (Semantics (Auto ConstantFold)) (Semantics (Auto ConstantFold))) | |
Instance detailsDefined in Language.Oberon.ConstantFolder |
Attribution (Auto ConstantFold) (FPSection l l) Sem Placed => At (Auto ConstantFold) (FPSection l l (Semantics (Auto ConstantFold)) (Semantics (Auto ConstantFold))) | |
Instance detailsDefined in Language.Oberon.ConstantFolder |
Attribution (Auto ConstantFold) (Block l l) Sem Placed => At (Auto ConstantFold) (Block l l (Semantics (Auto ConstantFold)) (Semantics (Auto ConstantFold))) | |
Instance detailsDefined in Language.Oberon.ConstantFolder |
Attribution (Auto ConstantFold) (StatementSequence l l) Sem Placed => At (Auto ConstantFold) (StatementSequence l l (Semantics (Auto ConstantFold)) (Semantics (Auto ConstantFold))) | |
Instance detailsDefined in Language.Oberon.ConstantFolder |
Attribution (Auto ConstantFold) (Statement l l) Sem Placed => At (Auto ConstantFold) (Statement l l (Semantics (Auto ConstantFold)) (Semantics (Auto ConstantFold))) | |
Instance detailsDefined in Language.Oberon.ConstantFolder |
Attribution (Auto ConstantFold) (WithAlternative l l) Sem Placed => At (Auto ConstantFold) (WithAlternative l l (Semantics (Auto ConstantFold)) (Semantics (Auto ConstantFold))) | |
Instance detailsDefined in Language.Oberon.ConstantFolder |
Attribution (Auto ConstantFold) (Case l l) Sem Placed => At (Auto ConstantFold) (Case l l (Semantics (Auto ConstantFold)) (Semantics (Auto ConstantFold))) | |
Instance detailsDefined in Language.Oberon.ConstantFolder |
Attribution (Auto ConstantFold) (CaseLabels l l) Sem Placed => At (Auto ConstantFold) (CaseLabels l l (Semantics (Auto ConstantFold)) (Semantics (Auto ConstantFold))) | |
Instance detailsDefined in Language.Oberon.ConstantFolder |
Attribution (Auto ConstantFold) (ConditionalBranch l l) Sem Placed => At (Auto ConstantFold) (ConditionalBranch l l (Semantics (Auto ConstantFold)) (Semantics (Auto ConstantFold))) | |
Instance detailsDefined in Language.Oberon.ConstantFolder |
Attribution (Auto ConstantFold) (Statement l l) Sem Placed => At (Auto ConstantFold) (Statement l l (Semantics (Auto ConstantFold)) (Semantics (Auto ConstantFold))) Source # | |
Instance detailsDefined in Language.Modula2.ConstantFolder |
Attribution (Auto ConstantFold) (ProcedureHeading l l) Sem Placed => At (Auto ConstantFold) (ProcedureHeading l l (Semantics (Auto ConstantFold)) (Semantics (Auto ConstantFold))) Source # | |
Instance detailsDefined in Language.Modula2.ConstantFolder |
Attribution (Auto ConstantFold) (Variant l l) Sem Placed => At (Auto ConstantFold) (Variant l l (Semantics (Auto ConstantFold)) (Semantics (Auto ConstantFold))) Source # | |
Instance detailsDefined in Language.Modula2.ConstantFolder |
Attribution (Auto ConstantFold) (FieldList l l) Sem Placed => At (Auto ConstantFold) (FieldList l l (Semantics (Auto ConstantFold)) (Semantics (Auto ConstantFold))) Source # | |
Instance detailsDefined in Language.Modula2.ConstantFolder |
Attribution (Auto ConstantFold) (Type l l) Sem Placed => At (Auto ConstantFold) (Type l l (Semantics (Auto ConstantFold)) (Semantics (Auto ConstantFold))) Source # | |
Instance detailsDefined in Language.Modula2.ConstantFolder |
Attribution (Auto ConstantFold) (Designator l l) Sem Placed => At (Auto ConstantFold) (Designator l l (Semantics (Auto ConstantFold)) (Semantics (Auto ConstantFold))) Source # | |
Instance detailsDefined in Language.Modula2.ConstantFolder |
Attribution (Auto ConstantFold) (Expression l l) Sem Placed => At (Auto ConstantFold) (Expression l l (Semantics (Auto ConstantFold)) (Semantics (Auto ConstantFold))) Source # | |
Instance detailsDefined in Language.Modula2.ConstantFolder |
Attribution (Auto ConstantFold) (Module l l) Sem Placed => At (Auto ConstantFold) (Module l l (Semantics (Auto ConstantFold)) (Semantics (Auto ConstantFold))) Source # | |
Instance detailsDefined in Language.Modula2.ConstantFolder |
Attribution (Auto ConstantFold) (Statement l l) Sem Placed => At (Auto ConstantFold) (Statement l l (Semantics (Auto ConstantFold)) (Semantics (Auto ConstantFold))) Source # | |
Instance detailsDefined in Language.Modula2.ISO.ConstantFolder |
Attribution (Auto ConstantFold) (Block l l) Sem Placed => At (Auto ConstantFold) (Block l l (Semantics (Auto ConstantFold)) (Semantics (Auto ConstantFold))) Source # | |
Instance detailsDefined in Language.Modula2.ISO.ConstantFolder |
Attribution (Auto ConstantFold) (Variant l l) Sem Placed => At (Auto ConstantFold) (Variant l l (Semantics (Auto ConstantFold)) (Semantics (Auto ConstantFold))) Source # | |
Instance detailsDefined in Language.Modula2.ISO.ConstantFolder |
Attribution (Auto ConstantFold) (Item l l) Sem Placed => At (Auto ConstantFold) (Item l l (Semantics (Auto ConstantFold)) (Semantics (Auto ConstantFold))) Source # | |
Instance detailsDefined in Language.Modula2.ISO.ConstantFolder |
Attribution (Auto ConstantFold) (Expression l l) Sem Placed => At (Auto ConstantFold) (Expression l l (Semantics (Auto ConstantFold)) (Semantics (Auto ConstantFold))) Source # | |
Instance detailsDefined in Language.Modula2.ISO.ConstantFolder |
Attribution (Auto ConstantFold) (Type l l) Sem Placed => At (Auto ConstantFold) (Type l l (Semantics (Auto ConstantFold)) (Semantics (Auto ConstantFold))) Source # | |
Instance detailsDefined in Language.Modula2.ISO.ConstantFolder |
Attribution (Auto ConstantFold) (AddressedIdent l l) Sem Placed => At (Auto ConstantFold) (AddressedIdent l l (Semantics (Auto ConstantFold)) (Semantics (Auto ConstantFold))) Source # | |
Instance detailsDefined in Language.Modula2.ISO.ConstantFolder |
Attribution (Auto ConstantFold) (Declaration full l l) Sem Placed => At (Auto ConstantFold) (Declaration full l l Sem Sem) Source # | |
Instance detailsDefined in Language.Modula2.ConstantFolder |
Attribution (Auto ConstantFold) (Declaration full l l) Sem Placed => At (Auto ConstantFold) (Declaration full l l Sem Sem) Source # | |
Instance detailsDefined in Language.Modula2.ISO.ConstantFolder |
type Codomain (Auto ConstantFold) | |
Instance detailsDefined in Language.Oberon.ConstantFolder |
type Domain (Auto ConstantFold) | |
Instance detailsDefined in Language.Oberon.ConstantFolder |
type Atts (Inherited (Auto ConstantFold)) (Modules l _1 _2) | |
Instance detailsDefined in Language.Oberon.ConstantFolder |
type Atts (Synthesized (Auto ConstantFold)) (Modules l _1 _2) | |
Instance detailsDefined in Language.Oberon.ConstantFolder |
type Atts (Inherited (Auto ConstantFold)) (Module l l _1 _2) | |
Instance detailsDefined in Language.Oberon.ConstantFolder |
type Atts (Inherited (Auto ConstantFold)) (Declaration l l _1 _2) | |
Instance detailsDefined in Language.Oberon.ConstantFolder |
type Atts (Inherited (Auto ConstantFold)) (Expression l l _1 _2) | |
Instance detailsDefined in Language.Oberon.ConstantFolder |
type Atts (Inherited (Auto ConstantFold)) (Element l l _1 _2) | |
Instance detailsDefined in Language.Oberon.ConstantFolder |
type Atts (Inherited (Auto ConstantFold)) (Value l l _1 _2) | |
Instance detailsDefined in Language.Oberon.ConstantFolder |
type Atts (Inherited (Auto ConstantFold)) (Designator l l _1 _2) | |
Instance detailsDefined in Language.Oberon.ConstantFolder |
type Atts (Inherited (Auto ConstantFold)) (Type l l _1 _2) | |
Instance detailsDefined in Language.Oberon.ConstantFolder |
type Atts (Inherited (Auto ConstantFold)) (FieldList l l _1 _2) | |
Instance detailsDefined in Language.Oberon.ConstantFolder |
type Atts (Inherited (Auto ConstantFold)) (ProcedureHeading l l _1 _2) | |
Instance detailsDefined in Language.Oberon.ConstantFolder |
type Atts (Inherited (Auto ConstantFold)) (FormalParameters l l _1 _2) | |
Instance detailsDefined in Language.Oberon.ConstantFolder |
type Atts (Inherited (Auto ConstantFold)) (FPSection l l _1 _2) | |
Instance detailsDefined in Language.Oberon.ConstantFolder |
type Atts (Inherited (Auto ConstantFold)) (Block l l _1 _2) | |
Instance detailsDefined in Language.Oberon.ConstantFolder |
type Atts (Inherited (Auto ConstantFold)) (StatementSequence l l _1 _2) | |
Instance detailsDefined in Language.Oberon.ConstantFolder |
type Atts (Inherited (Auto ConstantFold)) (Statement l l _1 _2) | |
Instance detailsDefined in Language.Oberon.ConstantFolder |
type Atts (Inherited (Auto ConstantFold)) (WithAlternative l l _1 _2) | |
Instance detailsDefined in Language.Oberon.ConstantFolder |
type Atts (Inherited (Auto ConstantFold)) (Case l l _1 _2) | |
Instance detailsDefined in Language.Oberon.ConstantFolder |
type Atts (Inherited (Auto ConstantFold)) (CaseLabels l l _1 _2) | |
Instance detailsDefined in Language.Oberon.ConstantFolder |
type Atts (Inherited (Auto ConstantFold)) (ConditionalBranch l l _1 _2) | |
Instance detailsDefined in Language.Oberon.ConstantFolder |
type Atts (Inherited (Auto ConstantFold)) (Statement λ l _1 _2) Source # | |
Instance detailsDefined in Language.Modula2.ConstantFolder |
type Atts (Inherited (Auto ConstantFold)) (ProcedureHeading λ l _1 _2) Source # | |
Instance detailsDefined in Language.Modula2.ConstantFolder |
type Atts (Inherited (Auto ConstantFold)) (Variant λ l _1 _2) Source # | |
Instance detailsDefined in Language.Modula2.ConstantFolder |
type Atts (Inherited (Auto ConstantFold)) (FieldList λ l _1 _2) Source # | |
Instance detailsDefined in Language.Modula2.ConstantFolder |
type Atts (Inherited (Auto ConstantFold)) (Type λ l _1 _2) Source # | |
Instance detailsDefined in Language.Modula2.ConstantFolder |
type Atts (Inherited (Auto ConstantFold)) (Designator λ l _1 _2) Source # | |
Instance detailsDefined in Language.Modula2.ConstantFolder |
type Atts (Inherited (Auto ConstantFold)) (Expression λ l _1 _2) Source # | |
Instance detailsDefined in Language.Modula2.ConstantFolder |
type Atts (Inherited (Auto ConstantFold)) (Module λ l _1 _2) Source # | |
Instance detailsDefined in Language.Modula2.ConstantFolder |
type Atts (Inherited (Auto ConstantFold)) (Statement λ l _1 _2) Source # | |
Instance detailsDefined in Language.Modula2.ISO.ConstantFolder |
type Atts (Inherited (Auto ConstantFold)) (Block λ l _1 _2) Source # | |
Instance detailsDefined in Language.Modula2.ISO.ConstantFolder |
type Atts (Inherited (Auto ConstantFold)) (Variant λ l _1 _2) Source # | |
Instance detailsDefined in Language.Modula2.ISO.ConstantFolder |
type Atts (Inherited (Auto ConstantFold)) (Item λ l _1 _2) Source # | |
Instance detailsDefined in Language.Modula2.ISO.ConstantFolder |
type Atts (Inherited (Auto ConstantFold)) (Expression λ l _1 _2) Source # | |
Instance detailsDefined in Language.Modula2.ISO.ConstantFolder |
type Atts (Inherited (Auto ConstantFold)) (Type λ l _1 _2) Source # | |
Instance detailsDefined in Language.Modula2.ISO.ConstantFolder |
type Atts (Inherited (Auto ConstantFold)) (AddressedIdent λ l _1 _2) Source # | |
Instance detailsDefined in Language.Modula2.ISO.ConstantFolder |
type Atts (Synthesized (Auto ConstantFold)) (Module l l _1 _2) | |
Instance detailsDefined in Language.Oberon.ConstantFolder |
type Atts (Synthesized (Auto ConstantFold)) (Declaration l l _1 _2) | |
Instance detailsDefined in Language.Oberon.ConstantFolder |
type Atts (Synthesized (Auto ConstantFold)) (Expression λ l _1 _2) | |
Instance detailsDefined in Language.Oberon.ConstantFolder |
type Atts (Synthesized (Auto ConstantFold)) (Element l l _1 _2) | |
Instance detailsDefined in Language.Oberon.ConstantFolder |
type Atts (Synthesized (Auto ConstantFold)) (Value l l _1 _2) | |
Instance detailsDefined in Language.Oberon.ConstantFolder |
type Atts (Synthesized (Auto ConstantFold)) (Designator l l _1 _2) | |
Instance detailsDefined in Language.Oberon.ConstantFolder |
type Atts (Synthesized (Auto ConstantFold)) (Type l l _1 _2) | |
Instance detailsDefined in Language.Oberon.ConstantFolder |
type Atts (Synthesized (Auto ConstantFold)) (FieldList l l _1 _2) | |
Instance detailsDefined in Language.Oberon.ConstantFolder |
type Atts (Synthesized (Auto ConstantFold)) (ProcedureHeading l l _1 _2) | |
Instance detailsDefined in Language.Oberon.ConstantFolder |
type Atts (Synthesized (Auto ConstantFold)) (FormalParameters l l _1 _2) | |
Instance detailsDefined in Language.Oberon.ConstantFolder |
type Atts (Synthesized (Auto ConstantFold)) (FPSection l l _1 _2) | |
Instance detailsDefined in Language.Oberon.ConstantFolder |
type Atts (Synthesized (Auto ConstantFold)) (Block l l _1 _2) | |
Instance detailsDefined in Language.Oberon.ConstantFolder |
type Atts (Synthesized (Auto ConstantFold)) (StatementSequence l l _1 _2) | |
Instance detailsDefined in Language.Oberon.ConstantFolder |
type Atts (Synthesized (Auto ConstantFold)) (Statement l l _1 _2) | |
Instance detailsDefined in Language.Oberon.ConstantFolder |
type Atts (Synthesized (Auto ConstantFold)) (WithAlternative l l _1 _2) | |
Instance detailsDefined in Language.Oberon.ConstantFolder |
type Atts (Synthesized (Auto ConstantFold)) (Case l l _1 _2) | |
Instance detailsDefined in Language.Oberon.ConstantFolder |
type Atts (Synthesized (Auto ConstantFold)) (CaseLabels l l _1 _2) | |
Instance detailsDefined in Language.Oberon.ConstantFolder |
type Atts (Synthesized (Auto ConstantFold)) (ConditionalBranch l l _1 _2) | |
Instance detailsDefined in Language.Oberon.ConstantFolder |
type Atts (Synthesized (Auto ConstantFold)) (Statement λ l _1 _2) Source # | |
Instance detailsDefined in Language.Modula2.ConstantFolder |
type Atts (Synthesized (Auto ConstantFold)) (ProcedureHeading λ l _1 _2) Source # | |
Instance detailsDefined in Language.Modula2.ConstantFolder |
type Atts (Synthesized (Auto ConstantFold)) (Variant λ l _1 _2) Source # | |
Instance detailsDefined in Language.Modula2.ConstantFolder |
type Atts (Synthesized (Auto ConstantFold)) (FieldList λ l _1 _2) Source # | |
Instance detailsDefined in Language.Modula2.ConstantFolder |
type Atts (Synthesized (Auto ConstantFold)) (Type λ l _1 _2) Source # | |
Instance detailsDefined in Language.Modula2.ConstantFolder |
type Atts (Synthesized (Auto ConstantFold)) (Designator λ l _1 _2) Source # | |
Instance detailsDefined in Language.Modula2.ConstantFolder |
type Atts (Synthesized (Auto ConstantFold)) (Expression λ l _1 _2) Source # | |
Instance detailsDefined in Language.Modula2.ConstantFolder |
type Atts (Synthesized (Auto ConstantFold)) (Module λ l _1 _2) Source # | |
Instance detailsDefined in Language.Modula2.ConstantFolder |
type Atts (Synthesized (Auto ConstantFold)) (Statement λ l _1 _2) Source # | |
Instance detailsDefined in Language.Modula2.ISO.ConstantFolder |
type Atts (Synthesized (Auto ConstantFold)) (Block λ l _1 _2) Source # | |
Instance detailsDefined in Language.Modula2.ISO.ConstantFolder |
type Atts (Synthesized (Auto ConstantFold)) (Variant λ l _1 _2) Source # | |
Instance detailsDefined in Language.Modula2.ISO.ConstantFolder |
type Atts (Synthesized (Auto ConstantFold)) (Item λ l _1 _2) Source # | |
Instance detailsDefined in Language.Modula2.ISO.ConstantFolder |
type Atts (Synthesized (Auto ConstantFold)) (Expression λ l _1 _2) Source # | |
Instance detailsDefined in Language.Modula2.ISO.ConstantFolder |
type Atts (Synthesized (Auto ConstantFold)) (Type λ l _1 _2) Source # | |
Instance detailsDefined in Language.Modula2.ISO.ConstantFolder |
type Atts (Synthesized (Auto ConstantFold)) (AddressedIdent λ l _1 _2) Source # | |
Instance detailsDefined in Language.Modula2.ISO.ConstantFolder |
type Atts (Inherited (Auto ConstantFold)) (Declaration full λ l _1 _2) Source # | |
Instance detailsDefined in Language.Modula2.ConstantFolder |
type Atts (Inherited (Auto ConstantFold)) (Declaration full λ l _1 _2) Source # | |
Instance detailsDefined in Language.Modula2.ISO.ConstantFolder |
type Atts (Synthesized (Auto ConstantFold)) (Declaration full λ l _1 _2) Source # | |
Instance detailsDefined in Language.Modula2.ConstantFolder |
type Atts (Synthesized (Auto ConstantFold)) (Declaration full λ l _1 _2) Source # | |
Instance detailsDefined in Language.Modula2.ISO.ConstantFolder |