{-# LANGUAGE DeriveDataTypeable, KindSignatures, PolyKinds, RankNTypes, ScopedTypeVariables,
TypeApplications, TypeFamilies, TypeFamilyDependencies, UndecidableInstances #-}
{-# OPTIONS_GHC -Wno-simplifiable-class-constraints #-}
module Language.Oberon.Abstract (
Wirthy(..), CoWirthy(..), Oberon(..), Oberon2(..), Nameable(..),
Ident, IdentList, BaseType, ReturnType, ConstExpression,
RelOp(..), WirthySubsetOf(..), Maybe3(..),
just3, nothing3, maybe3,
) where
import Data.Data (Data)
import Data.Kind (Constraint)
import Data.List.NonEmpty
import Data.Text (Text)
import Prelude hiding (and, not, or, read, subtract)
type Ident = Text
data RelOp = Equal | Unequal | Less | LessOrEqual | Greater | GreaterOrEqual | In
deriving (Typeable RelOp
DataType
Constr
Typeable RelOp
-> (forall (c :: * -> *).
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> RelOp -> c RelOp)
-> (forall (c :: * -> *).
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c RelOp)
-> (RelOp -> Constr)
-> (RelOp -> DataType)
-> (forall (t :: * -> *) (c :: * -> *).
Typeable t =>
(forall d. Data d => c (t d)) -> Maybe (c RelOp))
-> (forall (t :: * -> * -> *) (c :: * -> *).
Typeable t =>
(forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c RelOp))
-> ((forall b. Data b => b -> b) -> RelOp -> RelOp)
-> (forall r r'.
(r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> RelOp -> r)
-> (forall r r'.
(r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> RelOp -> r)
-> (forall u. (forall d. Data d => d -> u) -> RelOp -> [u])
-> (forall u. Int -> (forall d. Data d => d -> u) -> RelOp -> u)
-> (forall (m :: * -> *).
Monad m =>
(forall d. Data d => d -> m d) -> RelOp -> m RelOp)
-> (forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> RelOp -> m RelOp)
-> (forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> RelOp -> m RelOp)
-> Data RelOp
RelOp -> DataType
RelOp -> Constr
(forall b. Data b => b -> b) -> RelOp -> RelOp
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> RelOp -> c RelOp
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c RelOp
forall a.
Typeable a
-> (forall (c :: * -> *).
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> a -> c a)
-> (forall (c :: * -> *).
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c a)
-> (a -> Constr)
-> (a -> DataType)
-> (forall (t :: * -> *) (c :: * -> *).
Typeable t =>
(forall d. Data d => c (t d)) -> Maybe (c a))
-> (forall (t :: * -> * -> *) (c :: * -> *).
Typeable t =>
(forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c a))
-> ((forall b. Data b => b -> b) -> a -> a)
-> (forall r r'.
(r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> a -> r)
-> (forall r r'.
(r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> a -> r)
-> (forall u. (forall d. Data d => d -> u) -> a -> [u])
-> (forall u. Int -> (forall d. Data d => d -> u) -> a -> u)
-> (forall (m :: * -> *).
Monad m =>
(forall d. Data d => d -> m d) -> a -> m a)
-> (forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> a -> m a)
-> (forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> a -> m a)
-> Data a
forall u. Int -> (forall d. Data d => d -> u) -> RelOp -> u
forall u. (forall d. Data d => d -> u) -> RelOp -> [u]
forall r r'.
(r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> RelOp -> r
forall r r'.
(r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> RelOp -> r
forall (m :: * -> *).
Monad m =>
(forall d. Data d => d -> m d) -> RelOp -> m RelOp
forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> RelOp -> m RelOp
forall (c :: * -> *).
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c RelOp
forall (c :: * -> *).
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> RelOp -> c RelOp
forall (t :: * -> *) (c :: * -> *).
Typeable t =>
(forall d. Data d => c (t d)) -> Maybe (c RelOp)
forall (t :: * -> * -> *) (c :: * -> *).
Typeable t =>
(forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c RelOp)
$cIn :: Constr
$cGreaterOrEqual :: Constr
$cGreater :: Constr
$cLessOrEqual :: Constr
$cLess :: Constr
$cUnequal :: Constr
$cEqual :: Constr
$tRelOp :: DataType
gmapMo :: (forall d. Data d => d -> m d) -> RelOp -> m RelOp
$cgmapMo :: forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> RelOp -> m RelOp
gmapMp :: (forall d. Data d => d -> m d) -> RelOp -> m RelOp
$cgmapMp :: forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> RelOp -> m RelOp
gmapM :: (forall d. Data d => d -> m d) -> RelOp -> m RelOp
$cgmapM :: forall (m :: * -> *).
Monad m =>
(forall d. Data d => d -> m d) -> RelOp -> m RelOp
gmapQi :: Int -> (forall d. Data d => d -> u) -> RelOp -> u
$cgmapQi :: forall u. Int -> (forall d. Data d => d -> u) -> RelOp -> u
gmapQ :: (forall d. Data d => d -> u) -> RelOp -> [u]
$cgmapQ :: forall u. (forall d. Data d => d -> u) -> RelOp -> [u]
gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> RelOp -> r
$cgmapQr :: forall r r'.
(r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> RelOp -> r
gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> RelOp -> r
$cgmapQl :: forall r r'.
(r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> RelOp -> r
gmapT :: (forall b. Data b => b -> b) -> RelOp -> RelOp
$cgmapT :: (forall b. Data b => b -> b) -> RelOp -> RelOp
dataCast2 :: (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c RelOp)
$cdataCast2 :: forall (t :: * -> * -> *) (c :: * -> *).
Typeable t =>
(forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c RelOp)
dataCast1 :: (forall d. Data d => c (t d)) -> Maybe (c RelOp)
$cdataCast1 :: forall (t :: * -> *) (c :: * -> *).
Typeable t =>
(forall d. Data d => c (t d)) -> Maybe (c RelOp)
dataTypeOf :: RelOp -> DataType
$cdataTypeOf :: RelOp -> DataType
toConstr :: RelOp -> Constr
$ctoConstr :: RelOp -> Constr
gunfold :: (forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c RelOp
$cgunfold :: forall (c :: * -> *).
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c RelOp
gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> RelOp -> c RelOp
$cgfoldl :: forall (c :: * -> *).
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> RelOp -> c RelOp
$cp1Data :: Typeable RelOp
Data, RelOp -> RelOp -> Bool
(RelOp -> RelOp -> Bool) -> (RelOp -> RelOp -> Bool) -> Eq RelOp
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: RelOp -> RelOp -> Bool
$c/= :: RelOp -> RelOp -> Bool
== :: RelOp -> RelOp -> Bool
$c== :: RelOp -> RelOp -> Bool
Eq, Int -> RelOp -> ShowS
[RelOp] -> ShowS
RelOp -> String
(Int -> RelOp -> ShowS)
-> (RelOp -> String) -> ([RelOp] -> ShowS) -> Show RelOp
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [RelOp] -> ShowS
$cshowList :: [RelOp] -> ShowS
show :: RelOp -> String
$cshow :: RelOp -> String
showsPrec :: Int -> RelOp -> ShowS
$cshowsPrec :: Int -> RelOp -> ShowS
Show)
class Wirthy l where
type Module l = (m :: * -> (* -> *) -> (* -> *) -> *) | m -> l
type Declaration l = (d :: * -> (* -> *) -> (* -> *) -> *) | d -> l
type Type l = (t :: * -> (* -> *) -> (* -> *) -> *) | t -> l
type Statement l = (s :: * -> (* -> *) -> (* -> *) -> *) | s -> l
type Expression l = (e :: * -> (* -> *) -> (* -> *) -> *) | e -> l
type Designator l = (d :: * -> (* -> *) -> (* -> *) -> *) | d -> l
type Value l = (v :: * -> (* -> *) -> (* -> *) -> *) | v -> l
type FieldList l = (x :: * -> (* -> *) -> (* -> *) -> *) | x -> l
type ProcedureHeading l = (x :: * -> (* -> *) -> (* -> *) -> *) | x -> l
type FormalParameters l = (x :: * -> (* -> *) -> (* -> *) -> *) | x -> l
type FPSection l = (x :: * -> (* -> *) -> (* -> *) -> *) | x -> l
type Block l = (x :: * -> (* -> *) -> (* -> *) -> *) | x -> l
type StatementSequence l = (x :: * -> (* -> *) -> (* -> *) -> *) | x -> l
type Case l = (x :: * -> (* -> *) -> (* -> *) -> *) | x -> l
type CaseLabels l = (x :: * -> (* -> *) -> (* -> *) -> *) | x -> l
type ConditionalBranch l = (x :: * -> (* -> *) -> (* -> *) -> *) | x -> l
type Element l = (x :: * -> (* -> *) -> (* -> *) -> *) | x -> l
type Import l = x | x -> l
type IdentDef l = x | x -> l
type QualIdent l = x | x -> l
constantDeclaration :: IdentDef l' -> f (ConstExpression l' l' f' f') -> Declaration l l' f' f
typeDeclaration :: IdentDef l' -> f (Type l' l' f' f') -> Declaration l l' f' f
variableDeclaration :: IdentList l' -> f (Type l' l' f' f') -> Declaration l l' f' f
procedureDeclaration :: f (ProcedureHeading l' l' f' f') -> f (Block l' l' f' f') -> Declaration l l' f' f
formalParameters :: [f (FPSection l' l' f' f')] -> Maybe (ReturnType l') -> FormalParameters l l' f' f
fpSection :: Bool -> [Ident] -> f (Type l' l' f' f') -> FPSection l l' f' f
block :: [f (Declaration l' l' f' f')] -> Maybe (f (StatementSequence l' l' f' f')) -> Block l l' f' f
fieldList :: NonEmpty (IdentDef l') -> f (Type l' l' f' f') -> FieldList l l' f' f
pointerType :: f (Type l' l' f' f') -> Type l l' f' f
procedureType :: Maybe (f (FormalParameters l' l' f' f')) -> Type l l' f' f
typeReference :: QualIdent l' -> Type l l' f' f
assignment :: f (Designator l' l' f' f') -> f (Expression l' l' f' f') -> Statement l l' f' f
caseStatement :: f (Expression l' l' f' f') -> [f (Case l' l' f' f')] -> Maybe (f (StatementSequence l' l' f' f'))
-> Statement l l' f' f
emptyStatement :: Statement l l' f' f
exitStatement :: Statement l l' f' f
ifStatement :: NonEmpty (f (ConditionalBranch l' l' f' f'))
-> Maybe (f (StatementSequence l' l' f' f'))
-> Statement l l' f' f
loopStatement :: f (StatementSequence l' l' f' f') -> Statement l l' f' f
procedureCall :: f (Designator l' l' f' f') -> Maybe [f (Expression l' l' f' f')] -> Statement l l' f' f
repeatStatement :: f (StatementSequence l' l' f' f') -> f (Expression l' l' f' f') -> Statement l l' f' f
returnStatement :: Maybe (f (Expression l' l' f' f')) -> Statement l l' f' f
whileStatement :: f (Expression l' l' f' f') -> f (StatementSequence l' l' f' f') -> Statement l l' f' f
conditionalBranch :: f (Expression l' l' f' f') -> f (StatementSequence l' l' f' f') -> ConditionalBranch l l' f' f
caseAlternative :: NonEmpty (f (CaseLabels l' l' f' f')) -> f (StatementSequence l' l' f' f') -> Case l l' f' f
singleLabel :: f (ConstExpression l' l' f' f') -> CaseLabels l l' f' f
labelRange :: f (ConstExpression l' l' f' f') -> f (ConstExpression l' l' f' f') -> CaseLabels l l' f' f
statementSequence :: [f (Statement l' l' f' f')] -> StatementSequence l l' f' f
add, subtract :: f (Expression l' l' f' f') -> f (Expression l' l' f' f') -> Expression l l' f' f
and, or :: f (Expression l' l' f' f') -> f (Expression l' l' f' f') -> Expression l l' f' f
divide, integerDivide, modulo, multiply :: f (Expression l' l' f' f') -> f (Expression l' l' f' f') -> Expression l l' f' f
functionCall :: f (Designator l' l' f' f') -> [f (Expression l' l' f' f')] -> Expression l l' f' f
literal :: f (Value l' l' f' f') -> Expression l l' f' f
negative, positive :: f (Expression l' l' f' f') -> Expression l l' f' f
not :: f (Expression l' l' f' f') -> Expression l l' f' f
read :: f (Designator l' l' f' f') -> Expression l l' f' f
relation :: RelOp -> f (Expression l' l' f' f') -> f (Expression l' l' f' f') -> Expression l l' f' f
element :: f (Expression l' l' f' f') -> Element l l' f' f
range :: f (Expression l' l' f' f') -> f (Expression l' l' f' f') -> Element l l' f' f
integer :: Integer -> Value l l' f' f
nil, false, true :: Value l l' f' f
real :: Double -> Value l l' f' f
string :: Text -> Value l l' f' f
charCode :: Int -> Value l l' f' f
builtin :: Text -> Value l l' f' f
variable :: QualIdent l' -> Designator l l' f' f
field :: f (Designator l' l' f' f') -> Ident -> Designator l l' f' f
index :: f (Designator l' l' f' f') -> NonEmpty (f (Expression l' l' f' f')) -> Designator l l' f' f
dereference :: f (Designator l' l' f' f') -> Designator l l' f' f
identDef :: Ident -> IdentDef l
nonQualIdent :: Ident -> QualIdent l
class Wirthy l => CoWirthy l where
type TargetClass l :: * -> Constraint
type TargetClass l = Wirthy
coDeclaration :: TargetClass l l' => Declaration l l'' f' f -> Declaration l' l'' f' f
coType :: TargetClass l l' => Type l l'' f' f -> Type l' l'' f' f
coStatement :: TargetClass l l' => Statement l l'' f' f -> Statement l' l'' f' f
coExpression :: TargetClass l l' => Expression l l'' f' f -> Expression l' l'' f' f
coDesignator :: TargetClass l l' => Designator l l'' f' f -> Designator l' l'' f' f
coValue :: TargetClass l l' => Value l l'' f' f -> Value l' l'' f' f
data WirthySubsetOf l = WirthySubsetOf l
newtype Maybe3 f a b c = Maybe3 (Maybe (f a b c)) deriving (Maybe3 f a b c -> Maybe3 f a b c -> Bool
(Maybe3 f a b c -> Maybe3 f a b c -> Bool)
-> (Maybe3 f a b c -> Maybe3 f a b c -> Bool)
-> Eq (Maybe3 f a b c)
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
forall k k k (f :: k -> k -> k -> *) (a :: k) (b :: k) (c :: k).
Eq (f a b c) =>
Maybe3 f a b c -> Maybe3 f a b c -> Bool
/= :: Maybe3 f a b c -> Maybe3 f a b c -> Bool
$c/= :: forall k k k (f :: k -> k -> k -> *) (a :: k) (b :: k) (c :: k).
Eq (f a b c) =>
Maybe3 f a b c -> Maybe3 f a b c -> Bool
== :: Maybe3 f a b c -> Maybe3 f a b c -> Bool
$c== :: forall k k k (f :: k -> k -> k -> *) (a :: k) (b :: k) (c :: k).
Eq (f a b c) =>
Maybe3 f a b c -> Maybe3 f a b c -> Bool
Eq, Eq (Maybe3 f a b c)
Eq (Maybe3 f a b c)
-> (Maybe3 f a b c -> Maybe3 f a b c -> Ordering)
-> (Maybe3 f a b c -> Maybe3 f a b c -> Bool)
-> (Maybe3 f a b c -> Maybe3 f a b c -> Bool)
-> (Maybe3 f a b c -> Maybe3 f a b c -> Bool)
-> (Maybe3 f a b c -> Maybe3 f a b c -> Bool)
-> (Maybe3 f a b c -> Maybe3 f a b c -> Maybe3 f a b c)
-> (Maybe3 f a b c -> Maybe3 f a b c -> Maybe3 f a b c)
-> Ord (Maybe3 f a b c)
Maybe3 f a b c -> Maybe3 f a b c -> Bool
Maybe3 f a b c -> Maybe3 f a b c -> Ordering
Maybe3 f a b c -> Maybe3 f a b c -> Maybe3 f a b c
forall a.
Eq a
-> (a -> a -> Ordering)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> a)
-> (a -> a -> a)
-> Ord a
forall k k k (f :: k -> k -> k -> *) (a :: k) (b :: k) (c :: k).
Ord (f a b c) =>
Eq (Maybe3 f a b c)
forall k k k (f :: k -> k -> k -> *) (a :: k) (b :: k) (c :: k).
Ord (f a b c) =>
Maybe3 f a b c -> Maybe3 f a b c -> Bool
forall k k k (f :: k -> k -> k -> *) (a :: k) (b :: k) (c :: k).
Ord (f a b c) =>
Maybe3 f a b c -> Maybe3 f a b c -> Ordering
forall k k k (f :: k -> k -> k -> *) (a :: k) (b :: k) (c :: k).
Ord (f a b c) =>
Maybe3 f a b c -> Maybe3 f a b c -> Maybe3 f a b c
min :: Maybe3 f a b c -> Maybe3 f a b c -> Maybe3 f a b c
$cmin :: forall k k k (f :: k -> k -> k -> *) (a :: k) (b :: k) (c :: k).
Ord (f a b c) =>
Maybe3 f a b c -> Maybe3 f a b c -> Maybe3 f a b c
max :: Maybe3 f a b c -> Maybe3 f a b c -> Maybe3 f a b c
$cmax :: forall k k k (f :: k -> k -> k -> *) (a :: k) (b :: k) (c :: k).
Ord (f a b c) =>
Maybe3 f a b c -> Maybe3 f a b c -> Maybe3 f a b c
>= :: Maybe3 f a b c -> Maybe3 f a b c -> Bool
$c>= :: forall k k k (f :: k -> k -> k -> *) (a :: k) (b :: k) (c :: k).
Ord (f a b c) =>
Maybe3 f a b c -> Maybe3 f a b c -> Bool
> :: Maybe3 f a b c -> Maybe3 f a b c -> Bool
$c> :: forall k k k (f :: k -> k -> k -> *) (a :: k) (b :: k) (c :: k).
Ord (f a b c) =>
Maybe3 f a b c -> Maybe3 f a b c -> Bool
<= :: Maybe3 f a b c -> Maybe3 f a b c -> Bool
$c<= :: forall k k k (f :: k -> k -> k -> *) (a :: k) (b :: k) (c :: k).
Ord (f a b c) =>
Maybe3 f a b c -> Maybe3 f a b c -> Bool
< :: Maybe3 f a b c -> Maybe3 f a b c -> Bool
$c< :: forall k k k (f :: k -> k -> k -> *) (a :: k) (b :: k) (c :: k).
Ord (f a b c) =>
Maybe3 f a b c -> Maybe3 f a b c -> Bool
compare :: Maybe3 f a b c -> Maybe3 f a b c -> Ordering
$ccompare :: forall k k k (f :: k -> k -> k -> *) (a :: k) (b :: k) (c :: k).
Ord (f a b c) =>
Maybe3 f a b c -> Maybe3 f a b c -> Ordering
$cp1Ord :: forall k k k (f :: k -> k -> k -> *) (a :: k) (b :: k) (c :: k).
Ord (f a b c) =>
Eq (Maybe3 f a b c)
Ord, ReadPrec [Maybe3 f a b c]
ReadPrec (Maybe3 f a b c)
Int -> ReadS (Maybe3 f a b c)
ReadS [Maybe3 f a b c]
(Int -> ReadS (Maybe3 f a b c))
-> ReadS [Maybe3 f a b c]
-> ReadPrec (Maybe3 f a b c)
-> ReadPrec [Maybe3 f a b c]
-> Read (Maybe3 f a b c)
forall a.
(Int -> ReadS a)
-> ReadS [a] -> ReadPrec a -> ReadPrec [a] -> Read a
forall k k k (f :: k -> k -> k -> *) (a :: k) (b :: k) (c :: k).
Read (f a b c) =>
ReadPrec [Maybe3 f a b c]
forall k k k (f :: k -> k -> k -> *) (a :: k) (b :: k) (c :: k).
Read (f a b c) =>
ReadPrec (Maybe3 f a b c)
forall k k k (f :: k -> k -> k -> *) (a :: k) (b :: k) (c :: k).
Read (f a b c) =>
Int -> ReadS (Maybe3 f a b c)
forall k k k (f :: k -> k -> k -> *) (a :: k) (b :: k) (c :: k).
Read (f a b c) =>
ReadS [Maybe3 f a b c]
readListPrec :: ReadPrec [Maybe3 f a b c]
$creadListPrec :: forall k k k (f :: k -> k -> k -> *) (a :: k) (b :: k) (c :: k).
Read (f a b c) =>
ReadPrec [Maybe3 f a b c]
readPrec :: ReadPrec (Maybe3 f a b c)
$creadPrec :: forall k k k (f :: k -> k -> k -> *) (a :: k) (b :: k) (c :: k).
Read (f a b c) =>
ReadPrec (Maybe3 f a b c)
readList :: ReadS [Maybe3 f a b c]
$creadList :: forall k k k (f :: k -> k -> k -> *) (a :: k) (b :: k) (c :: k).
Read (f a b c) =>
ReadS [Maybe3 f a b c]
readsPrec :: Int -> ReadS (Maybe3 f a b c)
$creadsPrec :: forall k k k (f :: k -> k -> k -> *) (a :: k) (b :: k) (c :: k).
Read (f a b c) =>
Int -> ReadS (Maybe3 f a b c)
Read, Int -> Maybe3 f a b c -> ShowS
[Maybe3 f a b c] -> ShowS
Maybe3 f a b c -> String
(Int -> Maybe3 f a b c -> ShowS)
-> (Maybe3 f a b c -> String)
-> ([Maybe3 f a b c] -> ShowS)
-> Show (Maybe3 f a b c)
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
forall k k k (f :: k -> k -> k -> *) (a :: k) (b :: k) (c :: k).
Show (f a b c) =>
Int -> Maybe3 f a b c -> ShowS
forall k k k (f :: k -> k -> k -> *) (a :: k) (b :: k) (c :: k).
Show (f a b c) =>
[Maybe3 f a b c] -> ShowS
forall k k k (f :: k -> k -> k -> *) (a :: k) (b :: k) (c :: k).
Show (f a b c) =>
Maybe3 f a b c -> String
showList :: [Maybe3 f a b c] -> ShowS
$cshowList :: forall k k k (f :: k -> k -> k -> *) (a :: k) (b :: k) (c :: k).
Show (f a b c) =>
[Maybe3 f a b c] -> ShowS
show :: Maybe3 f a b c -> String
$cshow :: forall k k k (f :: k -> k -> k -> *) (a :: k) (b :: k) (c :: k).
Show (f a b c) =>
Maybe3 f a b c -> String
showsPrec :: Int -> Maybe3 f a b c -> ShowS
$cshowsPrec :: forall k k k (f :: k -> k -> k -> *) (a :: k) (b :: k) (c :: k).
Show (f a b c) =>
Int -> Maybe3 f a b c -> ShowS
Show)
just3 :: f a b c -> Maybe3 f a b c
just3 = Maybe (f a b c) -> Maybe3 f a b c
forall k k k (f :: k -> k -> k -> *) (a :: k) (b :: k) (c :: k).
Maybe (f a b c) -> Maybe3 f a b c
Maybe3 (Maybe (f a b c) -> Maybe3 f a b c)
-> (f a b c -> Maybe (f a b c)) -> f a b c -> Maybe3 f a b c
forall b c a. (b -> c) -> (a -> b) -> a -> c
. f a b c -> Maybe (f a b c)
forall a. a -> Maybe a
Just
nothing3 :: Maybe3 f a b c
nothing3 = Maybe (f a b c) -> Maybe3 f a b c
forall k k k (f :: k -> k -> k -> *) (a :: k) (b :: k) (c :: k).
Maybe (f a b c) -> Maybe3 f a b c
Maybe3 Maybe (f a b c)
forall a. Maybe a
Nothing
maybe3 :: b -> (f a b c -> b) -> Maybe3 f a b c -> b
maybe3 b
n f a b c -> b
f (Maybe3 Maybe (f a b c)
x) = b -> (f a b c -> b) -> Maybe (f a b c) -> b
forall b a. b -> (a -> b) -> Maybe a -> b
maybe b
n f a b c -> b
f Maybe (f a b c)
x
instance Wirthy l => Wirthy (WirthySubsetOf l) where
type Module (WirthySubsetOf l) = Maybe3 (Module l)
type Declaration (WirthySubsetOf l) = Maybe3 (Declaration l)
type Type (WirthySubsetOf l) = Maybe3 (Type l)
type Statement (WirthySubsetOf l) = Maybe3 (Statement l)
type Expression (WirthySubsetOf l) = Maybe3 (Expression l)
type Designator (WirthySubsetOf l) = Maybe3 (Designator l)
type Value (WirthySubsetOf l) = Maybe3 (Value l)
type FieldList (WirthySubsetOf l) = Maybe3 (FieldList l)
type ProcedureHeading (WirthySubsetOf l) = Maybe3 (ProcedureHeading l)
type FormalParameters (WirthySubsetOf l) = Maybe3 (FormalParameters l)
type FPSection (WirthySubsetOf l) = Maybe3 (FPSection l)
type Block (WirthySubsetOf l) = Maybe3 (Block l)
type StatementSequence (WirthySubsetOf l) = Maybe3 (StatementSequence l)
type Case (WirthySubsetOf l) = Maybe3 (Case l)
type CaseLabels (WirthySubsetOf l) = Maybe3 (CaseLabels l)
type ConditionalBranch (WirthySubsetOf l) = Maybe3 (ConditionalBranch l)
type Element (WirthySubsetOf l) = Maybe3 (Element l)
type Import (WirthySubsetOf l) = Maybe (Import l)
type IdentDef (WirthySubsetOf l) = Maybe (IdentDef l)
type QualIdent (WirthySubsetOf l) = Maybe (QualIdent l)
constantDeclaration :: IdentDef l'
-> f (ConstExpression l' l' f' f')
-> Declaration (WirthySubsetOf l) l' f' f
constantDeclaration = (Declaration l l' f' f -> Maybe3 (Declaration l) l' f' f
forall k k k (f :: k -> k -> k -> *) (a :: k) (b :: k) (c :: k).
f a b c -> Maybe3 f a b c
just3 (Declaration l l' f' f -> Maybe3 (Declaration l) l' f' f)
-> (f (ConstExpression l' l' f' f') -> Declaration l l' f' f)
-> f (ConstExpression l' l' f' f')
-> Maybe3 (Declaration l) l' f' f
forall b c a. (b -> c) -> (a -> b) -> a -> c
.) ((f (ConstExpression l' l' f' f') -> Declaration l l' f' f)
-> f (ConstExpression l' l' f' f')
-> Maybe3 (Declaration l) l' f' f)
-> (IdentDef l'
-> f (ConstExpression l' l' f' f') -> Declaration l l' f' f)
-> IdentDef l'
-> f (ConstExpression l' l' f' f')
-> Maybe3 (Declaration l) l' f' f
forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall l' (f :: * -> *) (f' :: * -> *).
Wirthy l =>
IdentDef l'
-> f (ConstExpression l' l' f' f') -> Declaration l l' f' f
forall l l' (f :: * -> *) (f' :: * -> *).
Wirthy l =>
IdentDef l'
-> f (ConstExpression l' l' f' f') -> Declaration l l' f' f
constantDeclaration @l
typeDeclaration :: IdentDef l'
-> f (Type l' l' f' f') -> Declaration (WirthySubsetOf l) l' f' f
typeDeclaration = (Declaration l l' f' f -> Maybe3 (Declaration l) l' f' f
forall k k k (f :: k -> k -> k -> *) (a :: k) (b :: k) (c :: k).
f a b c -> Maybe3 f a b c
just3 (Declaration l l' f' f -> Maybe3 (Declaration l) l' f' f)
-> (f (Type l' l' f' f') -> Declaration l l' f' f)
-> f (Type l' l' f' f')
-> Maybe3 (Declaration l) l' f' f
forall b c a. (b -> c) -> (a -> b) -> a -> c
.) ((f (Type l' l' f' f') -> Declaration l l' f' f)
-> f (Type l' l' f' f') -> Maybe3 (Declaration l) l' f' f)
-> (IdentDef l' -> f (Type l' l' f' f') -> Declaration l l' f' f)
-> IdentDef l'
-> f (Type l' l' f' f')
-> Maybe3 (Declaration l) l' f' f
forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall l' (f :: * -> *) (f' :: * -> *).
Wirthy l =>
IdentDef l' -> f (Type l' l' f' f') -> Declaration l l' f' f
forall l l' (f :: * -> *) (f' :: * -> *).
Wirthy l =>
IdentDef l' -> f (Type l' l' f' f') -> Declaration l l' f' f
typeDeclaration @l
variableDeclaration :: IdentList l'
-> f (Type l' l' f' f') -> Declaration (WirthySubsetOf l) l' f' f
variableDeclaration = (Declaration l l' f' f -> Maybe3 (Declaration l) l' f' f
forall k k k (f :: k -> k -> k -> *) (a :: k) (b :: k) (c :: k).
f a b c -> Maybe3 f a b c
just3 (Declaration l l' f' f -> Maybe3 (Declaration l) l' f' f)
-> (f (Type l' l' f' f') -> Declaration l l' f' f)
-> f (Type l' l' f' f')
-> Maybe3 (Declaration l) l' f' f
forall b c a. (b -> c) -> (a -> b) -> a -> c
.) ((f (Type l' l' f' f') -> Declaration l l' f' f)
-> f (Type l' l' f' f') -> Maybe3 (Declaration l) l' f' f)
-> (IdentList l' -> f (Type l' l' f' f') -> Declaration l l' f' f)
-> IdentList l'
-> f (Type l' l' f' f')
-> Maybe3 (Declaration l) l' f' f
forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall l' (f :: * -> *) (f' :: * -> *).
Wirthy l =>
IdentList l' -> f (Type l' l' f' f') -> Declaration l l' f' f
forall l l' (f :: * -> *) (f' :: * -> *).
Wirthy l =>
IdentList l' -> f (Type l' l' f' f') -> Declaration l l' f' f
variableDeclaration @l
procedureDeclaration :: f (ProcedureHeading l' l' f' f')
-> f (Block l' l' f' f') -> Declaration (WirthySubsetOf l) l' f' f
procedureDeclaration = (Declaration l l' f' f -> Maybe3 (Declaration l) l' f' f
forall k k k (f :: k -> k -> k -> *) (a :: k) (b :: k) (c :: k).
f a b c -> Maybe3 f a b c
just3 (Declaration l l' f' f -> Maybe3 (Declaration l) l' f' f)
-> (f (Block l' l' f' f') -> Declaration l l' f' f)
-> f (Block l' l' f' f')
-> Maybe3 (Declaration l) l' f' f
forall b c a. (b -> c) -> (a -> b) -> a -> c
.) ((f (Block l' l' f' f') -> Declaration l l' f' f)
-> f (Block l' l' f' f') -> Maybe3 (Declaration l) l' f' f)
-> (f (ProcedureHeading l' l' f' f')
-> f (Block l' l' f' f') -> Declaration l l' f' f)
-> f (ProcedureHeading l' l' f' f')
-> f (Block l' l' f' f')
-> Maybe3 (Declaration l) l' f' f
forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall (f :: * -> *) l' (f' :: * -> *).
Wirthy l =>
f (ProcedureHeading l' l' f' f')
-> f (Block l' l' f' f') -> Declaration l l' f' f
forall l (f :: * -> *) l' (f' :: * -> *).
Wirthy l =>
f (ProcedureHeading l' l' f' f')
-> f (Block l' l' f' f') -> Declaration l l' f' f
procedureDeclaration @l
formalParameters :: [f (FPSection l' l' f' f')]
-> Maybe (ReturnType l')
-> FormalParameters (WirthySubsetOf l) l' f' f
formalParameters = (FormalParameters l l' f' f -> Maybe3 (FormalParameters l) l' f' f
forall k k k (f :: k -> k -> k -> *) (a :: k) (b :: k) (c :: k).
f a b c -> Maybe3 f a b c
just3 (FormalParameters l l' f' f -> Maybe3 (FormalParameters l) l' f' f)
-> (Maybe (ReturnType l') -> FormalParameters l l' f' f)
-> Maybe (ReturnType l')
-> Maybe3 (FormalParameters l) l' f' f
forall b c a. (b -> c) -> (a -> b) -> a -> c
.) ((Maybe (ReturnType l') -> FormalParameters l l' f' f)
-> Maybe (ReturnType l') -> Maybe3 (FormalParameters l) l' f' f)
-> ([f (FPSection l' l' f' f')]
-> Maybe (ReturnType l') -> FormalParameters l l' f' f)
-> [f (FPSection l' l' f' f')]
-> Maybe (ReturnType l')
-> Maybe3 (FormalParameters l) l' f' f
forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall (f :: * -> *) l' (f' :: * -> *).
Wirthy l =>
[f (FPSection l' l' f' f')]
-> Maybe (ReturnType l') -> FormalParameters l l' f' f
forall l (f :: * -> *) l' (f' :: * -> *).
Wirthy l =>
[f (FPSection l' l' f' f')]
-> Maybe (ReturnType l') -> FormalParameters l l' f' f
formalParameters @l
fpSection :: Bool
-> [Ident]
-> f (Type l' l' f' f')
-> FPSection (WirthySubsetOf l) l' f' f
fpSection = ((FPSection l l' f' f -> Maybe3 (FPSection l) l' f' f
forall k k k (f :: k -> k -> k -> *) (a :: k) (b :: k) (c :: k).
f a b c -> Maybe3 f a b c
just3 (FPSection l l' f' f -> Maybe3 (FPSection l) l' f' f)
-> (f (Type l' l' f' f') -> FPSection l l' f' f)
-> f (Type l' l' f' f')
-> Maybe3 (FPSection l) l' f' f
forall b c a. (b -> c) -> (a -> b) -> a -> c
.) ((f (Type l' l' f' f') -> FPSection l l' f' f)
-> f (Type l' l' f' f') -> Maybe3 (FPSection l) l' f' f)
-> ([Ident] -> f (Type l' l' f' f') -> FPSection l l' f' f)
-> [Ident]
-> f (Type l' l' f' f')
-> Maybe3 (FPSection l) l' f' f
forall b c a. (b -> c) -> (a -> b) -> a -> c
.) (([Ident] -> f (Type l' l' f' f') -> FPSection l l' f' f)
-> [Ident] -> f (Type l' l' f' f') -> Maybe3 (FPSection l) l' f' f)
-> (Bool -> [Ident] -> f (Type l' l' f' f') -> FPSection l l' f' f)
-> Bool
-> [Ident]
-> f (Type l' l' f' f')
-> Maybe3 (FPSection l) l' f' f
forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall (f :: * -> *) l' (f' :: * -> *).
Wirthy l =>
Bool -> [Ident] -> f (Type l' l' f' f') -> FPSection l l' f' f
forall l (f :: * -> *) l' (f' :: * -> *).
Wirthy l =>
Bool -> [Ident] -> f (Type l' l' f' f') -> FPSection l l' f' f
fpSection @l
block :: [f (Declaration l' l' f' f')]
-> Maybe (f (StatementSequence l' l' f' f'))
-> Block (WirthySubsetOf l) l' f' f
block = (Block l l' f' f -> Maybe3 (Block l) l' f' f
forall k k k (f :: k -> k -> k -> *) (a :: k) (b :: k) (c :: k).
f a b c -> Maybe3 f a b c
just3 (Block l l' f' f -> Maybe3 (Block l) l' f' f)
-> (Maybe (f (StatementSequence l' l' f' f')) -> Block l l' f' f)
-> Maybe (f (StatementSequence l' l' f' f'))
-> Maybe3 (Block l) l' f' f
forall b c a. (b -> c) -> (a -> b) -> a -> c
.) ((Maybe (f (StatementSequence l' l' f' f')) -> Block l l' f' f)
-> Maybe (f (StatementSequence l' l' f' f'))
-> Maybe3 (Block l) l' f' f)
-> ([f (Declaration l' l' f' f')]
-> Maybe (f (StatementSequence l' l' f' f')) -> Block l l' f' f)
-> [f (Declaration l' l' f' f')]
-> Maybe (f (StatementSequence l' l' f' f'))
-> Maybe3 (Block l) l' f' f
forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall (f :: * -> *) l' (f' :: * -> *).
Wirthy l =>
[f (Declaration l' l' f' f')]
-> Maybe (f (StatementSequence l' l' f' f')) -> Block l l' f' f
forall l (f :: * -> *) l' (f' :: * -> *).
Wirthy l =>
[f (Declaration l' l' f' f')]
-> Maybe (f (StatementSequence l' l' f' f')) -> Block l l' f' f
block @l
fieldList :: NonEmpty (IdentDef l')
-> f (Type l' l' f' f') -> FieldList (WirthySubsetOf l) l' f' f
fieldList = (FieldList l l' f' f -> Maybe3 (FieldList l) l' f' f
forall k k k (f :: k -> k -> k -> *) (a :: k) (b :: k) (c :: k).
f a b c -> Maybe3 f a b c
just3 (FieldList l l' f' f -> Maybe3 (FieldList l) l' f' f)
-> (f (Type l' l' f' f') -> FieldList l l' f' f)
-> f (Type l' l' f' f')
-> Maybe3 (FieldList l) l' f' f
forall b c a. (b -> c) -> (a -> b) -> a -> c
.) ((f (Type l' l' f' f') -> FieldList l l' f' f)
-> f (Type l' l' f' f') -> Maybe3 (FieldList l) l' f' f)
-> (NonEmpty (IdentDef l')
-> f (Type l' l' f' f') -> FieldList l l' f' f)
-> NonEmpty (IdentDef l')
-> f (Type l' l' f' f')
-> Maybe3 (FieldList l) l' f' f
forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall l' (f :: * -> *) (f' :: * -> *).
Wirthy l =>
NonEmpty (IdentDef l')
-> f (Type l' l' f' f') -> FieldList l l' f' f
forall l l' (f :: * -> *) (f' :: * -> *).
Wirthy l =>
NonEmpty (IdentDef l')
-> f (Type l' l' f' f') -> FieldList l l' f' f
fieldList @l
pointerType :: f (Type l' l' f' f') -> Type (WirthySubsetOf l) l' f' f
pointerType = Type l l' f' f -> Maybe3 (Type l) l' f' f
forall k k k (f :: k -> k -> k -> *) (a :: k) (b :: k) (c :: k).
f a b c -> Maybe3 f a b c
just3 (Type l l' f' f -> Maybe3 (Type l) l' f' f)
-> (f (Type l' l' f' f') -> Type l l' f' f)
-> f (Type l' l' f' f')
-> Maybe3 (Type l) l' f' f
forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall (f :: * -> *) l' (f' :: * -> *).
Wirthy l =>
f (Type l' l' f' f') -> Type l l' f' f
forall l (f :: * -> *) l' (f' :: * -> *).
Wirthy l =>
f (Type l' l' f' f') -> Type l l' f' f
pointerType @l
procedureType :: Maybe (f (FormalParameters l' l' f' f'))
-> Type (WirthySubsetOf l) l' f' f
procedureType = Type l l' f' f -> Maybe3 (Type l) l' f' f
forall k k k (f :: k -> k -> k -> *) (a :: k) (b :: k) (c :: k).
f a b c -> Maybe3 f a b c
just3 (Type l l' f' f -> Maybe3 (Type l) l' f' f)
-> (Maybe (f (FormalParameters l' l' f' f')) -> Type l l' f' f)
-> Maybe (f (FormalParameters l' l' f' f'))
-> Maybe3 (Type l) l' f' f
forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall (f :: * -> *) l' (f' :: * -> *).
Wirthy l =>
Maybe (f (FormalParameters l' l' f' f')) -> Type l l' f' f
forall l (f :: * -> *) l' (f' :: * -> *).
Wirthy l =>
Maybe (f (FormalParameters l' l' f' f')) -> Type l l' f' f
procedureType @l
typeReference :: QualIdent l' -> Type (WirthySubsetOf l) l' f' f
typeReference = Type l l' f' f -> Maybe3 (Type l) l' f' f
forall k k k (f :: k -> k -> k -> *) (a :: k) (b :: k) (c :: k).
f a b c -> Maybe3 f a b c
just3 (Type l l' f' f -> Maybe3 (Type l) l' f' f)
-> (QualIdent l' -> Type l l' f' f)
-> QualIdent l'
-> Maybe3 (Type l) l' f' f
forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall l' (f' :: * -> *) (f :: * -> *).
Wirthy l =>
QualIdent l' -> Type l l' f' f
forall l l' (f' :: * -> *) (f :: * -> *).
Wirthy l =>
QualIdent l' -> Type l l' f' f
typeReference @l
assignment :: f (Designator l' l' f' f')
-> f (Expression l' l' f' f')
-> Statement (WirthySubsetOf l) l' f' f
assignment = (Statement l l' f' f -> Maybe3 (Statement l) l' f' f
forall k k k (f :: k -> k -> k -> *) (a :: k) (b :: k) (c :: k).
f a b c -> Maybe3 f a b c
just3 (Statement l l' f' f -> Maybe3 (Statement l) l' f' f)
-> (f (Expression l' l' f' f') -> Statement l l' f' f)
-> f (Expression l' l' f' f')
-> Maybe3 (Statement l) l' f' f
forall b c a. (b -> c) -> (a -> b) -> a -> c
.) ((f (Expression l' l' f' f') -> Statement l l' f' f)
-> f (Expression l' l' f' f') -> Maybe3 (Statement l) l' f' f)
-> (f (Designator l' l' f' f')
-> f (Expression l' l' f' f') -> Statement l l' f' f)
-> f (Designator l' l' f' f')
-> f (Expression l' l' f' f')
-> Maybe3 (Statement l) l' f' f
forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall (f :: * -> *) l' (f' :: * -> *).
Wirthy l =>
f (Designator l' l' f' f')
-> f (Expression l' l' f' f') -> Statement l l' f' f
forall l (f :: * -> *) l' (f' :: * -> *).
Wirthy l =>
f (Designator l' l' f' f')
-> f (Expression l' l' f' f') -> Statement l l' f' f
assignment @l
caseStatement :: f (Expression l' l' f' f')
-> [f (Case l' l' f' f')]
-> Maybe (f (StatementSequence l' l' f' f'))
-> Statement (WirthySubsetOf l) l' f' f
caseStatement = ((Statement l l' f' f -> Maybe3 (Statement l) l' f' f
forall k k k (f :: k -> k -> k -> *) (a :: k) (b :: k) (c :: k).
f a b c -> Maybe3 f a b c
just3 (Statement l l' f' f -> Maybe3 (Statement l) l' f' f)
-> (Maybe (f (StatementSequence l' l' f' f'))
-> Statement l l' f' f)
-> Maybe (f (StatementSequence l' l' f' f'))
-> Maybe3 (Statement l) l' f' f
forall b c a. (b -> c) -> (a -> b) -> a -> c
.) ((Maybe (f (StatementSequence l' l' f' f')) -> Statement l l' f' f)
-> Maybe (f (StatementSequence l' l' f' f'))
-> Maybe3 (Statement l) l' f' f)
-> ([f (Case l' l' f' f')]
-> Maybe (f (StatementSequence l' l' f' f'))
-> Statement l l' f' f)
-> [f (Case l' l' f' f')]
-> Maybe (f (StatementSequence l' l' f' f'))
-> Maybe3 (Statement l) l' f' f
forall b c a. (b -> c) -> (a -> b) -> a -> c
.) (([f (Case l' l' f' f')]
-> Maybe (f (StatementSequence l' l' f' f'))
-> Statement l l' f' f)
-> [f (Case l' l' f' f')]
-> Maybe (f (StatementSequence l' l' f' f'))
-> Maybe3 (Statement l) l' f' f)
-> (f (Expression l' l' f' f')
-> [f (Case l' l' f' f')]
-> Maybe (f (StatementSequence l' l' f' f'))
-> Statement l l' f' f)
-> f (Expression l' l' f' f')
-> [f (Case l' l' f' f')]
-> Maybe (f (StatementSequence l' l' f' f'))
-> Maybe3 (Statement l) l' f' f
forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall (f :: * -> *) l' (f' :: * -> *).
Wirthy l =>
f (Expression l' l' f' f')
-> [f (Case l' l' f' f')]
-> Maybe (f (StatementSequence l' l' f' f'))
-> Statement l l' f' f
forall l (f :: * -> *) l' (f' :: * -> *).
Wirthy l =>
f (Expression l' l' f' f')
-> [f (Case l' l' f' f')]
-> Maybe (f (StatementSequence l' l' f' f'))
-> Statement l l' f' f
caseStatement @l
emptyStatement :: Statement (WirthySubsetOf l) l' f' f
emptyStatement = Statement l l' f' f -> Maybe3 (Statement l) l' f' f
forall k k k (f :: k -> k -> k -> *) (a :: k) (b :: k) (c :: k).
f a b c -> Maybe3 f a b c
just3 (forall l' (f' :: * -> *) (f :: * -> *).
Wirthy l =>
Statement l l' f' f
forall l l' (f' :: * -> *) (f :: * -> *).
Wirthy l =>
Statement l l' f' f
emptyStatement @l)
exitStatement :: Statement (WirthySubsetOf l) l' f' f
exitStatement = Statement l l' f' f -> Maybe3 (Statement l) l' f' f
forall k k k (f :: k -> k -> k -> *) (a :: k) (b :: k) (c :: k).
f a b c -> Maybe3 f a b c
just3 (forall l' (f' :: * -> *) (f :: * -> *).
Wirthy l =>
Statement l l' f' f
forall l l' (f' :: * -> *) (f :: * -> *).
Wirthy l =>
Statement l l' f' f
exitStatement @l)
ifStatement :: NonEmpty (f (ConditionalBranch l' l' f' f'))
-> Maybe (f (StatementSequence l' l' f' f'))
-> Statement (WirthySubsetOf l) l' f' f
ifStatement = (Statement l l' f' f -> Maybe3 (Statement l) l' f' f
forall k k k (f :: k -> k -> k -> *) (a :: k) (b :: k) (c :: k).
f a b c -> Maybe3 f a b c
just3 (Statement l l' f' f -> Maybe3 (Statement l) l' f' f)
-> (Maybe (f (StatementSequence l' l' f' f'))
-> Statement l l' f' f)
-> Maybe (f (StatementSequence l' l' f' f'))
-> Maybe3 (Statement l) l' f' f
forall b c a. (b -> c) -> (a -> b) -> a -> c
.) ((Maybe (f (StatementSequence l' l' f' f')) -> Statement l l' f' f)
-> Maybe (f (StatementSequence l' l' f' f'))
-> Maybe3 (Statement l) l' f' f)
-> (NonEmpty (f (ConditionalBranch l' l' f' f'))
-> Maybe (f (StatementSequence l' l' f' f'))
-> Statement l l' f' f)
-> NonEmpty (f (ConditionalBranch l' l' f' f'))
-> Maybe (f (StatementSequence l' l' f' f'))
-> Maybe3 (Statement l) l' f' f
forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall (f :: * -> *) l' (f' :: * -> *).
Wirthy l =>
NonEmpty (f (ConditionalBranch l' l' f' f'))
-> Maybe (f (StatementSequence l' l' f' f')) -> Statement l l' f' f
forall l (f :: * -> *) l' (f' :: * -> *).
Wirthy l =>
NonEmpty (f (ConditionalBranch l' l' f' f'))
-> Maybe (f (StatementSequence l' l' f' f')) -> Statement l l' f' f
ifStatement @l
loopStatement :: f (StatementSequence l' l' f' f')
-> Statement (WirthySubsetOf l) l' f' f
loopStatement = Statement l l' f' f -> Maybe3 (Statement l) l' f' f
forall k k k (f :: k -> k -> k -> *) (a :: k) (b :: k) (c :: k).
f a b c -> Maybe3 f a b c
just3 (Statement l l' f' f -> Maybe3 (Statement l) l' f' f)
-> (f (StatementSequence l' l' f' f') -> Statement l l' f' f)
-> f (StatementSequence l' l' f' f')
-> Maybe3 (Statement l) l' f' f
forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall (f :: * -> *) l' (f' :: * -> *).
Wirthy l =>
f (StatementSequence l' l' f' f') -> Statement l l' f' f
forall l (f :: * -> *) l' (f' :: * -> *).
Wirthy l =>
f (StatementSequence l' l' f' f') -> Statement l l' f' f
loopStatement @l
procedureCall :: f (Designator l' l' f' f')
-> Maybe [f (Expression l' l' f' f')]
-> Statement (WirthySubsetOf l) l' f' f
procedureCall = (Statement l l' f' f -> Maybe3 (Statement l) l' f' f
forall k k k (f :: k -> k -> k -> *) (a :: k) (b :: k) (c :: k).
f a b c -> Maybe3 f a b c
just3 (Statement l l' f' f -> Maybe3 (Statement l) l' f' f)
-> (Maybe [f (Expression l' l' f' f')] -> Statement l l' f' f)
-> Maybe [f (Expression l' l' f' f')]
-> Maybe3 (Statement l) l' f' f
forall b c a. (b -> c) -> (a -> b) -> a -> c
.) ((Maybe [f (Expression l' l' f' f')] -> Statement l l' f' f)
-> Maybe [f (Expression l' l' f' f')]
-> Maybe3 (Statement l) l' f' f)
-> (f (Designator l' l' f' f')
-> Maybe [f (Expression l' l' f' f')] -> Statement l l' f' f)
-> f (Designator l' l' f' f')
-> Maybe [f (Expression l' l' f' f')]
-> Maybe3 (Statement l) l' f' f
forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall (f :: * -> *) l' (f' :: * -> *).
Wirthy l =>
f (Designator l' l' f' f')
-> Maybe [f (Expression l' l' f' f')] -> Statement l l' f' f
forall l (f :: * -> *) l' (f' :: * -> *).
Wirthy l =>
f (Designator l' l' f' f')
-> Maybe [f (Expression l' l' f' f')] -> Statement l l' f' f
procedureCall @l
repeatStatement :: f (StatementSequence l' l' f' f')
-> f (Expression l' l' f' f')
-> Statement (WirthySubsetOf l) l' f' f
repeatStatement = (Statement l l' f' f -> Maybe3 (Statement l) l' f' f
forall k k k (f :: k -> k -> k -> *) (a :: k) (b :: k) (c :: k).
f a b c -> Maybe3 f a b c
just3 (Statement l l' f' f -> Maybe3 (Statement l) l' f' f)
-> (f (Expression l' l' f' f') -> Statement l l' f' f)
-> f (Expression l' l' f' f')
-> Maybe3 (Statement l) l' f' f
forall b c a. (b -> c) -> (a -> b) -> a -> c
.) ((f (Expression l' l' f' f') -> Statement l l' f' f)
-> f (Expression l' l' f' f') -> Maybe3 (Statement l) l' f' f)
-> (f (StatementSequence l' l' f' f')
-> f (Expression l' l' f' f') -> Statement l l' f' f)
-> f (StatementSequence l' l' f' f')
-> f (Expression l' l' f' f')
-> Maybe3 (Statement l) l' f' f
forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall (f :: * -> *) l' (f' :: * -> *).
Wirthy l =>
f (StatementSequence l' l' f' f')
-> f (Expression l' l' f' f') -> Statement l l' f' f
forall l (f :: * -> *) l' (f' :: * -> *).
Wirthy l =>
f (StatementSequence l' l' f' f')
-> f (Expression l' l' f' f') -> Statement l l' f' f
repeatStatement @l
returnStatement :: Maybe (f (Expression l' l' f' f'))
-> Statement (WirthySubsetOf l) l' f' f
returnStatement = Statement l l' f' f -> Maybe3 (Statement l) l' f' f
forall k k k (f :: k -> k -> k -> *) (a :: k) (b :: k) (c :: k).
f a b c -> Maybe3 f a b c
just3 (Statement l l' f' f -> Maybe3 (Statement l) l' f' f)
-> (Maybe (f (Expression l' l' f' f')) -> Statement l l' f' f)
-> Maybe (f (Expression l' l' f' f'))
-> Maybe3 (Statement l) l' f' f
forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall (f :: * -> *) l' (f' :: * -> *).
Wirthy l =>
Maybe (f (Expression l' l' f' f')) -> Statement l l' f' f
forall l (f :: * -> *) l' (f' :: * -> *).
Wirthy l =>
Maybe (f (Expression l' l' f' f')) -> Statement l l' f' f
returnStatement @l
whileStatement :: f (Expression l' l' f' f')
-> f (StatementSequence l' l' f' f')
-> Statement (WirthySubsetOf l) l' f' f
whileStatement = (Statement l l' f' f -> Maybe3 (Statement l) l' f' f
forall k k k (f :: k -> k -> k -> *) (a :: k) (b :: k) (c :: k).
f a b c -> Maybe3 f a b c
just3 (Statement l l' f' f -> Maybe3 (Statement l) l' f' f)
-> (f (StatementSequence l' l' f' f') -> Statement l l' f' f)
-> f (StatementSequence l' l' f' f')
-> Maybe3 (Statement l) l' f' f
forall b c a. (b -> c) -> (a -> b) -> a -> c
.) ((f (StatementSequence l' l' f' f') -> Statement l l' f' f)
-> f (StatementSequence l' l' f' f')
-> Maybe3 (Statement l) l' f' f)
-> (f (Expression l' l' f' f')
-> f (StatementSequence l' l' f' f') -> Statement l l' f' f)
-> f (Expression l' l' f' f')
-> f (StatementSequence l' l' f' f')
-> Maybe3 (Statement l) l' f' f
forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall (f :: * -> *) l' (f' :: * -> *).
Wirthy l =>
f (Expression l' l' f' f')
-> f (StatementSequence l' l' f' f') -> Statement l l' f' f
forall l (f :: * -> *) l' (f' :: * -> *).
Wirthy l =>
f (Expression l' l' f' f')
-> f (StatementSequence l' l' f' f') -> Statement l l' f' f
whileStatement @l
conditionalBranch :: f (Expression l' l' f' f')
-> f (StatementSequence l' l' f' f')
-> ConditionalBranch (WirthySubsetOf l) l' f' f
conditionalBranch = (ConditionalBranch l l' f' f -> Maybe3 (ConditionalBranch l) l' f' f
forall k k k (f :: k -> k -> k -> *) (a :: k) (b :: k) (c :: k).
f a b c -> Maybe3 f a b c
just3 (ConditionalBranch l l' f' f
-> Maybe3 (ConditionalBranch l) l' f' f)
-> (f (StatementSequence l' l' f' f')
-> ConditionalBranch l l' f' f)
-> f (StatementSequence l' l' f' f')
-> Maybe3 (ConditionalBranch l) l' f' f
forall b c a. (b -> c) -> (a -> b) -> a -> c
.) ((f (StatementSequence l' l' f' f') -> ConditionalBranch l l' f' f)
-> f (StatementSequence l' l' f' f')
-> Maybe3 (ConditionalBranch l) l' f' f)
-> (f (Expression l' l' f' f')
-> f (StatementSequence l' l' f' f')
-> ConditionalBranch l l' f' f)
-> f (Expression l' l' f' f')
-> f (StatementSequence l' l' f' f')
-> Maybe3 (ConditionalBranch l) l' f' f
forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall (f :: * -> *) l' (f' :: * -> *).
Wirthy l =>
f (Expression l' l' f' f')
-> f (StatementSequence l' l' f' f') -> ConditionalBranch l l' f' f
forall l (f :: * -> *) l' (f' :: * -> *).
Wirthy l =>
f (Expression l' l' f' f')
-> f (StatementSequence l' l' f' f') -> ConditionalBranch l l' f' f
conditionalBranch @l
caseAlternative :: NonEmpty (f (CaseLabels l' l' f' f'))
-> f (StatementSequence l' l' f' f')
-> Case (WirthySubsetOf l) l' f' f
caseAlternative = (Case l l' f' f -> Maybe3 (Case l) l' f' f
forall k k k (f :: k -> k -> k -> *) (a :: k) (b :: k) (c :: k).
f a b c -> Maybe3 f a b c
just3 (Case l l' f' f -> Maybe3 (Case l) l' f' f)
-> (f (StatementSequence l' l' f' f') -> Case l l' f' f)
-> f (StatementSequence l' l' f' f')
-> Maybe3 (Case l) l' f' f
forall b c a. (b -> c) -> (a -> b) -> a -> c
.) ((f (StatementSequence l' l' f' f') -> Case l l' f' f)
-> f (StatementSequence l' l' f' f') -> Maybe3 (Case l) l' f' f)
-> (NonEmpty (f (CaseLabels l' l' f' f'))
-> f (StatementSequence l' l' f' f') -> Case l l' f' f)
-> NonEmpty (f (CaseLabels l' l' f' f'))
-> f (StatementSequence l' l' f' f')
-> Maybe3 (Case l) l' f' f
forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall (f :: * -> *) l' (f' :: * -> *).
Wirthy l =>
NonEmpty (f (CaseLabels l' l' f' f'))
-> f (StatementSequence l' l' f' f') -> Case l l' f' f
forall l (f :: * -> *) l' (f' :: * -> *).
Wirthy l =>
NonEmpty (f (CaseLabels l' l' f' f'))
-> f (StatementSequence l' l' f' f') -> Case l l' f' f
caseAlternative @l
singleLabel :: f (ConstExpression l' l' f' f')
-> CaseLabels (WirthySubsetOf l) l' f' f
singleLabel = CaseLabels l l' f' f -> Maybe3 (CaseLabels l) l' f' f
forall k k k (f :: k -> k -> k -> *) (a :: k) (b :: k) (c :: k).
f a b c -> Maybe3 f a b c
just3 (CaseLabels l l' f' f -> Maybe3 (CaseLabels l) l' f' f)
-> (f (ConstExpression l' l' f' f') -> CaseLabels l l' f' f)
-> f (ConstExpression l' l' f' f')
-> Maybe3 (CaseLabels l) l' f' f
forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall (f :: * -> *) l' (f' :: * -> *).
Wirthy l =>
f (ConstExpression l' l' f' f') -> CaseLabels l l' f' f
forall l (f :: * -> *) l' (f' :: * -> *).
Wirthy l =>
f (ConstExpression l' l' f' f') -> CaseLabels l l' f' f
singleLabel @l
labelRange :: f (ConstExpression l' l' f' f')
-> f (ConstExpression l' l' f' f')
-> CaseLabels (WirthySubsetOf l) l' f' f
labelRange = (CaseLabels l l' f' f -> Maybe3 (CaseLabels l) l' f' f
forall k k k (f :: k -> k -> k -> *) (a :: k) (b :: k) (c :: k).
f a b c -> Maybe3 f a b c
just3 (CaseLabels l l' f' f -> Maybe3 (CaseLabels l) l' f' f)
-> (f (ConstExpression l' l' f' f') -> CaseLabels l l' f' f)
-> f (ConstExpression l' l' f' f')
-> Maybe3 (CaseLabels l) l' f' f
forall b c a. (b -> c) -> (a -> b) -> a -> c
.) ((f (ConstExpression l' l' f' f') -> CaseLabels l l' f' f)
-> f (ConstExpression l' l' f' f')
-> Maybe3 (CaseLabels l) l' f' f)
-> (f (ConstExpression l' l' f' f')
-> f (ConstExpression l' l' f' f') -> CaseLabels l l' f' f)
-> f (ConstExpression l' l' f' f')
-> f (ConstExpression l' l' f' f')
-> Maybe3 (CaseLabels l) l' f' f
forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall (f :: * -> *) l' (f' :: * -> *).
Wirthy l =>
f (ConstExpression l' l' f' f')
-> f (ConstExpression l' l' f' f') -> CaseLabels l l' f' f
forall l (f :: * -> *) l' (f' :: * -> *).
Wirthy l =>
f (ConstExpression l' l' f' f')
-> f (ConstExpression l' l' f' f') -> CaseLabels l l' f' f
labelRange @l
statementSequence :: [f (Statement l' l' f' f')]
-> StatementSequence (WirthySubsetOf l) l' f' f
statementSequence = StatementSequence l l' f' f -> Maybe3 (StatementSequence l) l' f' f
forall k k k (f :: k -> k -> k -> *) (a :: k) (b :: k) (c :: k).
f a b c -> Maybe3 f a b c
just3 (StatementSequence l l' f' f
-> Maybe3 (StatementSequence l) l' f' f)
-> ([f (Statement l' l' f' f')] -> StatementSequence l l' f' f)
-> [f (Statement l' l' f' f')]
-> Maybe3 (StatementSequence l) l' f' f
forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall (f :: * -> *) l' (f' :: * -> *).
Wirthy l =>
[f (Statement l' l' f' f')] -> StatementSequence l l' f' f
forall l (f :: * -> *) l' (f' :: * -> *).
Wirthy l =>
[f (Statement l' l' f' f')] -> StatementSequence l l' f' f
statementSequence @l
add :: f (Expression l' l' f' f')
-> f (Expression l' l' f' f')
-> Expression (WirthySubsetOf l) l' f' f
add = (Expression l l' f' f -> Maybe3 (Expression l) l' f' f
forall k k k (f :: k -> k -> k -> *) (a :: k) (b :: k) (c :: k).
f a b c -> Maybe3 f a b c
just3 (Expression l l' f' f -> Maybe3 (Expression l) l' f' f)
-> (f (Expression l' l' f' f') -> Expression l l' f' f)
-> f (Expression l' l' f' f')
-> Maybe3 (Expression l) l' f' f
forall b c a. (b -> c) -> (a -> b) -> a -> c
.) ((f (Expression l' l' f' f') -> Expression l l' f' f)
-> f (Expression l' l' f' f') -> Maybe3 (Expression l) l' f' f)
-> (f (Expression l' l' f' f')
-> f (Expression l' l' f' f') -> Expression l l' f' f)
-> f (Expression l' l' f' f')
-> f (Expression l' l' f' f')
-> Maybe3 (Expression l) l' f' f
forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall (f :: * -> *) l' (f' :: * -> *).
Wirthy l =>
f (Expression l' l' f' f')
-> f (Expression l' l' f' f') -> Expression l l' f' f
forall l (f :: * -> *) l' (f' :: * -> *).
Wirthy l =>
f (Expression l' l' f' f')
-> f (Expression l' l' f' f') -> Expression l l' f' f
add @l
subtract :: f (Expression l' l' f' f')
-> f (Expression l' l' f' f')
-> Expression (WirthySubsetOf l) l' f' f
subtract = (Expression l l' f' f -> Maybe3 (Expression l) l' f' f
forall k k k (f :: k -> k -> k -> *) (a :: k) (b :: k) (c :: k).
f a b c -> Maybe3 f a b c
just3 (Expression l l' f' f -> Maybe3 (Expression l) l' f' f)
-> (f (Expression l' l' f' f') -> Expression l l' f' f)
-> f (Expression l' l' f' f')
-> Maybe3 (Expression l) l' f' f
forall b c a. (b -> c) -> (a -> b) -> a -> c
.) ((f (Expression l' l' f' f') -> Expression l l' f' f)
-> f (Expression l' l' f' f') -> Maybe3 (Expression l) l' f' f)
-> (f (Expression l' l' f' f')
-> f (Expression l' l' f' f') -> Expression l l' f' f)
-> f (Expression l' l' f' f')
-> f (Expression l' l' f' f')
-> Maybe3 (Expression l) l' f' f
forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall (f :: * -> *) l' (f' :: * -> *).
Wirthy l =>
f (Expression l' l' f' f')
-> f (Expression l' l' f' f') -> Expression l l' f' f
forall l (f :: * -> *) l' (f' :: * -> *).
Wirthy l =>
f (Expression l' l' f' f')
-> f (Expression l' l' f' f') -> Expression l l' f' f
subtract @l
and :: f (Expression l' l' f' f')
-> f (Expression l' l' f' f')
-> Expression (WirthySubsetOf l) l' f' f
and = (Expression l l' f' f -> Maybe3 (Expression l) l' f' f
forall k k k (f :: k -> k -> k -> *) (a :: k) (b :: k) (c :: k).
f a b c -> Maybe3 f a b c
just3 (Expression l l' f' f -> Maybe3 (Expression l) l' f' f)
-> (f (Expression l' l' f' f') -> Expression l l' f' f)
-> f (Expression l' l' f' f')
-> Maybe3 (Expression l) l' f' f
forall b c a. (b -> c) -> (a -> b) -> a -> c
.) ((f (Expression l' l' f' f') -> Expression l l' f' f)
-> f (Expression l' l' f' f') -> Maybe3 (Expression l) l' f' f)
-> (f (Expression l' l' f' f')
-> f (Expression l' l' f' f') -> Expression l l' f' f)
-> f (Expression l' l' f' f')
-> f (Expression l' l' f' f')
-> Maybe3 (Expression l) l' f' f
forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall (f :: * -> *) l' (f' :: * -> *).
Wirthy l =>
f (Expression l' l' f' f')
-> f (Expression l' l' f' f') -> Expression l l' f' f
forall l (f :: * -> *) l' (f' :: * -> *).
Wirthy l =>
f (Expression l' l' f' f')
-> f (Expression l' l' f' f') -> Expression l l' f' f
and @l
or :: f (Expression l' l' f' f')
-> f (Expression l' l' f' f')
-> Expression (WirthySubsetOf l) l' f' f
or = (Expression l l' f' f -> Maybe3 (Expression l) l' f' f
forall k k k (f :: k -> k -> k -> *) (a :: k) (b :: k) (c :: k).
f a b c -> Maybe3 f a b c
just3 (Expression l l' f' f -> Maybe3 (Expression l) l' f' f)
-> (f (Expression l' l' f' f') -> Expression l l' f' f)
-> f (Expression l' l' f' f')
-> Maybe3 (Expression l) l' f' f
forall b c a. (b -> c) -> (a -> b) -> a -> c
.) ((f (Expression l' l' f' f') -> Expression l l' f' f)
-> f (Expression l' l' f' f') -> Maybe3 (Expression l) l' f' f)
-> (f (Expression l' l' f' f')
-> f (Expression l' l' f' f') -> Expression l l' f' f)
-> f (Expression l' l' f' f')
-> f (Expression l' l' f' f')
-> Maybe3 (Expression l) l' f' f
forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall (f :: * -> *) l' (f' :: * -> *).
Wirthy l =>
f (Expression l' l' f' f')
-> f (Expression l' l' f' f') -> Expression l l' f' f
forall l (f :: * -> *) l' (f' :: * -> *).
Wirthy l =>
f (Expression l' l' f' f')
-> f (Expression l' l' f' f') -> Expression l l' f' f
or @l
divide :: f (Expression l' l' f' f')
-> f (Expression l' l' f' f')
-> Expression (WirthySubsetOf l) l' f' f
divide = (Expression l l' f' f -> Maybe3 (Expression l) l' f' f
forall k k k (f :: k -> k -> k -> *) (a :: k) (b :: k) (c :: k).
f a b c -> Maybe3 f a b c
just3 (Expression l l' f' f -> Maybe3 (Expression l) l' f' f)
-> (f (Expression l' l' f' f') -> Expression l l' f' f)
-> f (Expression l' l' f' f')
-> Maybe3 (Expression l) l' f' f
forall b c a. (b -> c) -> (a -> b) -> a -> c
.) ((f (Expression l' l' f' f') -> Expression l l' f' f)
-> f (Expression l' l' f' f') -> Maybe3 (Expression l) l' f' f)
-> (f (Expression l' l' f' f')
-> f (Expression l' l' f' f') -> Expression l l' f' f)
-> f (Expression l' l' f' f')
-> f (Expression l' l' f' f')
-> Maybe3 (Expression l) l' f' f
forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall (f :: * -> *) l' (f' :: * -> *).
Wirthy l =>
f (Expression l' l' f' f')
-> f (Expression l' l' f' f') -> Expression l l' f' f
forall l (f :: * -> *) l' (f' :: * -> *).
Wirthy l =>
f (Expression l' l' f' f')
-> f (Expression l' l' f' f') -> Expression l l' f' f
divide @l
integerDivide :: f (Expression l' l' f' f')
-> f (Expression l' l' f' f')
-> Expression (WirthySubsetOf l) l' f' f
integerDivide = (Expression l l' f' f -> Maybe3 (Expression l) l' f' f
forall k k k (f :: k -> k -> k -> *) (a :: k) (b :: k) (c :: k).
f a b c -> Maybe3 f a b c
just3 (Expression l l' f' f -> Maybe3 (Expression l) l' f' f)
-> (f (Expression l' l' f' f') -> Expression l l' f' f)
-> f (Expression l' l' f' f')
-> Maybe3 (Expression l) l' f' f
forall b c a. (b -> c) -> (a -> b) -> a -> c
.) ((f (Expression l' l' f' f') -> Expression l l' f' f)
-> f (Expression l' l' f' f') -> Maybe3 (Expression l) l' f' f)
-> (f (Expression l' l' f' f')
-> f (Expression l' l' f' f') -> Expression l l' f' f)
-> f (Expression l' l' f' f')
-> f (Expression l' l' f' f')
-> Maybe3 (Expression l) l' f' f
forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall (f :: * -> *) l' (f' :: * -> *).
Wirthy l =>
f (Expression l' l' f' f')
-> f (Expression l' l' f' f') -> Expression l l' f' f
forall l (f :: * -> *) l' (f' :: * -> *).
Wirthy l =>
f (Expression l' l' f' f')
-> f (Expression l' l' f' f') -> Expression l l' f' f
integerDivide @l
modulo :: f (Expression l' l' f' f')
-> f (Expression l' l' f' f')
-> Expression (WirthySubsetOf l) l' f' f
modulo = (Expression l l' f' f -> Maybe3 (Expression l) l' f' f
forall k k k (f :: k -> k -> k -> *) (a :: k) (b :: k) (c :: k).
f a b c -> Maybe3 f a b c
just3 (Expression l l' f' f -> Maybe3 (Expression l) l' f' f)
-> (f (Expression l' l' f' f') -> Expression l l' f' f)
-> f (Expression l' l' f' f')
-> Maybe3 (Expression l) l' f' f
forall b c a. (b -> c) -> (a -> b) -> a -> c
.) ((f (Expression l' l' f' f') -> Expression l l' f' f)
-> f (Expression l' l' f' f') -> Maybe3 (Expression l) l' f' f)
-> (f (Expression l' l' f' f')
-> f (Expression l' l' f' f') -> Expression l l' f' f)
-> f (Expression l' l' f' f')
-> f (Expression l' l' f' f')
-> Maybe3 (Expression l) l' f' f
forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall (f :: * -> *) l' (f' :: * -> *).
Wirthy l =>
f (Expression l' l' f' f')
-> f (Expression l' l' f' f') -> Expression l l' f' f
forall l (f :: * -> *) l' (f' :: * -> *).
Wirthy l =>
f (Expression l' l' f' f')
-> f (Expression l' l' f' f') -> Expression l l' f' f
modulo @l
multiply :: f (Expression l' l' f' f')
-> f (Expression l' l' f' f')
-> Expression (WirthySubsetOf l) l' f' f
multiply = (Expression l l' f' f -> Maybe3 (Expression l) l' f' f
forall k k k (f :: k -> k -> k -> *) (a :: k) (b :: k) (c :: k).
f a b c -> Maybe3 f a b c
just3 (Expression l l' f' f -> Maybe3 (Expression l) l' f' f)
-> (f (Expression l' l' f' f') -> Expression l l' f' f)
-> f (Expression l' l' f' f')
-> Maybe3 (Expression l) l' f' f
forall b c a. (b -> c) -> (a -> b) -> a -> c
.) ((f (Expression l' l' f' f') -> Expression l l' f' f)
-> f (Expression l' l' f' f') -> Maybe3 (Expression l) l' f' f)
-> (f (Expression l' l' f' f')
-> f (Expression l' l' f' f') -> Expression l l' f' f)
-> f (Expression l' l' f' f')
-> f (Expression l' l' f' f')
-> Maybe3 (Expression l) l' f' f
forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall (f :: * -> *) l' (f' :: * -> *).
Wirthy l =>
f (Expression l' l' f' f')
-> f (Expression l' l' f' f') -> Expression l l' f' f
forall l (f :: * -> *) l' (f' :: * -> *).
Wirthy l =>
f (Expression l' l' f' f')
-> f (Expression l' l' f' f') -> Expression l l' f' f
multiply @l
functionCall :: f (Designator l' l' f' f')
-> [f (Expression l' l' f' f')]
-> Expression (WirthySubsetOf l) l' f' f
functionCall = (Expression l l' f' f -> Maybe3 (Expression l) l' f' f
forall k k k (f :: k -> k -> k -> *) (a :: k) (b :: k) (c :: k).
f a b c -> Maybe3 f a b c
just3 (Expression l l' f' f -> Maybe3 (Expression l) l' f' f)
-> ([f (Expression l' l' f' f')] -> Expression l l' f' f)
-> [f (Expression l' l' f' f')]
-> Maybe3 (Expression l) l' f' f
forall b c a. (b -> c) -> (a -> b) -> a -> c
.) (([f (Expression l' l' f' f')] -> Expression l l' f' f)
-> [f (Expression l' l' f' f')] -> Maybe3 (Expression l) l' f' f)
-> (f (Designator l' l' f' f')
-> [f (Expression l' l' f' f')] -> Expression l l' f' f)
-> f (Designator l' l' f' f')
-> [f (Expression l' l' f' f')]
-> Maybe3 (Expression l) l' f' f
forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall (f :: * -> *) l' (f' :: * -> *).
Wirthy l =>
f (Designator l' l' f' f')
-> [f (Expression l' l' f' f')] -> Expression l l' f' f
forall l (f :: * -> *) l' (f' :: * -> *).
Wirthy l =>
f (Designator l' l' f' f')
-> [f (Expression l' l' f' f')] -> Expression l l' f' f
functionCall @l
literal :: f (Value l' l' f' f') -> Expression (WirthySubsetOf l) l' f' f
literal = Expression l l' f' f -> Maybe3 (Expression l) l' f' f
forall k k k (f :: k -> k -> k -> *) (a :: k) (b :: k) (c :: k).
f a b c -> Maybe3 f a b c
just3 (Expression l l' f' f -> Maybe3 (Expression l) l' f' f)
-> (f (Value l' l' f' f') -> Expression l l' f' f)
-> f (Value l' l' f' f')
-> Maybe3 (Expression l) l' f' f
forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall (f :: * -> *) l' (f' :: * -> *).
Wirthy l =>
f (Value l' l' f' f') -> Expression l l' f' f
forall l (f :: * -> *) l' (f' :: * -> *).
Wirthy l =>
f (Value l' l' f' f') -> Expression l l' f' f
literal @l
negative :: f (Expression l' l' f' f') -> Expression (WirthySubsetOf l) l' f' f
negative = Expression l l' f' f -> Maybe3 (Expression l) l' f' f
forall k k k (f :: k -> k -> k -> *) (a :: k) (b :: k) (c :: k).
f a b c -> Maybe3 f a b c
just3 (Expression l l' f' f -> Maybe3 (Expression l) l' f' f)
-> (f (Expression l' l' f' f') -> Expression l l' f' f)
-> f (Expression l' l' f' f')
-> Maybe3 (Expression l) l' f' f
forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall (f :: * -> *) l' (f' :: * -> *).
Wirthy l =>
f (Expression l' l' f' f') -> Expression l l' f' f
forall l (f :: * -> *) l' (f' :: * -> *).
Wirthy l =>
f (Expression l' l' f' f') -> Expression l l' f' f
negative @l
positive :: f (Expression l' l' f' f') -> Expression (WirthySubsetOf l) l' f' f
positive = Expression l l' f' f -> Maybe3 (Expression l) l' f' f
forall k k k (f :: k -> k -> k -> *) (a :: k) (b :: k) (c :: k).
f a b c -> Maybe3 f a b c
just3 (Expression l l' f' f -> Maybe3 (Expression l) l' f' f)
-> (f (Expression l' l' f' f') -> Expression l l' f' f)
-> f (Expression l' l' f' f')
-> Maybe3 (Expression l) l' f' f
forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall (f :: * -> *) l' (f' :: * -> *).
Wirthy l =>
f (Expression l' l' f' f') -> Expression l l' f' f
forall l (f :: * -> *) l' (f' :: * -> *).
Wirthy l =>
f (Expression l' l' f' f') -> Expression l l' f' f
positive @l
not :: f (Expression l' l' f' f') -> Expression (WirthySubsetOf l) l' f' f
not = Expression l l' f' f -> Maybe3 (Expression l) l' f' f
forall k k k (f :: k -> k -> k -> *) (a :: k) (b :: k) (c :: k).
f a b c -> Maybe3 f a b c
just3 (Expression l l' f' f -> Maybe3 (Expression l) l' f' f)
-> (f (Expression l' l' f' f') -> Expression l l' f' f)
-> f (Expression l' l' f' f')
-> Maybe3 (Expression l) l' f' f
forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall (f :: * -> *) l' (f' :: * -> *).
Wirthy l =>
f (Expression l' l' f' f') -> Expression l l' f' f
forall l (f :: * -> *) l' (f' :: * -> *).
Wirthy l =>
f (Expression l' l' f' f') -> Expression l l' f' f
not @l
read :: f (Designator l' l' f' f') -> Expression (WirthySubsetOf l) l' f' f
read = Expression l l' f' f -> Maybe3 (Expression l) l' f' f
forall k k k (f :: k -> k -> k -> *) (a :: k) (b :: k) (c :: k).
f a b c -> Maybe3 f a b c
just3 (Expression l l' f' f -> Maybe3 (Expression l) l' f' f)
-> (f (Designator l' l' f' f') -> Expression l l' f' f)
-> f (Designator l' l' f' f')
-> Maybe3 (Expression l) l' f' f
forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall (f :: * -> *) l' (f' :: * -> *).
Wirthy l =>
f (Designator l' l' f' f') -> Expression l l' f' f
forall l (f :: * -> *) l' (f' :: * -> *).
Wirthy l =>
f (Designator l' l' f' f') -> Expression l l' f' f
read @l
relation :: RelOp
-> f (Expression l' l' f' f')
-> f (Expression l' l' f' f')
-> Expression (WirthySubsetOf l) l' f' f
relation = ((Expression l l' f' f -> Maybe3 (Expression l) l' f' f
forall k k k (f :: k -> k -> k -> *) (a :: k) (b :: k) (c :: k).
f a b c -> Maybe3 f a b c
just3 (Expression l l' f' f -> Maybe3 (Expression l) l' f' f)
-> (f (Expression l' l' f' f') -> Expression l l' f' f)
-> f (Expression l' l' f' f')
-> Maybe3 (Expression l) l' f' f
forall b c a. (b -> c) -> (a -> b) -> a -> c
.) ((f (Expression l' l' f' f') -> Expression l l' f' f)
-> f (Expression l' l' f' f') -> Maybe3 (Expression l) l' f' f)
-> (f (Expression l' l' f' f')
-> f (Expression l' l' f' f') -> Expression l l' f' f)
-> f (Expression l' l' f' f')
-> f (Expression l' l' f' f')
-> Maybe3 (Expression l) l' f' f
forall b c a. (b -> c) -> (a -> b) -> a -> c
.) ((f (Expression l' l' f' f')
-> f (Expression l' l' f' f') -> Expression l l' f' f)
-> f (Expression l' l' f' f')
-> f (Expression l' l' f' f')
-> Maybe3 (Expression l) l' f' f)
-> (RelOp
-> f (Expression l' l' f' f')
-> f (Expression l' l' f' f')
-> Expression l l' f' f)
-> RelOp
-> f (Expression l' l' f' f')
-> f (Expression l' l' f' f')
-> Maybe3 (Expression l) l' f' f
forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall (f :: * -> *) l' (f' :: * -> *).
Wirthy l =>
RelOp
-> f (Expression l' l' f' f')
-> f (Expression l' l' f' f')
-> Expression l l' f' f
forall l (f :: * -> *) l' (f' :: * -> *).
Wirthy l =>
RelOp
-> f (Expression l' l' f' f')
-> f (Expression l' l' f' f')
-> Expression l l' f' f
relation @l
element :: f (Expression l' l' f' f') -> Element (WirthySubsetOf l) l' f' f
element = Element l l' f' f -> Maybe3 (Element l) l' f' f
forall k k k (f :: k -> k -> k -> *) (a :: k) (b :: k) (c :: k).
f a b c -> Maybe3 f a b c
just3 (Element l l' f' f -> Maybe3 (Element l) l' f' f)
-> (f (Expression l' l' f' f') -> Element l l' f' f)
-> f (Expression l' l' f' f')
-> Maybe3 (Element l) l' f' f
forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall (f :: * -> *) l' (f' :: * -> *).
Wirthy l =>
f (Expression l' l' f' f') -> Element l l' f' f
forall l (f :: * -> *) l' (f' :: * -> *).
Wirthy l =>
f (Expression l' l' f' f') -> Element l l' f' f
element @l
range :: f (Expression l' l' f' f')
-> f (Expression l' l' f' f') -> Element (WirthySubsetOf l) l' f' f
range = (Element l l' f' f -> Maybe3 (Element l) l' f' f
forall k k k (f :: k -> k -> k -> *) (a :: k) (b :: k) (c :: k).
f a b c -> Maybe3 f a b c
just3 (Element l l' f' f -> Maybe3 (Element l) l' f' f)
-> (f (Expression l' l' f' f') -> Element l l' f' f)
-> f (Expression l' l' f' f')
-> Maybe3 (Element l) l' f' f
forall b c a. (b -> c) -> (a -> b) -> a -> c
.) ((f (Expression l' l' f' f') -> Element l l' f' f)
-> f (Expression l' l' f' f') -> Maybe3 (Element l) l' f' f)
-> (f (Expression l' l' f' f')
-> f (Expression l' l' f' f') -> Element l l' f' f)
-> f (Expression l' l' f' f')
-> f (Expression l' l' f' f')
-> Maybe3 (Element l) l' f' f
forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall (f :: * -> *) l' (f' :: * -> *).
Wirthy l =>
f (Expression l' l' f' f')
-> f (Expression l' l' f' f') -> Element l l' f' f
forall l (f :: * -> *) l' (f' :: * -> *).
Wirthy l =>
f (Expression l' l' f' f')
-> f (Expression l' l' f' f') -> Element l l' f' f
range @l
integer :: Integer -> Value (WirthySubsetOf l) l' f' f
integer = Value l l' f' f -> Maybe3 (Value l) l' f' f
forall k k k (f :: k -> k -> k -> *) (a :: k) (b :: k) (c :: k).
f a b c -> Maybe3 f a b c
just3 (Value l l' f' f -> Maybe3 (Value l) l' f' f)
-> (Integer -> Value l l' f' f)
-> Integer
-> Maybe3 (Value l) l' f' f
forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall l' (f' :: * -> *) (f :: * -> *).
Wirthy l =>
Integer -> Value l l' f' f
forall l l' (f' :: * -> *) (f :: * -> *).
Wirthy l =>
Integer -> Value l l' f' f
integer @l
nil :: Value (WirthySubsetOf l) l' f' f
nil = Value l l' f' f -> Maybe3 (Value l) l' f' f
forall k k k (f :: k -> k -> k -> *) (a :: k) (b :: k) (c :: k).
f a b c -> Maybe3 f a b c
just3 (forall l' (f' :: * -> *) (f :: * -> *). Wirthy l => Value l l' f' f
forall l l' (f' :: * -> *) (f :: * -> *).
Wirthy l =>
Value l l' f' f
nil @l)
false :: Value (WirthySubsetOf l) l' f' f
false = Value l l' f' f -> Maybe3 (Value l) l' f' f
forall k k k (f :: k -> k -> k -> *) (a :: k) (b :: k) (c :: k).
f a b c -> Maybe3 f a b c
just3 (forall l' (f' :: * -> *) (f :: * -> *). Wirthy l => Value l l' f' f
forall l l' (f' :: * -> *) (f :: * -> *).
Wirthy l =>
Value l l' f' f
false @l)
true :: Value (WirthySubsetOf l) l' f' f
true = Value l l' f' f -> Maybe3 (Value l) l' f' f
forall k k k (f :: k -> k -> k -> *) (a :: k) (b :: k) (c :: k).
f a b c -> Maybe3 f a b c
just3 (forall l' (f' :: * -> *) (f :: * -> *). Wirthy l => Value l l' f' f
forall l l' (f' :: * -> *) (f :: * -> *).
Wirthy l =>
Value l l' f' f
true @l)
real :: Double -> Value (WirthySubsetOf l) l' f' f
real = Value l l' f' f -> Maybe3 (Value l) l' f' f
forall k k k (f :: k -> k -> k -> *) (a :: k) (b :: k) (c :: k).
f a b c -> Maybe3 f a b c
just3 (Value l l' f' f -> Maybe3 (Value l) l' f' f)
-> (Double -> Value l l' f' f)
-> Double
-> Maybe3 (Value l) l' f' f
forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall l' (f' :: * -> *) (f :: * -> *).
Wirthy l =>
Double -> Value l l' f' f
forall l l' (f' :: * -> *) (f :: * -> *).
Wirthy l =>
Double -> Value l l' f' f
real @l
string :: Ident -> Value (WirthySubsetOf l) l' f' f
string = Value l l' f' f -> Maybe3 (Value l) l' f' f
forall k k k (f :: k -> k -> k -> *) (a :: k) (b :: k) (c :: k).
f a b c -> Maybe3 f a b c
just3 (Value l l' f' f -> Maybe3 (Value l) l' f' f)
-> (Ident -> Value l l' f' f) -> Ident -> Maybe3 (Value l) l' f' f
forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall l' (f' :: * -> *) (f :: * -> *).
Wirthy l =>
Ident -> Value l l' f' f
forall l l' (f' :: * -> *) (f :: * -> *).
Wirthy l =>
Ident -> Value l l' f' f
string @l
charCode :: Int -> Value (WirthySubsetOf l) l' f' f
charCode = Value l l' f' f -> Maybe3 (Value l) l' f' f
forall k k k (f :: k -> k -> k -> *) (a :: k) (b :: k) (c :: k).
f a b c -> Maybe3 f a b c
just3 (Value l l' f' f -> Maybe3 (Value l) l' f' f)
-> (Int -> Value l l' f' f) -> Int -> Maybe3 (Value l) l' f' f
forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall l' (f' :: * -> *) (f :: * -> *).
Wirthy l =>
Int -> Value l l' f' f
forall l l' (f' :: * -> *) (f :: * -> *).
Wirthy l =>
Int -> Value l l' f' f
charCode @l
builtin :: Ident -> Value (WirthySubsetOf l) l' f' f
builtin = Value l l' f' f -> Maybe3 (Value l) l' f' f
forall k k k (f :: k -> k -> k -> *) (a :: k) (b :: k) (c :: k).
f a b c -> Maybe3 f a b c
just3 (Value l l' f' f -> Maybe3 (Value l) l' f' f)
-> (Ident -> Value l l' f' f) -> Ident -> Maybe3 (Value l) l' f' f
forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall l' (f' :: * -> *) (f :: * -> *).
Wirthy l =>
Ident -> Value l l' f' f
forall l l' (f' :: * -> *) (f :: * -> *).
Wirthy l =>
Ident -> Value l l' f' f
builtin @l
variable :: QualIdent l' -> Designator (WirthySubsetOf l) l' f' f
variable = Designator l l' f' f -> Maybe3 (Designator l) l' f' f
forall k k k (f :: k -> k -> k -> *) (a :: k) (b :: k) (c :: k).
f a b c -> Maybe3 f a b c
just3 (Designator l l' f' f -> Maybe3 (Designator l) l' f' f)
-> (QualIdent l' -> Designator l l' f' f)
-> QualIdent l'
-> Maybe3 (Designator l) l' f' f
forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall l' (f' :: * -> *) (f :: * -> *).
Wirthy l =>
QualIdent l' -> Designator l l' f' f
forall l l' (f' :: * -> *) (f :: * -> *).
Wirthy l =>
QualIdent l' -> Designator l l' f' f
variable @l
field :: f (Designator l' l' f' f')
-> Ident -> Designator (WirthySubsetOf l) l' f' f
field = (Designator l l' f' f -> Maybe3 (Designator l) l' f' f
forall k k k (f :: k -> k -> k -> *) (a :: k) (b :: k) (c :: k).
f a b c -> Maybe3 f a b c
just3 (Designator l l' f' f -> Maybe3 (Designator l) l' f' f)
-> (Ident -> Designator l l' f' f)
-> Ident
-> Maybe3 (Designator l) l' f' f
forall b c a. (b -> c) -> (a -> b) -> a -> c
.) ((Ident -> Designator l l' f' f)
-> Ident -> Maybe3 (Designator l) l' f' f)
-> (f (Designator l' l' f' f') -> Ident -> Designator l l' f' f)
-> f (Designator l' l' f' f')
-> Ident
-> Maybe3 (Designator l) l' f' f
forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall (f :: * -> *) l' (f' :: * -> *).
Wirthy l =>
f (Designator l' l' f' f') -> Ident -> Designator l l' f' f
forall l (f :: * -> *) l' (f' :: * -> *).
Wirthy l =>
f (Designator l' l' f' f') -> Ident -> Designator l l' f' f
field @l
index :: f (Designator l' l' f' f')
-> NonEmpty (f (Expression l' l' f' f'))
-> Designator (WirthySubsetOf l) l' f' f
index = (Designator l l' f' f -> Maybe3 (Designator l) l' f' f
forall k k k (f :: k -> k -> k -> *) (a :: k) (b :: k) (c :: k).
f a b c -> Maybe3 f a b c
just3 (Designator l l' f' f -> Maybe3 (Designator l) l' f' f)
-> (NonEmpty (f (Expression l' l' f' f')) -> Designator l l' f' f)
-> NonEmpty (f (Expression l' l' f' f'))
-> Maybe3 (Designator l) l' f' f
forall b c a. (b -> c) -> (a -> b) -> a -> c
.) ((NonEmpty (f (Expression l' l' f' f')) -> Designator l l' f' f)
-> NonEmpty (f (Expression l' l' f' f'))
-> Maybe3 (Designator l) l' f' f)
-> (f (Designator l' l' f' f')
-> NonEmpty (f (Expression l' l' f' f')) -> Designator l l' f' f)
-> f (Designator l' l' f' f')
-> NonEmpty (f (Expression l' l' f' f'))
-> Maybe3 (Designator l) l' f' f
forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall (f :: * -> *) l' (f' :: * -> *).
Wirthy l =>
f (Designator l' l' f' f')
-> NonEmpty (f (Expression l' l' f' f')) -> Designator l l' f' f
forall l (f :: * -> *) l' (f' :: * -> *).
Wirthy l =>
f (Designator l' l' f' f')
-> NonEmpty (f (Expression l' l' f' f')) -> Designator l l' f' f
index @l
dereference :: f (Designator l' l' f' f') -> Designator (WirthySubsetOf l) l' f' f
dereference = Designator l l' f' f -> Maybe3 (Designator l) l' f' f
forall k k k (f :: k -> k -> k -> *) (a :: k) (b :: k) (c :: k).
f a b c -> Maybe3 f a b c
just3 (Designator l l' f' f -> Maybe3 (Designator l) l' f' f)
-> (f (Designator l' l' f' f') -> Designator l l' f' f)
-> f (Designator l' l' f' f')
-> Maybe3 (Designator l) l' f' f
forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall (f :: * -> *) l' (f' :: * -> *).
Wirthy l =>
f (Designator l' l' f' f') -> Designator l l' f' f
forall l (f :: * -> *) l' (f' :: * -> *).
Wirthy l =>
f (Designator l' l' f' f') -> Designator l l' f' f
dereference @l
identDef :: Ident -> IdentDef (WirthySubsetOf l)
identDef = IdentDef l -> Maybe (IdentDef l)
forall a. a -> Maybe a
Just (IdentDef l -> Maybe (IdentDef l))
-> (Ident -> IdentDef l) -> Ident -> Maybe (IdentDef l)
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Wirthy l => Ident -> IdentDef l
forall l. Wirthy l => Ident -> IdentDef l
identDef @l
nonQualIdent :: Ident -> QualIdent (WirthySubsetOf l)
nonQualIdent = QualIdent l -> Maybe (QualIdent l)
forall a. a -> Maybe a
Just (QualIdent l -> Maybe (QualIdent l))
-> (Ident -> QualIdent l) -> Ident -> Maybe (QualIdent l)
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Wirthy l => Ident -> QualIdent l
forall l. Wirthy l => Ident -> QualIdent l
nonQualIdent @l
class Wirthy l => Nameable l where
getProcedureName :: Nameable l' => ProcedureHeading l l' f' f -> Ident
getIdentDefName :: IdentDef l -> Ident
getNonQualIdentName :: QualIdent l -> Maybe Ident
class Wirthy l => Oberon l where
type WithAlternative l = (x :: * -> (* -> *) -> (* -> *) -> *) | x -> l
moduleUnit :: Ident -> [Import l] -> f (Block l' l' f' f') -> Module l l' f' f
moduleImport :: Maybe Ident -> Ident -> Import l
qualIdent :: Ident -> Ident -> QualIdent l
getQualIdentNames :: QualIdent l -> Maybe (Ident, Ident)
exported :: Ident -> IdentDef l
forwardDeclaration :: IdentDef l' -> Maybe (f (FormalParameters l' l' f' f')) -> Declaration l l' f' f
procedureHeading :: Bool -> IdentDef l' -> Maybe (f (FormalParameters l' l' f' f')) -> ProcedureHeading l l' f' f
arrayType :: [f (ConstExpression l' l' f' f')] -> f (Type l' l' f' f') -> Type l l' f' f
recordType :: Maybe (BaseType l') -> [f (FieldList l' l' f' f')] -> Type l l' f' f
withStatement :: f (WithAlternative l' l' f' f') -> Statement l l' f' f
withAlternative :: QualIdent l' -> QualIdent l' -> f (StatementSequence l' l' f' f') -> WithAlternative l l' f' f
is :: f (Expression l' l' f' f') -> QualIdent l' -> Expression l l' f' f
set :: [f (Element l' l' f' f')] -> Expression l l' f' f
typeGuard :: f (Designator l' l' f' f') -> QualIdent l' -> Designator l l' f' f
instance Wirthy l => Oberon (WirthySubsetOf l) where
type WithAlternative (WirthySubsetOf l) = Maybe3 (WithAlternative l)
moduleUnit :: Ident
-> [Import (WirthySubsetOf l)]
-> f (Block l' l' f' f')
-> Module (WirthySubsetOf l) l' f' f
moduleUnit = ([Maybe (Import l)]
-> f (Block l' l' f' f') -> Maybe3 (Module l) l' f' f)
-> Ident
-> [Maybe (Import l)]
-> f (Block l' l' f' f')
-> Maybe3 (Module l) l' f' f
forall a b. a -> b -> a
const (([Maybe (Import l)]
-> f (Block l' l' f' f') -> Maybe3 (Module l) l' f' f)
-> Ident
-> [Maybe (Import l)]
-> f (Block l' l' f' f')
-> Maybe3 (Module l) l' f' f)
-> ([Maybe (Import l)]
-> f (Block l' l' f' f') -> Maybe3 (Module l) l' f' f)
-> Ident
-> [Maybe (Import l)]
-> f (Block l' l' f' f')
-> Maybe3 (Module l) l' f' f
forall a b. (a -> b) -> a -> b
$ (f (Block l' l' f' f') -> Maybe3 (Module l) l' f' f)
-> [Maybe (Import l)]
-> f (Block l' l' f' f')
-> Maybe3 (Module l) l' f' f
forall a b. a -> b -> a
const ((f (Block l' l' f' f') -> Maybe3 (Module l) l' f' f)
-> [Maybe (Import l)]
-> f (Block l' l' f' f')
-> Maybe3 (Module l) l' f' f)
-> (f (Block l' l' f' f') -> Maybe3 (Module l) l' f' f)
-> [Maybe (Import l)]
-> f (Block l' l' f' f')
-> Maybe3 (Module l) l' f' f
forall a b. (a -> b) -> a -> b
$ Maybe3 (Module l) l' f' f
-> f (Block l' l' f' f') -> Maybe3 (Module l) l' f' f
forall a b. a -> b -> a
const Maybe3 (Module l) l' f' f
forall k k k (f :: k -> k -> k -> *) (a :: k) (b :: k) (c :: k).
Maybe3 f a b c
nothing3
moduleImport :: Maybe Ident -> Ident -> Import (WirthySubsetOf l)
moduleImport = (Ident -> Maybe (Import l))
-> Maybe Ident -> Ident -> Maybe (Import l)
forall a b. a -> b -> a
const ((Ident -> Maybe (Import l))
-> Maybe Ident -> Ident -> Maybe (Import l))
-> (Ident -> Maybe (Import l))
-> Maybe Ident
-> Ident
-> Maybe (Import l)
forall a b. (a -> b) -> a -> b
$ Maybe (Import l) -> Ident -> Maybe (Import l)
forall a b. a -> b -> a
const Maybe (Import l)
forall a. Maybe a
Nothing
qualIdent :: Ident -> Ident -> QualIdent (WirthySubsetOf l)
qualIdent = (Ident -> Maybe (QualIdent l))
-> Ident -> Ident -> Maybe (QualIdent l)
forall a b. a -> b -> a
const ((Ident -> Maybe (QualIdent l))
-> Ident -> Ident -> Maybe (QualIdent l))
-> (Ident -> Maybe (QualIdent l))
-> Ident
-> Ident
-> Maybe (QualIdent l)
forall a b. (a -> b) -> a -> b
$ Maybe (QualIdent l) -> Ident -> Maybe (QualIdent l)
forall a b. a -> b -> a
const Maybe (QualIdent l)
forall a. Maybe a
Nothing
getQualIdentNames :: QualIdent (WirthySubsetOf l) -> Maybe (Ident, Ident)
getQualIdentNames = Maybe (Ident, Ident) -> Maybe (QualIdent l) -> Maybe (Ident, Ident)
forall a b. a -> b -> a
const Maybe (Ident, Ident)
forall a. Maybe a
Nothing
exported :: Ident -> IdentDef (WirthySubsetOf l)
exported = Maybe (IdentDef l) -> Ident -> Maybe (IdentDef l)
forall a b. a -> b -> a
const Maybe (IdentDef l)
forall a. Maybe a
Nothing
forwardDeclaration :: IdentDef l'
-> Maybe (f (FormalParameters l' l' f' f'))
-> Declaration (WirthySubsetOf l) l' f' f
forwardDeclaration = (Maybe (f (FormalParameters l' l' f' f'))
-> Maybe3 (Declaration l) l' f' f)
-> IdentDef l'
-> Maybe (f (FormalParameters l' l' f' f'))
-> Maybe3 (Declaration l) l' f' f
forall a b. a -> b -> a
const ((Maybe (f (FormalParameters l' l' f' f'))
-> Maybe3 (Declaration l) l' f' f)
-> IdentDef l'
-> Maybe (f (FormalParameters l' l' f' f'))
-> Maybe3 (Declaration l) l' f' f)
-> (Maybe (f (FormalParameters l' l' f' f'))
-> Maybe3 (Declaration l) l' f' f)
-> IdentDef l'
-> Maybe (f (FormalParameters l' l' f' f'))
-> Maybe3 (Declaration l) l' f' f
forall a b. (a -> b) -> a -> b
$ Maybe3 (Declaration l) l' f' f
-> Maybe (f (FormalParameters l' l' f' f'))
-> Maybe3 (Declaration l) l' f' f
forall a b. a -> b -> a
const Maybe3 (Declaration l) l' f' f
forall k k k (f :: k -> k -> k -> *) (a :: k) (b :: k) (c :: k).
Maybe3 f a b c
nothing3
procedureHeading :: Bool
-> IdentDef l'
-> Maybe (f (FormalParameters l' l' f' f'))
-> ProcedureHeading (WirthySubsetOf l) l' f' f
procedureHeading = (IdentDef l'
-> Maybe (f (FormalParameters l' l' f' f'))
-> Maybe3 (ProcedureHeading l) l' f' f)
-> Bool
-> IdentDef l'
-> Maybe (f (FormalParameters l' l' f' f'))
-> Maybe3 (ProcedureHeading l) l' f' f
forall a b. a -> b -> a
const ((IdentDef l'
-> Maybe (f (FormalParameters l' l' f' f'))
-> Maybe3 (ProcedureHeading l) l' f' f)
-> Bool
-> IdentDef l'
-> Maybe (f (FormalParameters l' l' f' f'))
-> Maybe3 (ProcedureHeading l) l' f' f)
-> (IdentDef l'
-> Maybe (f (FormalParameters l' l' f' f'))
-> Maybe3 (ProcedureHeading l) l' f' f)
-> Bool
-> IdentDef l'
-> Maybe (f (FormalParameters l' l' f' f'))
-> Maybe3 (ProcedureHeading l) l' f' f
forall a b. (a -> b) -> a -> b
$ (Maybe (f (FormalParameters l' l' f' f'))
-> Maybe3 (ProcedureHeading l) l' f' f)
-> IdentDef l'
-> Maybe (f (FormalParameters l' l' f' f'))
-> Maybe3 (ProcedureHeading l) l' f' f
forall a b. a -> b -> a
const ((Maybe (f (FormalParameters l' l' f' f'))
-> Maybe3 (ProcedureHeading l) l' f' f)
-> IdentDef l'
-> Maybe (f (FormalParameters l' l' f' f'))
-> Maybe3 (ProcedureHeading l) l' f' f)
-> (Maybe (f (FormalParameters l' l' f' f'))
-> Maybe3 (ProcedureHeading l) l' f' f)
-> IdentDef l'
-> Maybe (f (FormalParameters l' l' f' f'))
-> Maybe3 (ProcedureHeading l) l' f' f
forall a b. (a -> b) -> a -> b
$ Maybe3 (ProcedureHeading l) l' f' f
-> Maybe (f (FormalParameters l' l' f' f'))
-> Maybe3 (ProcedureHeading l) l' f' f
forall a b. a -> b -> a
const Maybe3 (ProcedureHeading l) l' f' f
forall k k k (f :: k -> k -> k -> *) (a :: k) (b :: k) (c :: k).
Maybe3 f a b c
nothing3
arrayType :: [f (ConstExpression l' l' f' f')]
-> f (Type l' l' f' f') -> Type (WirthySubsetOf l) l' f' f
arrayType = (f (Type l' l' f' f') -> Maybe3 (Type l) l' f' f)
-> [f (ConstExpression l' l' f' f')]
-> f (Type l' l' f' f')
-> Maybe3 (Type l) l' f' f
forall a b. a -> b -> a
const ((f (Type l' l' f' f') -> Maybe3 (Type l) l' f' f)
-> [f (ConstExpression l' l' f' f')]
-> f (Type l' l' f' f')
-> Maybe3 (Type l) l' f' f)
-> (f (Type l' l' f' f') -> Maybe3 (Type l) l' f' f)
-> [f (ConstExpression l' l' f' f')]
-> f (Type l' l' f' f')
-> Maybe3 (Type l) l' f' f
forall a b. (a -> b) -> a -> b
$ Maybe3 (Type l) l' f' f
-> f (Type l' l' f' f') -> Maybe3 (Type l) l' f' f
forall a b. a -> b -> a
const Maybe3 (Type l) l' f' f
forall k k k (f :: k -> k -> k -> *) (a :: k) (b :: k) (c :: k).
Maybe3 f a b c
nothing3
recordType :: Maybe (BaseType l')
-> [f (FieldList l' l' f' f')] -> Type (WirthySubsetOf l) l' f' f
recordType = ([f (FieldList l' l' f' f')] -> Maybe3 (Type l) l' f' f)
-> Maybe (BaseType l')
-> [f (FieldList l' l' f' f')]
-> Maybe3 (Type l) l' f' f
forall a b. a -> b -> a
const (([f (FieldList l' l' f' f')] -> Maybe3 (Type l) l' f' f)
-> Maybe (BaseType l')
-> [f (FieldList l' l' f' f')]
-> Maybe3 (Type l) l' f' f)
-> ([f (FieldList l' l' f' f')] -> Maybe3 (Type l) l' f' f)
-> Maybe (BaseType l')
-> [f (FieldList l' l' f' f')]
-> Maybe3 (Type l) l' f' f
forall a b. (a -> b) -> a -> b
$ Maybe3 (Type l) l' f' f
-> [f (FieldList l' l' f' f')] -> Maybe3 (Type l) l' f' f
forall a b. a -> b -> a
const Maybe3 (Type l) l' f' f
forall k k k (f :: k -> k -> k -> *) (a :: k) (b :: k) (c :: k).
Maybe3 f a b c
nothing3
withStatement :: f (WithAlternative l' l' f' f')
-> Statement (WirthySubsetOf l) l' f' f
withStatement = Maybe3 (Statement l) l' f' f
-> f (WithAlternative l' l' f' f') -> Maybe3 (Statement l) l' f' f
forall a b. a -> b -> a
const Maybe3 (Statement l) l' f' f
forall k k k (f :: k -> k -> k -> *) (a :: k) (b :: k) (c :: k).
Maybe3 f a b c
nothing3
withAlternative :: QualIdent l'
-> QualIdent l'
-> f (StatementSequence l' l' f' f')
-> WithAlternative (WirthySubsetOf l) l' f' f
withAlternative = (QualIdent l'
-> f (StatementSequence l' l' f' f')
-> Maybe3 (WithAlternative l) l' f' f)
-> QualIdent l'
-> QualIdent l'
-> f (StatementSequence l' l' f' f')
-> Maybe3 (WithAlternative l) l' f' f
forall a b. a -> b -> a
const ((QualIdent l'
-> f (StatementSequence l' l' f' f')
-> Maybe3 (WithAlternative l) l' f' f)
-> QualIdent l'
-> QualIdent l'
-> f (StatementSequence l' l' f' f')
-> Maybe3 (WithAlternative l) l' f' f)
-> (QualIdent l'
-> f (StatementSequence l' l' f' f')
-> Maybe3 (WithAlternative l) l' f' f)
-> QualIdent l'
-> QualIdent l'
-> f (StatementSequence l' l' f' f')
-> Maybe3 (WithAlternative l) l' f' f
forall a b. (a -> b) -> a -> b
$ (f (StatementSequence l' l' f' f')
-> Maybe3 (WithAlternative l) l' f' f)
-> QualIdent l'
-> f (StatementSequence l' l' f' f')
-> Maybe3 (WithAlternative l) l' f' f
forall a b. a -> b -> a
const ((f (StatementSequence l' l' f' f')
-> Maybe3 (WithAlternative l) l' f' f)
-> QualIdent l'
-> f (StatementSequence l' l' f' f')
-> Maybe3 (WithAlternative l) l' f' f)
-> (f (StatementSequence l' l' f' f')
-> Maybe3 (WithAlternative l) l' f' f)
-> QualIdent l'
-> f (StatementSequence l' l' f' f')
-> Maybe3 (WithAlternative l) l' f' f
forall a b. (a -> b) -> a -> b
$ Maybe3 (WithAlternative l) l' f' f
-> f (StatementSequence l' l' f' f')
-> Maybe3 (WithAlternative l) l' f' f
forall a b. a -> b -> a
const Maybe3 (WithAlternative l) l' f' f
forall k k k (f :: k -> k -> k -> *) (a :: k) (b :: k) (c :: k).
Maybe3 f a b c
nothing3
is :: f (Expression l' l' f' f')
-> QualIdent l' -> Expression (WirthySubsetOf l) l' f' f
is = (QualIdent l' -> Maybe3 (Expression l) l' f' f)
-> f (Expression l' l' f' f')
-> QualIdent l'
-> Maybe3 (Expression l) l' f' f
forall a b. a -> b -> a
const ((QualIdent l' -> Maybe3 (Expression l) l' f' f)
-> f (Expression l' l' f' f')
-> QualIdent l'
-> Maybe3 (Expression l) l' f' f)
-> (QualIdent l' -> Maybe3 (Expression l) l' f' f)
-> f (Expression l' l' f' f')
-> QualIdent l'
-> Maybe3 (Expression l) l' f' f
forall a b. (a -> b) -> a -> b
$ Maybe3 (Expression l) l' f' f
-> QualIdent l' -> Maybe3 (Expression l) l' f' f
forall a b. a -> b -> a
const Maybe3 (Expression l) l' f' f
forall k k k (f :: k -> k -> k -> *) (a :: k) (b :: k) (c :: k).
Maybe3 f a b c
nothing3
set :: [f (Element l' l' f' f')] -> Expression (WirthySubsetOf l) l' f' f
set = Maybe3 (Expression l) l' f' f
-> [f (Element l' l' f' f')] -> Maybe3 (Expression l) l' f' f
forall a b. a -> b -> a
const Maybe3 (Expression l) l' f' f
forall k k k (f :: k -> k -> k -> *) (a :: k) (b :: k) (c :: k).
Maybe3 f a b c
nothing3
typeGuard :: f (Designator l' l' f' f')
-> QualIdent l' -> Designator (WirthySubsetOf l) l' f' f
typeGuard = (QualIdent l' -> Maybe3 (Designator l) l' f' f)
-> f (Designator l' l' f' f')
-> QualIdent l'
-> Maybe3 (Designator l) l' f' f
forall a b. a -> b -> a
const ((QualIdent l' -> Maybe3 (Designator l) l' f' f)
-> f (Designator l' l' f' f')
-> QualIdent l'
-> Maybe3 (Designator l) l' f' f)
-> (QualIdent l' -> Maybe3 (Designator l) l' f' f)
-> f (Designator l' l' f' f')
-> QualIdent l'
-> Maybe3 (Designator l) l' f' f
forall a b. (a -> b) -> a -> b
$ Maybe3 (Designator l) l' f' f
-> QualIdent l' -> Maybe3 (Designator l) l' f' f
forall a b. a -> b -> a
const Maybe3 (Designator l) l' f' f
forall k k k (f :: k -> k -> k -> *) (a :: k) (b :: k) (c :: k).
Maybe3 f a b c
nothing3
class Oberon l => Oberon2 l where
readOnly :: Ident -> IdentDef l
typeBoundHeading :: Bool -> Ident -> Ident -> Bool -> IdentDef l' -> Maybe (f (FormalParameters l' l' f' f'))
-> ProcedureHeading l l' f' f
forStatement :: Ident -> f (Expression l' l' f' f') -> f (Expression l' l' f' f')
-> Maybe (f (Expression l' l' f' f'))
-> f (StatementSequence l' l' f' f')
-> Statement l l' f' f
variantWithStatement :: NonEmpty (f (WithAlternative l' l' f' f')) -> Maybe (f (StatementSequence l' l' f' f'))
-> Statement l l' f' f
instance Wirthy l => Oberon2 (WirthySubsetOf l) where
readOnly :: Ident -> IdentDef (WirthySubsetOf l)
readOnly = Maybe (IdentDef l) -> Ident -> Maybe (IdentDef l)
forall a b. a -> b -> a
const Maybe (IdentDef l)
forall a. Maybe a
Nothing
typeBoundHeading :: Bool
-> Ident
-> Ident
-> Bool
-> IdentDef l'
-> Maybe (f (FormalParameters l' l' f' f'))
-> ProcedureHeading (WirthySubsetOf l) l' f' f
typeBoundHeading = (Ident
-> Ident
-> Bool
-> IdentDef l'
-> Maybe (f (FormalParameters l' l' f' f'))
-> Maybe3 (ProcedureHeading l) l' f' f)
-> Bool
-> Ident
-> Ident
-> Bool
-> IdentDef l'
-> Maybe (f (FormalParameters l' l' f' f'))
-> Maybe3 (ProcedureHeading l) l' f' f
forall a b. a -> b -> a
const ((Ident
-> Ident
-> Bool
-> IdentDef l'
-> Maybe (f (FormalParameters l' l' f' f'))
-> Maybe3 (ProcedureHeading l) l' f' f)
-> Bool
-> Ident
-> Ident
-> Bool
-> IdentDef l'
-> Maybe (f (FormalParameters l' l' f' f'))
-> Maybe3 (ProcedureHeading l) l' f' f)
-> (Ident
-> Ident
-> Bool
-> IdentDef l'
-> Maybe (f (FormalParameters l' l' f' f'))
-> Maybe3 (ProcedureHeading l) l' f' f)
-> Bool
-> Ident
-> Ident
-> Bool
-> IdentDef l'
-> Maybe (f (FormalParameters l' l' f' f'))
-> Maybe3 (ProcedureHeading l) l' f' f
forall a b. (a -> b) -> a -> b
$ (Ident
-> Bool
-> IdentDef l'
-> Maybe (f (FormalParameters l' l' f' f'))
-> Maybe3 (ProcedureHeading l) l' f' f)
-> Ident
-> Ident
-> Bool
-> IdentDef l'
-> Maybe (f (FormalParameters l' l' f' f'))
-> Maybe3 (ProcedureHeading l) l' f' f
forall a b. a -> b -> a
const ((Ident
-> Bool
-> IdentDef l'
-> Maybe (f (FormalParameters l' l' f' f'))
-> Maybe3 (ProcedureHeading l) l' f' f)
-> Ident
-> Ident
-> Bool
-> IdentDef l'
-> Maybe (f (FormalParameters l' l' f' f'))
-> Maybe3 (ProcedureHeading l) l' f' f)
-> (Ident
-> Bool
-> IdentDef l'
-> Maybe (f (FormalParameters l' l' f' f'))
-> Maybe3 (ProcedureHeading l) l' f' f)
-> Ident
-> Ident
-> Bool
-> IdentDef l'
-> Maybe (f (FormalParameters l' l' f' f'))
-> Maybe3 (ProcedureHeading l) l' f' f
forall a b. (a -> b) -> a -> b
$ (Bool
-> IdentDef l'
-> Maybe (f (FormalParameters l' l' f' f'))
-> Maybe3 (ProcedureHeading l) l' f' f)
-> Ident
-> Bool
-> IdentDef l'
-> Maybe (f (FormalParameters l' l' f' f'))
-> Maybe3 (ProcedureHeading l) l' f' f
forall a b. a -> b -> a
const ((Bool
-> IdentDef l'
-> Maybe (f (FormalParameters l' l' f' f'))
-> Maybe3 (ProcedureHeading l) l' f' f)
-> Ident
-> Bool
-> IdentDef l'
-> Maybe (f (FormalParameters l' l' f' f'))
-> Maybe3 (ProcedureHeading l) l' f' f)
-> (Bool
-> IdentDef l'
-> Maybe (f (FormalParameters l' l' f' f'))
-> Maybe3 (ProcedureHeading l) l' f' f)
-> Ident
-> Bool
-> IdentDef l'
-> Maybe (f (FormalParameters l' l' f' f'))
-> Maybe3 (ProcedureHeading l) l' f' f
forall a b. (a -> b) -> a -> b
$ (IdentDef l'
-> Maybe (f (FormalParameters l' l' f' f'))
-> Maybe3 (ProcedureHeading l) l' f' f)
-> Bool
-> IdentDef l'
-> Maybe (f (FormalParameters l' l' f' f'))
-> Maybe3 (ProcedureHeading l) l' f' f
forall a b. a -> b -> a
const ((IdentDef l'
-> Maybe (f (FormalParameters l' l' f' f'))
-> Maybe3 (ProcedureHeading l) l' f' f)
-> Bool
-> IdentDef l'
-> Maybe (f (FormalParameters l' l' f' f'))
-> Maybe3 (ProcedureHeading l) l' f' f)
-> (IdentDef l'
-> Maybe (f (FormalParameters l' l' f' f'))
-> Maybe3 (ProcedureHeading l) l' f' f)
-> Bool
-> IdentDef l'
-> Maybe (f (FormalParameters l' l' f' f'))
-> Maybe3 (ProcedureHeading l) l' f' f
forall a b. (a -> b) -> a -> b
$ (Maybe (f (FormalParameters l' l' f' f'))
-> Maybe3 (ProcedureHeading l) l' f' f)
-> IdentDef l'
-> Maybe (f (FormalParameters l' l' f' f'))
-> Maybe3 (ProcedureHeading l) l' f' f
forall a b. a -> b -> a
const ((Maybe (f (FormalParameters l' l' f' f'))
-> Maybe3 (ProcedureHeading l) l' f' f)
-> IdentDef l'
-> Maybe (f (FormalParameters l' l' f' f'))
-> Maybe3 (ProcedureHeading l) l' f' f)
-> (Maybe (f (FormalParameters l' l' f' f'))
-> Maybe3 (ProcedureHeading l) l' f' f)
-> IdentDef l'
-> Maybe (f (FormalParameters l' l' f' f'))
-> Maybe3 (ProcedureHeading l) l' f' f
forall a b. (a -> b) -> a -> b
$ Maybe3 (ProcedureHeading l) l' f' f
-> Maybe (f (FormalParameters l' l' f' f'))
-> Maybe3 (ProcedureHeading l) l' f' f
forall a b. a -> b -> a
const Maybe3 (ProcedureHeading l) l' f' f
forall k k k (f :: k -> k -> k -> *) (a :: k) (b :: k) (c :: k).
Maybe3 f a b c
nothing3
forStatement :: Ident
-> f (Expression l' l' f' f')
-> f (Expression l' l' f' f')
-> Maybe (f (Expression l' l' f' f'))
-> f (StatementSequence l' l' f' f')
-> Statement (WirthySubsetOf l) l' f' f
forStatement = (f (Expression l' l' f' f')
-> f (Expression l' l' f' f')
-> Maybe (f (Expression l' l' f' f'))
-> f (StatementSequence l' l' f' f')
-> Maybe3 (Statement l) l' f' f)
-> Ident
-> f (Expression l' l' f' f')
-> f (Expression l' l' f' f')
-> Maybe (f (Expression l' l' f' f'))
-> f (StatementSequence l' l' f' f')
-> Maybe3 (Statement l) l' f' f
forall a b. a -> b -> a
const ((f (Expression l' l' f' f')
-> f (Expression l' l' f' f')
-> Maybe (f (Expression l' l' f' f'))
-> f (StatementSequence l' l' f' f')
-> Maybe3 (Statement l) l' f' f)
-> Ident
-> f (Expression l' l' f' f')
-> f (Expression l' l' f' f')
-> Maybe (f (Expression l' l' f' f'))
-> f (StatementSequence l' l' f' f')
-> Maybe3 (Statement l) l' f' f)
-> (f (Expression l' l' f' f')
-> f (Expression l' l' f' f')
-> Maybe (f (Expression l' l' f' f'))
-> f (StatementSequence l' l' f' f')
-> Maybe3 (Statement l) l' f' f)
-> Ident
-> f (Expression l' l' f' f')
-> f (Expression l' l' f' f')
-> Maybe (f (Expression l' l' f' f'))
-> f (StatementSequence l' l' f' f')
-> Maybe3 (Statement l) l' f' f
forall a b. (a -> b) -> a -> b
$ (f (Expression l' l' f' f')
-> Maybe (f (Expression l' l' f' f'))
-> f (StatementSequence l' l' f' f')
-> Maybe3 (Statement l) l' f' f)
-> f (Expression l' l' f' f')
-> f (Expression l' l' f' f')
-> Maybe (f (Expression l' l' f' f'))
-> f (StatementSequence l' l' f' f')
-> Maybe3 (Statement l) l' f' f
forall a b. a -> b -> a
const ((f (Expression l' l' f' f')
-> Maybe (f (Expression l' l' f' f'))
-> f (StatementSequence l' l' f' f')
-> Maybe3 (Statement l) l' f' f)
-> f (Expression l' l' f' f')
-> f (Expression l' l' f' f')
-> Maybe (f (Expression l' l' f' f'))
-> f (StatementSequence l' l' f' f')
-> Maybe3 (Statement l) l' f' f)
-> (f (Expression l' l' f' f')
-> Maybe (f (Expression l' l' f' f'))
-> f (StatementSequence l' l' f' f')
-> Maybe3 (Statement l) l' f' f)
-> f (Expression l' l' f' f')
-> f (Expression l' l' f' f')
-> Maybe (f (Expression l' l' f' f'))
-> f (StatementSequence l' l' f' f')
-> Maybe3 (Statement l) l' f' f
forall a b. (a -> b) -> a -> b
$ (Maybe (f (Expression l' l' f' f'))
-> f (StatementSequence l' l' f' f')
-> Maybe3 (Statement l) l' f' f)
-> f (Expression l' l' f' f')
-> Maybe (f (Expression l' l' f' f'))
-> f (StatementSequence l' l' f' f')
-> Maybe3 (Statement l) l' f' f
forall a b. a -> b -> a
const ((Maybe (f (Expression l' l' f' f'))
-> f (StatementSequence l' l' f' f')
-> Maybe3 (Statement l) l' f' f)
-> f (Expression l' l' f' f')
-> Maybe (f (Expression l' l' f' f'))
-> f (StatementSequence l' l' f' f')
-> Maybe3 (Statement l) l' f' f)
-> (Maybe (f (Expression l' l' f' f'))
-> f (StatementSequence l' l' f' f')
-> Maybe3 (Statement l) l' f' f)
-> f (Expression l' l' f' f')
-> Maybe (f (Expression l' l' f' f'))
-> f (StatementSequence l' l' f' f')
-> Maybe3 (Statement l) l' f' f
forall a b. (a -> b) -> a -> b
$ (f (StatementSequence l' l' f' f') -> Maybe3 (Statement l) l' f' f)
-> Maybe (f (Expression l' l' f' f'))
-> f (StatementSequence l' l' f' f')
-> Maybe3 (Statement l) l' f' f
forall a b. a -> b -> a
const ((f (StatementSequence l' l' f' f')
-> Maybe3 (Statement l) l' f' f)
-> Maybe (f (Expression l' l' f' f'))
-> f (StatementSequence l' l' f' f')
-> Maybe3 (Statement l) l' f' f)
-> (f (StatementSequence l' l' f' f')
-> Maybe3 (Statement l) l' f' f)
-> Maybe (f (Expression l' l' f' f'))
-> f (StatementSequence l' l' f' f')
-> Maybe3 (Statement l) l' f' f
forall a b. (a -> b) -> a -> b
$ Maybe3 (Statement l) l' f' f
-> f (StatementSequence l' l' f' f')
-> Maybe3 (Statement l) l' f' f
forall a b. a -> b -> a
const Maybe3 (Statement l) l' f' f
forall k k k (f :: k -> k -> k -> *) (a :: k) (b :: k) (c :: k).
Maybe3 f a b c
nothing3
variantWithStatement :: NonEmpty (f (WithAlternative l' l' f' f'))
-> Maybe (f (StatementSequence l' l' f' f'))
-> Statement (WirthySubsetOf l) l' f' f
variantWithStatement = (Maybe (f (StatementSequence l' l' f' f'))
-> Maybe3 (Statement l) l' f' f)
-> NonEmpty (f (WithAlternative l' l' f' f'))
-> Maybe (f (StatementSequence l' l' f' f'))
-> Maybe3 (Statement l) l' f' f
forall a b. a -> b -> a
const ((Maybe (f (StatementSequence l' l' f' f'))
-> Maybe3 (Statement l) l' f' f)
-> NonEmpty (f (WithAlternative l' l' f' f'))
-> Maybe (f (StatementSequence l' l' f' f'))
-> Maybe3 (Statement l) l' f' f)
-> (Maybe (f (StatementSequence l' l' f' f'))
-> Maybe3 (Statement l) l' f' f)
-> NonEmpty (f (WithAlternative l' l' f' f'))
-> Maybe (f (StatementSequence l' l' f' f'))
-> Maybe3 (Statement l) l' f' f
forall a b. (a -> b) -> a -> b
$ Maybe3 (Statement l) l' f' f
-> Maybe (f (StatementSequence l' l' f' f'))
-> Maybe3 (Statement l) l' f' f
forall a b. a -> b -> a
const Maybe3 (Statement l) l' f' f
forall k k k (f :: k -> k -> k -> *) (a :: k) (b :: k) (c :: k).
Maybe3 f a b c
nothing3
type BaseType l = QualIdent l
type ReturnType l = QualIdent l
type ConstExpression l = Expression l
type IdentList l = NonEmpty (IdentDef l)