Safe Haskell	None
Language	Haskell2010

Language.Oberon.AST

Description

Oberon Abstract Syntax Tree definitions

Documentation

data Module f Source #

Constructors

Module Ident [Import] [Declaration f] (Maybe (StatementSequence f)) Ident

Instances

Data (Module Identity) Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Module Identity -> c (Module Identity) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Module Identity) # toConstr :: Module Identity -> Constr # dataTypeOf :: Module Identity -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c (Module Identity)) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Module Identity)) # gmapT :: (forall b. Data b => b -> b) -> Module Identity -> Module Identity # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Module Identity -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Module Identity -> r # gmapQ :: (forall d. Data d => d -> u) -> Module Identity -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Module Identity -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Module Identity -> m (Module Identity) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Module Identity -> m (Module Identity) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Module Identity -> m (Module Identity) #
Data (Module Ambiguous) Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Module Ambiguous -> c (Module Ambiguous) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Module Ambiguous) # toConstr :: Module Ambiguous -> Constr # dataTypeOf :: Module Ambiguous -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c (Module Ambiguous)) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Module Ambiguous)) # gmapT :: (forall b. Data b => b -> b) -> Module Ambiguous -> Module Ambiguous # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Module Ambiguous -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Module Ambiguous -> r # gmapQ :: (forall d. Data d => d -> u) -> Module Ambiguous -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Module Ambiguous -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Module Ambiguous -> m (Module Ambiguous) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Module Ambiguous -> m (Module Ambiguous) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Module Ambiguous -> m (Module Ambiguous) #
(Show (f (Designator f)), Show (f (Expression f)), Show (f (Statement f))) => Show (Module f) Source #
Methods showsPrec :: Int -> Module f -> ShowS # show :: Module f -> String # showList :: [Module f] -> ShowS #

type Ident = Text Source #

type Import = (Maybe Ident, Ident) Source #

data Declaration f Source #

Constructors

ConstantDeclaration IdentDef (f (ConstExpression f))
TypeDeclaration IdentDef (Type f)
VariableDeclaration IdentList (Type f)
ProcedureDeclaration (ProcedureHeading f) (ProcedureBody f) Ident
ForwardDeclaration IdentDef (Maybe (FormalParameters f))

Instances

Data (Declaration Identity) Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Declaration Identity -> c (Declaration Identity) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Declaration Identity) # toConstr :: Declaration Identity -> Constr # dataTypeOf :: Declaration Identity -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c (Declaration Identity)) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Declaration Identity)) # gmapT :: (forall b. Data b => b -> b) -> Declaration Identity -> Declaration Identity # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Declaration Identity -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Declaration Identity -> r # gmapQ :: (forall d. Data d => d -> u) -> Declaration Identity -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Declaration Identity -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Declaration Identity -> m (Declaration Identity) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Declaration Identity -> m (Declaration Identity) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Declaration Identity -> m (Declaration Identity) #
Data (Declaration Ambiguous) Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Declaration Ambiguous -> c (Declaration Ambiguous) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Declaration Ambiguous) # toConstr :: Declaration Ambiguous -> Constr # dataTypeOf :: Declaration Ambiguous -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c (Declaration Ambiguous)) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Declaration Ambiguous)) # gmapT :: (forall b. Data b => b -> b) -> Declaration Ambiguous -> Declaration Ambiguous # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Declaration Ambiguous -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Declaration Ambiguous -> r # gmapQ :: (forall d. Data d => d -> u) -> Declaration Ambiguous -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Declaration Ambiguous -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Declaration Ambiguous -> m (Declaration Ambiguous) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Declaration Ambiguous -> m (Declaration Ambiguous) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Declaration Ambiguous -> m (Declaration Ambiguous) #
(Show (f (Designator f)), Show (f (Expression f)), Show (f (Statement f))) => Show (Declaration f) Source #
Methods showsPrec :: Int -> Declaration f -> ShowS # show :: Declaration f -> String # showList :: [Declaration f] -> ShowS #

data IdentDef Source #

Constructors

IdentDef Ident AccessMode

Instances

