Language.Modula2.ISO.Abstract

ISO Modula-2 Finally Tagless Abstract Syntax Tree definitions

Documentation

class Modula2 l => Modula2 l where

The additional finally-tagless associated types and methods relevant to the ISO Modula-2 language.

Associated Types

type AddressedIdent l = (d :: * -> (* -> *) -> (* -> *) -> *) | d -> l

type Item l = (i :: * -> (* -> *) -> (* -> *) -> *) | i -> l

Methods

emptyVariant :: Variant l l' f' f

addressedVariableDeclaration :: NonEmpty (f (AddressedIdent l' l' f' f')) -> f (Type l' l' f' f') -> Declaration l l' f' f

forwardProcedureDeclaration :: f (ProcedureHeading l' l' f' f') -> Declaration l l' f' f

exceptionHandlingBlock :: [f (Declaration l' l' f' f')] -> Maybe (f (StatementSequence l' l' f' f')) -> Maybe (f (StatementSequence l' l' f' f')) -> Maybe (f (StatementSequence l' l' f' f')) -> Block l l' f' f

addressedIdent :: Ident -> f (ConstExpression l' l' f' f') -> AddressedIdent l l' f' f

unaddressedIdent :: Ident -> AddressedIdent l l' f' f

packedSetType :: f (Type l' l' f' f') -> Type l l' f' f

retryStatement :: Statement l l' f' f

array :: Maybe (QualIdent l') -> [f (Item l' l' f' f')] -> Expression l l' f' f

record :: Maybe (QualIdent l') -> [f (Expression l' l' f' f')] -> Expression l l' f' f

remainder :: f (Expression l' l' f' f') -> f (Expression l' l' f' f') -> Expression l l' f' f

single :: f (Expression l' l' f' f') -> Item l l' f' f

repeated :: f (Expression l' l' f' f') -> f (ConstExpression l' l' f' f') -> Item l l' f' f

Instances

Modula2 Language

Defined in Language.Modula2.ISO.AST

Associated Types

type AddressedIdent Language = (d :: Type -> (Type -> Type) -> (Type -> Type) -> Type)

type Item Language = (i :: Type -> (Type -> Type) -> (Type -> Type) -> Type)

Methods

emptyVariant :: forall l' (f' :: Type -> Type) (f :: Type -> Type). Variant Language l' f' f

addressedVariableDeclaration :: forall f l' (f' :: Type -> Type). NonEmpty (f (AddressedIdent l' l' f' f')) -> f (Type l' l' f' f') -> Declaration Language l' f' f

forwardProcedureDeclaration :: forall f l' (f' :: Type -> Type). f (ProcedureHeading l' l' f' f') -> Declaration Language l' f' f

exceptionHandlingBlock :: forall f l' (f' :: Type -> Type). [f (Declaration l' l' f' f')] -> Maybe (f (StatementSequence l' l' f' f')) -> Maybe (f (StatementSequence l' l' f' f')) -> Maybe (f (StatementSequence l' l' f' f')) -> Block Language l' f' f

addressedIdent :: forall f l' (f' :: Type -> Type). Ident -> f (ConstExpression l' l' f' f') -> AddressedIdent Language l' f' f

unaddressedIdent :: forall l' (f' :: Type -> Type) (f :: Type -> Type). Ident -> AddressedIdent Language l' f' f

packedSetType :: forall f l' (f' :: Type -> Type). f (Type l' l' f' f') -> Type Language l' f' f

retryStatement :: forall l' (f' :: Type -> Type) (f :: Type -> Type). Statement Language l' f' f

array :: forall l' f (f' :: Type -> Type). Maybe (QualIdent l') -> [f (Item l' l' f' f')] -> Expression Language l' f' f

record :: forall l' f (f' :: Type -> Type). Maybe (QualIdent l') -> [f (Expression l' l' f' f')] -> Expression Language l' f' f

remainder :: forall f l' (f' :: Type -> Type). f (Expression l' l' f' f') -> f (Expression l' l' f' f') -> Expression Language l' f' f

single :: forall f l' (f' :: Type -> Type). f (Expression l' l' f' f') -> Item Language l' f' f

repeated :: forall f l' (f' :: Type -> Type). f (Expression l' l' f' f') -> f (ConstExpression l' l' f' f') -> Item Language l' f' f

Wirthy l => Modula2 (WirthySubsetOf l)

Defined in Language.Modula2.ISO.Abstract

Associated Types

type AddressedIdent (WirthySubsetOf l) = (d :: Type -> (Type -> Type) -> (Type -> Type) -> Type)

type Item (WirthySubsetOf l) = (i :: Type -> (Type -> Type) -> (Type -> Type) -> Type)

Methods

emptyVariant :: forall l' (f' :: Type -> Type) (f :: Type -> Type). Variant (WirthySubsetOf l) l' f' f

addressedVariableDeclaration :: forall f l' (f' :: Type -> Type). NonEmpty (f (AddressedIdent l' l' f' f')) -> f (Type l' l' f' f') -> Declaration (WirthySubsetOf l) l' f' f

forwardProcedureDeclaration :: forall f l' (f' :: Type -> Type). f (ProcedureHeading l' l' f' f') -> Declaration (WirthySubsetOf l) l' f' f

exceptionHandlingBlock :: forall f l' (f' :: Type -> Type). [f (Declaration l' l' f' f')] -> Maybe (f (StatementSequence l' l' f' f')) -> Maybe (f (StatementSequence l' l' f' f')) -> Maybe (f (StatementSequence l' l' f' f')) -> Block (WirthySubsetOf l) l' f' f

addressedIdent :: forall f l' (f' :: Type -> Type). Ident -> f (ConstExpression l' l' f' f') -> AddressedIdent (WirthySubsetOf l) l' f' f

unaddressedIdent :: forall l' (f' :: Type -> Type) (f :: Type -> Type). Ident -> AddressedIdent (WirthySubsetOf l) l' f' f

packedSetType :: forall f l' (f' :: Type -> Type). f (Type l' l' f' f') -> Type (WirthySubsetOf l) l' f' f

retryStatement :: forall l' (f' :: Type -> Type) (f :: Type -> Type). Statement (WirthySubsetOf l) l' f' f

array :: forall l' f (f' :: Type -> Type). Maybe (QualIdent l') -> [f (Item l' l' f' f')] -> Expression (WirthySubsetOf l) l' f' f

record :: forall l' f (f' :: Type -> Type). Maybe (QualIdent l') -> [f (Expression l' l' f' f')] -> Expression (WirthySubsetOf l) l' f' f

remainder :: forall f l' (f' :: Type -> Type). f (Expression l' l' f' f') -> f (Expression l' l' f' f') -> Expression (WirthySubsetOf l) l' f' f

single :: forall f l' (f' :: Type -> Type). f (Expression l' l' f' f') -> Item (WirthySubsetOf l) l' f' f

repeated :: forall f l' (f' :: Type -> Type). f (Expression l' l' f' f') -> f (ConstExpression l' l' f' f') -> Item (WirthySubsetOf l) l' f' f