Eq IdentDef Source #
Methods (==) :: IdentDef -> IdentDef -> Bool # (/=) :: IdentDef -> IdentDef -> Bool #
Data IdentDef Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> IdentDef -> c IdentDef # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c IdentDef # toConstr :: IdentDef -> Constr # dataTypeOf :: IdentDef -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c IdentDef) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c IdentDef) # gmapT :: (forall b. Data b => b -> b) -> IdentDef -> IdentDef # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> IdentDef -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> IdentDef -> r # gmapQ :: (forall d. Data d => d -> u) -> IdentDef -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> IdentDef -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> IdentDef -> m IdentDef # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> IdentDef -> m IdentDef # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> IdentDef -> m IdentDef #
Ord IdentDef Source #
Methods compare :: IdentDef -> IdentDef -> Ordering # (<) :: IdentDef -> IdentDef -> Bool # (<=) :: IdentDef -> IdentDef -> Bool # (>) :: IdentDef -> IdentDef -> Bool # (>=) :: IdentDef -> IdentDef -> Bool # max :: IdentDef -> IdentDef -> IdentDef # min :: IdentDef -> IdentDef -> IdentDef #
Show IdentDef Source #
Methods showsPrec :: Int -> IdentDef -> ShowS # show :: IdentDef -> String # showList :: [IdentDef] -> ShowS #

data AccessMode Source #

Constructors

Exported
ReadOnly
PrivateOnly

Instances

Eq AccessMode Source #
Methods (==) :: AccessMode -> AccessMode -> Bool # (/=) :: AccessMode -> AccessMode -> Bool #
Data AccessMode Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> AccessMode -> c AccessMode # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c AccessMode # toConstr :: AccessMode -> Constr # dataTypeOf :: AccessMode -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c AccessMode) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c AccessMode) # gmapT :: (forall b. Data b => b -> b) -> AccessMode -> AccessMode # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> AccessMode -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> AccessMode -> r # gmapQ :: (forall d. Data d => d -> u) -> AccessMode -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> AccessMode -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> AccessMode -> m AccessMode # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> AccessMode -> m AccessMode # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> AccessMode -> m AccessMode #
Ord AccessMode Source #
Methods compare :: AccessMode -> AccessMode -> Ordering # (<) :: AccessMode -> AccessMode -> Bool # (<=) :: AccessMode -> AccessMode -> Bool # (>) :: AccessMode -> AccessMode -> Bool # (>=) :: AccessMode -> AccessMode -> Bool # max :: AccessMode -> AccessMode -> AccessMode # min :: AccessMode -> AccessMode -> AccessMode #
Show AccessMode Source #
Methods showsPrec :: Int -> AccessMode -> ShowS # show :: AccessMode -> String # showList :: [AccessMode] -> ShowS #

type ConstExpression = Expression Source #

data Expression f Source #

Constructors

Relation RelOp (Expression f) (Expression f)
Positive (Expression f)
Negative (Expression f)
Add (Expression f) (Expression f)
Subtract (Expression f) (Expression f)
Or (Expression f) (Expression f)
Multiply (Expression f) (Expression f)
Divide (Expression f) (Expression f)
IntegerDivide (Expression f) (Expression f)
Modulo (Expression f) (Expression f)
And (Expression f) (Expression f)
Integer Text
Real Text
CharConstant Char
CharCode Int
String Text
Nil
Set [Element f]
Read (AmbDesignator f)
FunctionCall (AmbDesignator f) (ActualParameters f)
Not (Expression f)

Instances

Data (Expression Identity) Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Expression Identity -> c (Expression Identity) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Expression Identity) # toConstr :: Expression Identity -> Constr # dataTypeOf :: Expression Identity -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c (Expression Identity)) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Expression Identity)) # gmapT :: (forall b. Data b => b -> b) -> Expression Identity -> Expression Identity # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Expression Identity -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Expression Identity -> r # gmapQ :: (forall d. Data d => d -> u) -> Expression Identity -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Expression Identity -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Expression Identity -> m (Expression Identity) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Expression Identity -> m (Expression Identity) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Expression Identity -> m (Expression Identity) #
Data (Expression Ambiguous) Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Expression Ambiguous -> c (Expression Ambiguous) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Expression Ambiguous) # toConstr :: Expression Ambiguous -> Constr # dataTypeOf :: Expression Ambiguous -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c (Expression Ambiguous)) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Expression Ambiguous)) # gmapT :: (forall b. Data b => b -> b) -> Expression Ambiguous -> Expression Ambiguous # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Expression Ambiguous -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Expression Ambiguous -> r # gmapQ :: (forall d. Data d => d -> u) -> Expression Ambiguous -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Expression Ambiguous -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Expression Ambiguous -> m (Expression Ambiguous) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Expression Ambiguous -> m (Expression Ambiguous) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Expression Ambiguous -> m (Expression Ambiguous) #
Show (f (Designator f)) => Show (Expression f) Source #
Methods showsPrec :: Int -> Expression f -> ShowS # show :: Expression f -> String # showList :: [Expression f] -> ShowS #

data RelOp Source #

Constructors

Equal
Unequal
Less
LessOrEqual
Greater
GreaterOrEqual
In
Is

Instances

Data RelOp Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> RelOp -> c RelOp # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c RelOp # toConstr :: RelOp -> Constr # dataTypeOf :: RelOp -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c RelOp) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c RelOp) # gmapT :: (forall b. Data b => b -> b) -> RelOp -> RelOp # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> RelOp -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> RelOp -> r # gmapQ :: (forall d. Data d => d -> u) -> RelOp -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> RelOp -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> RelOp -> m RelOp # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> RelOp -> m RelOp # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> RelOp -> m RelOp #
Show RelOp Source #
Methods showsPrec :: Int -> RelOp -> ShowS # show :: RelOp -> String # showList :: [RelOp] -> ShowS #

data Element f Source #

Constructors

Element (Expression f)
Range (Expression f) (Expression f)

Instances

Data (Element Identity) Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Element Identity -> c (Element Identity) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Element Identity) # toConstr :: Element Identity -> Constr # dataTypeOf :: Element Identity -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c (Element Identity)) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Element Identity)) # gmapT :: (forall b. Data b => b -> b) -> Element Identity -> Element Identity # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Element Identity -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Element Identity -> r # gmapQ :: (forall d. Data d => d -> u) -> Element Identity -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Element Identity -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Element Identity -> m (Element Identity) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Element Identity -> m (Element Identity) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Element Identity -> m (Element Identity) #
Data (Element Ambiguous) Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Element Ambiguous -> c (Element Ambiguous) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Element Ambiguous) # toConstr :: Element Ambiguous -> Constr # dataTypeOf :: Element Ambiguous -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c (Element Ambiguous)) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Element Ambiguous)) # gmapT :: (forall b. Data b => b -> b) -> Element Ambiguous -> Element Ambiguous # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Element Ambiguous -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Element Ambiguous -> r # gmapQ :: (forall d. Data d => d -> u) -> Element Ambiguous -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Element Ambiguous -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Element Ambiguous -> m (Element Ambiguous) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Element Ambiguous -> m (Element Ambiguous) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Element Ambiguous -> m (Element Ambiguous) #
Show (f (Designator f)) => Show (Element f) Source #
Methods showsPrec :: Int -> Element f -> ShowS # show :: Element f -> String # showList :: [Element f] -> ShowS #

type AmbDesignator f = f (Designator f) Source #

data Designator f Source #

Constructors

Variable QualIdent
Field (Designator f) Ident
Index (Designator f) (NonEmpty (Expression f))
TypeGuard (Designator f) QualIdent
Dereference (Designator f)

Instances

Data (Designator Identity) Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Designator Identity -> c (Designator Identity) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Designator Identity) # toConstr :: Designator Identity -> Constr # dataTypeOf :: Designator Identity -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c (Designator Identity)) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Designator Identity)) # gmapT :: (forall b. Data b => b -> b) -> Designator Identity -> Designator Identity # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Designator Identity -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Designator Identity -> r # gmapQ :: (forall d. Data d => d -> u) -> Designator Identity -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Designator Identity -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Designator Identity -> m (Designator Identity) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Designator Identity -> m (Designator Identity) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Designator Identity -> m (Designator Identity) #
Data (Designator Ambiguous) Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Designator Ambiguous -> c (Designator Ambiguous) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Designator Ambiguous) # toConstr :: Designator Ambiguous -> Constr # dataTypeOf :: Designator Ambiguous -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c (Designator Ambiguous)) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Designator Ambiguous)) # gmapT :: (forall b. Data b => b -> b) -> Designator Ambiguous -> Designator Ambiguous # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Designator Ambiguous -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Designator Ambiguous -> r # gmapQ :: (forall d. Data d => d -> u) -> Designator Ambiguous -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Designator Ambiguous -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Designator Ambiguous -> m (Designator Ambiguous) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Designator Ambiguous -> m (Designator Ambiguous) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Designator Ambiguous -> m (Designator Ambiguous) #
Show (f (Designator f)) => Show (Designator f) Source #
Methods showsPrec :: Int -> Designator f -> ShowS # show :: Designator f -> String # showList :: [Designator f] -> ShowS #

type ActualParameters f = [Expression f] Source #

data Type f Source #

Constructors

TypeReference QualIdent
ArrayType [f (ConstExpression f)] (Type f)
RecordType (Maybe BaseType) (FieldListSequence f)
PointerType (Type f)
ProcedureType (Maybe (FormalParameters f))

Instances

Data (Type Identity) Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Type Identity -> c (Type Identity) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Type Identity) # toConstr :: Type Identity -> Constr # dataTypeOf :: Type Identity -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c (Type Identity)) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Type Identity)) # gmapT :: (forall b. Data b => b -> b) -> Type Identity -> Type Identity # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Type Identity -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Type Identity -> r # gmapQ :: (forall d. Data d => d -> u) -> Type Identity -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Type Identity -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Type Identity -> m (Type Identity) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Type Identity -> m (Type Identity) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Type Identity -> m (Type Identity) #
Data (Type Ambiguous) Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Type Ambiguous -> c (Type Ambiguous) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Type Ambiguous) # toConstr :: Type Ambiguous -> Constr # dataTypeOf :: Type Ambiguous -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c (Type Ambiguous)) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Type Ambiguous)) # gmapT :: (forall b. Data b => b -> b) -> Type Ambiguous -> Type Ambiguous # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Type Ambiguous -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Type Ambiguous -> r # gmapQ :: (forall d. Data d => d -> u) -> Type Ambiguous -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Type Ambiguous -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Type Ambiguous -> m (Type Ambiguous) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Type Ambiguous -> m (Type Ambiguous) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Type Ambiguous -> m (Type Ambiguous) #
(Show (f (Designator f)), Show (f (Expression f))) => Show (Type f) Source #
Methods showsPrec :: Int -> Type f -> ShowS # show :: Type f -> String # showList :: [Type f] -> ShowS #

data QualIdent Source #

Constructors

QualIdent Ident Ident
NonQualIdent Ident

Instances

Eq QualIdent Source #
Methods (==) :: QualIdent -> QualIdent -> Bool # (/=) :: QualIdent -> QualIdent -> Bool #
Data QualIdent Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> QualIdent -> c QualIdent # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c QualIdent # toConstr :: QualIdent -> Constr # dataTypeOf :: QualIdent -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c QualIdent) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c QualIdent) # gmapT :: (forall b. Data b => b -> b) -> QualIdent -> QualIdent # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> QualIdent -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> QualIdent -> r # gmapQ :: (forall d. Data d => d -> u) -> QualIdent -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> QualIdent -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> QualIdent -> m QualIdent # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> QualIdent -> m QualIdent # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> QualIdent -> m QualIdent #
Ord QualIdent Source #
Methods compare :: QualIdent -> QualIdent -> Ordering # (<) :: QualIdent -> QualIdent -> Bool # (<=) :: QualIdent -> QualIdent -> Bool # (>) :: QualIdent -> QualIdent -> Bool # (>=) :: QualIdent -> QualIdent -> Bool # max :: QualIdent -> QualIdent -> QualIdent # min :: QualIdent -> QualIdent -> QualIdent #
Show QualIdent Source #
Methods showsPrec :: Int -> QualIdent -> ShowS # show :: QualIdent -> String # showList :: [QualIdent] -> ShowS #

type BaseType = QualIdent Source #

type FieldListSequence f = NonEmpty (FieldList f) Source #

data FieldList f Source #

Constructors

FieldList IdentList (Type f)
EmptyFieldList

Instances

Data (FieldList Identity) Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FieldList Identity -> c (FieldList Identity) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (FieldList Identity) # toConstr :: FieldList Identity -> Constr # dataTypeOf :: FieldList Identity -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c (FieldList Identity)) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (FieldList Identity)) # gmapT :: (forall b. Data b => b -> b) -> FieldList Identity -> FieldList Identity # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FieldList Identity -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FieldList Identity -> r # gmapQ :: (forall d. Data d => d -> u) -> FieldList Identity -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> FieldList Identity -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> FieldList Identity -> m (FieldList Identity) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FieldList Identity -> m (FieldList Identity) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FieldList Identity -> m (FieldList Identity) #
Data (FieldList Ambiguous) Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FieldList Ambiguous -> c (FieldList Ambiguous) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (FieldList Ambiguous) # toConstr :: FieldList Ambiguous -> Constr # dataTypeOf :: FieldList Ambiguous -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c (FieldList Ambiguous)) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (FieldList Ambiguous)) # gmapT :: (forall b. Data b => b -> b) -> FieldList Ambiguous -> FieldList Ambiguous # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FieldList Ambiguous -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FieldList Ambiguous -> r # gmapQ :: (forall d. Data d => d -> u) -> FieldList Ambiguous -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> FieldList Ambiguous -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> FieldList Ambiguous -> m (FieldList Ambiguous) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FieldList Ambiguous -> m (FieldList Ambiguous) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FieldList Ambiguous -> m (FieldList Ambiguous) #
(Show (f (Designator f)), Show (f (Expression f))) => Show (FieldList f) Source #
Methods showsPrec :: Int -> FieldList f -> ShowS # show :: FieldList f -> String # showList :: [FieldList f] -> ShowS #

type IdentList = NonEmpty IdentDef Source #

data ProcedureHeading f Source #

Constructors

ProcedureHeading (Maybe (Bool, Ident, Ident)) Bool IdentDef (Maybe (FormalParameters f))

Instances

Data (ProcedureHeading Identity) Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ProcedureHeading Identity -> c (ProcedureHeading Identity) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (ProcedureHeading Identity) # toConstr :: ProcedureHeading Identity -> Constr # dataTypeOf :: ProcedureHeading Identity -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c (ProcedureHeading Identity)) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (ProcedureHeading Identity)) # gmapT :: (forall b. Data b => b -> b) -> ProcedureHeading Identity -> ProcedureHeading Identity # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ProcedureHeading Identity -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ProcedureHeading Identity -> r # gmapQ :: (forall d. Data d => d -> u) -> ProcedureHeading Identity -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ProcedureHeading Identity -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ProcedureHeading Identity -> m (ProcedureHeading Identity) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ProcedureHeading Identity -> m (ProcedureHeading Identity) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ProcedureHeading Identity -> m (ProcedureHeading Identity) #
Data (ProcedureHeading Ambiguous) Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ProcedureHeading Ambiguous -> c (ProcedureHeading Ambiguous) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (ProcedureHeading Ambiguous) # toConstr :: ProcedureHeading Ambiguous -> Constr # dataTypeOf :: ProcedureHeading Ambiguous -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c (ProcedureHeading Ambiguous)) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (ProcedureHeading Ambiguous)) # gmapT :: (forall b. Data b => b -> b) -> ProcedureHeading Ambiguous -> ProcedureHeading Ambiguous # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ProcedureHeading Ambiguous -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ProcedureHeading Ambiguous -> r # gmapQ :: (forall d. Data d => d -> u) -> ProcedureHeading Ambiguous -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ProcedureHeading Ambiguous -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ProcedureHeading Ambiguous -> m (ProcedureHeading Ambiguous) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ProcedureHeading Ambiguous -> m (ProcedureHeading Ambiguous) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ProcedureHeading Ambiguous -> m (ProcedureHeading Ambiguous) #
(Show (f (Designator f)), Show (f (Expression f))) => Show (ProcedureHeading f) Source #
Methods showsPrec :: Int -> ProcedureHeading f -> ShowS # show :: ProcedureHeading f -> String # showList :: [ProcedureHeading f] -> ShowS #

data FormalParameters f Source #

Constructors

FormalParameters [FPSection f] (Maybe QualIdent)

Instances

Data (FormalParameters Identity) Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FormalParameters Identity -> c (FormalParameters Identity) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (FormalParameters Identity) # toConstr :: FormalParameters Identity -> Constr # dataTypeOf :: FormalParameters Identity -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c (FormalParameters Identity)) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (FormalParameters Identity)) # gmapT :: (forall b. Data b => b -> b) -> FormalParameters Identity -> FormalParameters Identity # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FormalParameters Identity -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FormalParameters Identity -> r # gmapQ :: (forall d. Data d => d -> u) -> FormalParameters Identity -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> FormalParameters Identity -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> FormalParameters Identity -> m (FormalParameters Identity) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FormalParameters Identity -> m (FormalParameters Identity) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FormalParameters Identity -> m (FormalParameters Identity) #
Data (FormalParameters Ambiguous) Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FormalParameters Ambiguous -> c (FormalParameters Ambiguous) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (FormalParameters Ambiguous) # toConstr :: FormalParameters Ambiguous -> Constr # dataTypeOf :: FormalParameters Ambiguous -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c (FormalParameters Ambiguous)) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (FormalParameters Ambiguous)) # gmapT :: (forall b. Data b => b -> b) -> FormalParameters Ambiguous -> FormalParameters Ambiguous # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FormalParameters Ambiguous -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FormalParameters Ambiguous -> r # gmapQ :: (forall d. Data d => d -> u) -> FormalParameters Ambiguous -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> FormalParameters Ambiguous -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> FormalParameters Ambiguous -> m (FormalParameters Ambiguous) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FormalParameters Ambiguous -> m (FormalParameters Ambiguous) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FormalParameters Ambiguous -> m (FormalParameters Ambiguous) #
(Show (f (Designator f)), Show (f (Expression f))) => Show (FormalParameters f) Source #
Methods showsPrec :: Int -> FormalParameters f -> ShowS # show :: FormalParameters f -> String # showList :: [FormalParameters f] -> ShowS #

data FPSection f Source #

Constructors

FPSection Bool (NonEmpty Ident) (Type f)

Instances

Data (FPSection Identity) Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FPSection Identity -> c (FPSection Identity) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (FPSection Identity) # toConstr :: FPSection Identity -> Constr # dataTypeOf :: FPSection Identity -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c (FPSection Identity)) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (FPSection Identity)) # gmapT :: (forall b. Data b => b -> b) -> FPSection Identity -> FPSection Identity # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FPSection Identity -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FPSection Identity -> r # gmapQ :: (forall d. Data d => d -> u) -> FPSection Identity -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> FPSection Identity -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> FPSection Identity -> m (FPSection Identity) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FPSection Identity -> m (FPSection Identity) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FPSection Identity -> m (FPSection Identity) #
Data (FPSection Ambiguous) Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FPSection Ambiguous -> c (FPSection Ambiguous) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (FPSection Ambiguous) # toConstr :: FPSection Ambiguous -> Constr # dataTypeOf :: FPSection Ambiguous -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c (FPSection Ambiguous)) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (FPSection Ambiguous)) # gmapT :: (forall b. Data b => b -> b) -> FPSection Ambiguous -> FPSection Ambiguous # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FPSection Ambiguous -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FPSection Ambiguous -> r # gmapQ :: (forall d. Data d => d -> u) -> FPSection Ambiguous -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> FPSection Ambiguous -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> FPSection Ambiguous -> m (FPSection Ambiguous) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FPSection Ambiguous -> m (FPSection Ambiguous) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FPSection Ambiguous -> m (FPSection Ambiguous) #
(Show (f (Designator f)), Show (f (Expression f))) => Show (FPSection f) Source #
Methods showsPrec :: Int -> FPSection f -> ShowS # show :: FPSection f -> String # showList :: [FPSection f] -> ShowS #

data ProcedureBody f Source #

Constructors

ProcedureBody [Declaration f] (Maybe (StatementSequence f))

Instances

Data (ProcedureBody Identity) Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ProcedureBody Identity -> c (ProcedureBody Identity) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (ProcedureBody Identity) # toConstr :: ProcedureBody Identity -> Constr # dataTypeOf :: ProcedureBody Identity -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c (ProcedureBody Identity)) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (ProcedureBody Identity)) # gmapT :: (forall b. Data b => b -> b) -> ProcedureBody Identity -> ProcedureBody Identity # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ProcedureBody Identity -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ProcedureBody Identity -> r # gmapQ :: (forall d. Data d => d -> u) -> ProcedureBody Identity -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ProcedureBody Identity -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ProcedureBody Identity -> m (ProcedureBody Identity) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ProcedureBody Identity -> m (ProcedureBody Identity) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ProcedureBody Identity -> m (ProcedureBody Identity) #
Data (ProcedureBody Ambiguous) Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ProcedureBody Ambiguous -> c (ProcedureBody Ambiguous) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (ProcedureBody Ambiguous) # toConstr :: ProcedureBody Ambiguous -> Constr # dataTypeOf :: ProcedureBody Ambiguous -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c (ProcedureBody Ambiguous)) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (ProcedureBody Ambiguous)) # gmapT :: (forall b. Data b => b -> b) -> ProcedureBody Ambiguous -> ProcedureBody Ambiguous # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ProcedureBody Ambiguous -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ProcedureBody Ambiguous -> r # gmapQ :: (forall d. Data d => d -> u) -> ProcedureBody Ambiguous -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ProcedureBody Ambiguous -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ProcedureBody Ambiguous -> m (ProcedureBody Ambiguous) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ProcedureBody Ambiguous -> m (ProcedureBody Ambiguous) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ProcedureBody Ambiguous -> m (ProcedureBody Ambiguous) #
(Show (f (Designator f)), Show (f (Expression f)), Show (f (Statement f))) => Show (ProcedureBody f) Source #
Methods showsPrec :: Int -> ProcedureBody f -> ShowS # show :: ProcedureBody f -> String # showList :: [ProcedureBody f] -> ShowS #

type StatementSequence f = NonEmpty (f (Statement f)) Source #

data Statement f Source #

Constructors

EmptyStatement
Assignment (AmbDesignator f) (Expression f)
ProcedureCall (AmbDesignator f) (Maybe (ActualParameters f))
If (NonEmpty (Expression f, StatementSequence f)) (Maybe (StatementSequence f))
CaseStatement (Expression f) (NonEmpty (Case f)) (Maybe (StatementSequence f))
While (Expression f) (StatementSequence f)
Repeat (StatementSequence f) (Expression f)
For Ident (Expression f) (Expression f) (Maybe (Expression f)) (StatementSequence f)
Loop (StatementSequence f)
With (NonEmpty (WithAlternative f)) (Maybe (StatementSequence f))
Exit
Return (Maybe (Expression f))

Instances

Data (Statement Identity) Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Statement Identity -> c (Statement Identity) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Statement Identity) # toConstr :: Statement Identity -> Constr # dataTypeOf :: Statement Identity -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c (Statement Identity)) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Statement Identity)) # gmapT :: (forall b. Data b => b -> b) -> Statement Identity -> Statement Identity # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Statement Identity -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Statement Identity -> r # gmapQ :: (forall d. Data d => d -> u) -> Statement Identity -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Statement Identity -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Statement Identity -> m (Statement Identity) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Statement Identity -> m (Statement Identity) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Statement Identity -> m (Statement Identity) #
Data (Statement Ambiguous) Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Statement Ambiguous -> c (Statement Ambiguous) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Statement Ambiguous) # toConstr :: Statement Ambiguous -> Constr # dataTypeOf :: Statement Ambiguous -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c (Statement Ambiguous)) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Statement Ambiguous)) # gmapT :: (forall b. Data b => b -> b) -> Statement Ambiguous -> Statement Ambiguous # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Statement Ambiguous -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Statement Ambiguous -> r # gmapQ :: (forall d. Data d => d -> u) -> Statement Ambiguous -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Statement Ambiguous -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Statement Ambiguous -> m (Statement Ambiguous) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Statement Ambiguous -> m (Statement Ambiguous) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Statement Ambiguous -> m (Statement Ambiguous) #
(Show (f (Designator f)), Show (f (Statement f))) => Show (Statement f) Source #
Methods showsPrec :: Int -> Statement f -> ShowS # show :: Statement f -> String # showList :: [Statement f] -> ShowS #

data WithAlternative f Source #

Constructors

WithAlternative QualIdent QualIdent (StatementSequence f)

Instances

Data (WithAlternative Identity) Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> WithAlternative Identity -> c (WithAlternative Identity) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (WithAlternative Identity) # toConstr :: WithAlternative Identity -> Constr # dataTypeOf :: WithAlternative Identity -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c (WithAlternative Identity)) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (WithAlternative Identity)) # gmapT :: (forall b. Data b => b -> b) -> WithAlternative Identity -> WithAlternative Identity # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> WithAlternative Identity -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> WithAlternative Identity -> r # gmapQ :: (forall d. Data d => d -> u) -> WithAlternative Identity -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> WithAlternative Identity -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> WithAlternative Identity -> m (WithAlternative Identity) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> WithAlternative Identity -> m (WithAlternative Identity) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> WithAlternative Identity -> m (WithAlternative Identity) #
Data (WithAlternative Ambiguous) Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> WithAlternative Ambiguous -> c (WithAlternative Ambiguous) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (WithAlternative Ambiguous) # toConstr :: WithAlternative Ambiguous -> Constr # dataTypeOf :: WithAlternative Ambiguous -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c (WithAlternative Ambiguous)) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (WithAlternative Ambiguous)) # gmapT :: (forall b. Data b => b -> b) -> WithAlternative Ambiguous -> WithAlternative Ambiguous # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> WithAlternative Ambiguous -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> WithAlternative Ambiguous -> r # gmapQ :: (forall d. Data d => d -> u) -> WithAlternative Ambiguous -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> WithAlternative Ambiguous -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> WithAlternative Ambiguous -> m (WithAlternative Ambiguous) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> WithAlternative Ambiguous -> m (WithAlternative Ambiguous) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> WithAlternative Ambiguous -> m (WithAlternative Ambiguous) #
(Show (f (Designator f)), Show (f (Statement f))) => Show (WithAlternative f) Source #
Methods showsPrec :: Int -> WithAlternative f -> ShowS # show :: WithAlternative f -> String # showList :: [WithAlternative f] -> ShowS #

data Case f Source #

Constructors

Case (NonEmpty (CaseLabels f)) (StatementSequence f)
EmptyCase

Instances

Data (Case Identity) Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Case Identity -> c (Case Identity) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Case Identity) # toConstr :: Case Identity -> Constr # dataTypeOf :: Case Identity -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c (Case Identity)) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Case Identity)) # gmapT :: (forall b. Data b => b -> b) -> Case Identity -> Case Identity # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Case Identity -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Case Identity -> r # gmapQ :: (forall d. Data d => d -> u) -> Case Identity -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Case Identity -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Case Identity -> m (Case Identity) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Case Identity -> m (Case Identity) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Case Identity -> m (Case Identity) #
Data (Case Ambiguous) Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Case Ambiguous -> c (Case Ambiguous) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Case Ambiguous) # toConstr :: Case Ambiguous -> Constr # dataTypeOf :: Case Ambiguous -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c (Case Ambiguous)) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Case Ambiguous)) # gmapT :: (forall b. Data b => b -> b) -> Case Ambiguous -> Case Ambiguous # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Case Ambiguous -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Case Ambiguous -> r # gmapQ :: (forall d. Data d => d -> u) -> Case Ambiguous -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Case Ambiguous -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Case Ambiguous -> m (Case Ambiguous) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Case Ambiguous -> m (Case Ambiguous) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Case Ambiguous -> m (Case Ambiguous) #
(Show (f (Designator f)), Show (f (Statement f))) => Show (Case f) Source #
Methods showsPrec :: Int -> Case f -> ShowS # show :: Case f -> String # showList :: [Case f] -> ShowS #

data CaseLabels f Source #

Constructors

SingleLabel (ConstExpression f)
LabelRange (ConstExpression f) (ConstExpression f)

Instances

Data (CaseLabels Identity) Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CaseLabels Identity -> c (CaseLabels Identity) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (CaseLabels Identity) # toConstr :: CaseLabels Identity -> Constr # dataTypeOf :: CaseLabels Identity -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c (CaseLabels Identity)) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (CaseLabels Identity)) # gmapT :: (forall b. Data b => b -> b) -> CaseLabels Identity -> CaseLabels Identity # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CaseLabels Identity -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CaseLabels Identity -> r # gmapQ :: (forall d. Data d => d -> u) -> CaseLabels Identity -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> CaseLabels Identity -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> CaseLabels Identity -> m (CaseLabels Identity) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CaseLabels Identity -> m (CaseLabels Identity) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CaseLabels Identity -> m (CaseLabels Identity) #
Data (CaseLabels Ambiguous) Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CaseLabels Ambiguous -> c (CaseLabels Ambiguous) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (CaseLabels Ambiguous) # toConstr :: CaseLabels Ambiguous -> Constr # dataTypeOf :: CaseLabels Ambiguous -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c (CaseLabels Ambiguous)) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (CaseLabels Ambiguous)) # gmapT :: (forall b. Data b => b -> b) -> CaseLabels Ambiguous -> CaseLabels Ambiguous # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CaseLabels Ambiguous -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CaseLabels Ambiguous -> r # gmapQ :: (forall d. Data d => d -> u) -> CaseLabels Ambiguous -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> CaseLabels Ambiguous -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> CaseLabels Ambiguous -> m (CaseLabels Ambiguous) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CaseLabels Ambiguous -> m (CaseLabels Ambiguous) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CaseLabels Ambiguous -> m (CaseLabels Ambiguous) #
Show (f (Designator f)) => Show (CaseLabels f) Source #
Methods showsPrec :: Int -> CaseLabels f -> ShowS # show :: CaseLabels f -> String # showList :: [CaseLabels f] -> ShowS #