Safe Haskell	None
Language	Haskell2010

Cubix.Language.Java.Parametric.Common

Synopsis

data ArrayDimVarDeclAttrs (e :: * -> *) l where
- ArrayDimVarDeclAttrs :: Int -> ArrayDimVarDeclAttrs e LocalVarDeclAttrsL
data ModifiersTypeIsMultiLocalVarDeclCommonAttrs e l where
- ModifiersTypeIsMultiLocalVarDeclCommonAttrs :: e ([ModifierL], TypeL) -> ModifiersTypeIsMultiLocalVarDeclCommonAttrs e MultiLocalVarDeclCommonAttrsL
iModifiersTypeIsMultiLocalVarDeclCommonAttrs :: forall h fs a j. ((:-<:) ModifiersTypeIsMultiLocalVarDeclCommonAttrs fs, InjF fs MultiLocalVarDeclCommonAttrsL j) => CxtS h fs a ([ModifierL], TypeL) -> CxtS h fs a j
iArrayDimVarDeclAttrs :: forall h fs a j. ((:-<:) ArrayDimVarDeclAttrs fs, InjF fs LocalVarDeclAttrsL j) => Int -> CxtS h fs a j
data VarInitIsLocalVarInit (e :: Type -> Type) i = i ~ LocalVarInitL => VarInitIsLocalVarInit (e VarInitL)
data MultiLocalVarDeclIsBlockStmt (e :: Type -> Type) i = i ~ BlockStmtL => MultiLocalVarDeclIsBlockStmt (e MultiLocalVarDeclL)
data IdentIsIdent (e :: Type -> Type) i = i ~ IdentL => IdentIsIdent (e IdentL)
data BlockIsBlock (e :: Type -> Type) i = i ~ BlockL => BlockIsBlock (e BlockL)
data AssignIsExp (e :: Type -> Type) i = i ~ ExpL => AssignIsExp (e AssignL)
data ExpIsRhs (e :: Type -> Type) i = i ~ RhsL => ExpIsRhs (e ExpL)
data LhsIsLhs (e :: Type -> Type) i = i ~ LhsL => LhsIsLhs (e LhsL)
data BlockStmtIsBlockItem (e :: Type -> Type) i = i ~ BlockItemL => BlockStmtIsBlockItem (e BlockStmtL)
data AssignOpIsAssignOp (e :: Type -> Type) i = i ~ AssignOpL => AssignOpIsAssignOp (e AssignOpL)
iAssignOpIsAssignOp :: forall h fs a j. ((:-<:) AssignOpIsAssignOp fs, InjF fs AssignOpL j) => CxtS h fs a AssignOpL -> CxtS h fs a j
iBlockStmtIsBlockItem :: forall h fs a j. ((:-<:) BlockStmtIsBlockItem fs, InjF fs BlockItemL j) => CxtS h fs a BlockStmtL -> CxtS h fs a j
iLhsIsLhs :: forall h fs a j. ((:-<:) LhsIsLhs fs, InjF fs LhsL j) => CxtS h fs a LhsL -> CxtS h fs a j
iExpIsRhs :: forall h fs a j. ((:-<:) ExpIsRhs fs, InjF fs RhsL j) => CxtS h fs a ExpL -> CxtS h fs a j
iAssignIsExp :: forall h fs a j. ((:-<:) AssignIsExp fs, InjF fs ExpL j) => CxtS h fs a AssignL -> CxtS h fs a j
iBlockIsBlock :: forall h fs a j. ((:-<:) BlockIsBlock fs, InjF fs BlockL j) => CxtS h fs a BlockL -> CxtS h fs a j
iIdentIsIdent :: forall h fs a j. ((:-<:) IdentIsIdent fs, InjF fs IdentL j) => CxtS h fs a IdentL -> CxtS h fs a j
iMultiLocalVarDeclIsBlockStmt :: forall h fs a j. ((:-<:) MultiLocalVarDeclIsBlockStmt fs, InjF fs BlockStmtL j) => CxtS h fs a MultiLocalVarDeclL -> CxtS h fs a j
iVarInitIsLocalVarInit :: forall h fs a j. ((:-<:) VarInitIsLocalVarInit fs, InjF fs LocalVarInitL j) => CxtS h fs a VarInitL -> CxtS h fs a j
data JavaReceiver e l where
- ImplicitReceiver :: JavaReceiver e ReceiverL
- PrimaryReceiver :: e ExpL -> JavaReceiver e ReceiverL
- SuperReceiver :: JavaReceiver e ReceiverL
- ClassSuperReceiver :: e NameL -> JavaReceiver e ReceiverL
- TypeReceiver :: e NameL -> JavaReceiver e ReceiverL
data JavaTypeArgs e l where
- JavaTypeArgs :: e [RefTypeL] -> JavaTypeArgs e FunctionCallAttrsL
data JavaMethodDeclAttrsL
data JavaMethodDeclAttrs e l where
- JavaMethodDeclAttrs :: e [ModifierL] -> e [TypeParamL] -> e (Maybe TypeL) -> e [RefTypeL] -> JavaMethodDeclAttrs e JavaMethodDeclAttrsL
data JavaParamAttrsL
data JavaParamAttrs e l where
- JavaParamAttrs :: e [ModifierL] -> e TypeL -> Int -> JavaParamAttrs e JavaParamAttrsL
data JavaVarargsParamL
data JavaVarargsParam e l where
- JavaVarargsParam :: e JavaParamAttrsL -> e IdentL -> JavaVarargsParam e JavaVarargsParamL
iJavaVarargsParam :: forall h fs a j. ((:-<:) JavaVarargsParam fs, InjF fs JavaVarargsParamL j) => CxtS h fs a JavaParamAttrsL -> CxtS h fs a IdentL -> CxtS h fs a j
iJavaParamAttrs :: forall h fs a j. ((:-<:) JavaParamAttrs fs, InjF fs JavaParamAttrsL j) => CxtS h fs a [ModifierL] -> CxtS h fs a TypeL -> Int -> CxtS h fs a j
iJavaMethodDeclAttrs :: forall h fs a j. ((:-<:) JavaMethodDeclAttrs fs, InjF fs JavaMethodDeclAttrsL j) => CxtS h fs a [ModifierL] -> CxtS h fs a [TypeParamL] -> CxtS h fs a (Maybe TypeL) -> CxtS h fs a [RefTypeL] -> CxtS h fs a j
iJavaTypeArgs :: forall h fs a j. ((:-<:) JavaTypeArgs fs, InjF fs FunctionCallAttrsL j) => CxtS h fs a [RefTypeL] -> CxtS h fs a j
iTypeReceiver :: forall h fs a j. ((:-<:) JavaReceiver fs, InjF fs ReceiverL j) => CxtS h fs a NameL -> CxtS h fs a j
iClassSuperReceiver :: forall h fs a j. ((:-<:) JavaReceiver fs, InjF fs ReceiverL j) => CxtS h fs a NameL -> CxtS h fs a j
iSuperReceiver :: forall h fs a j. ((:-<:) JavaReceiver fs, InjF fs ReceiverL j) => CxtS h fs a j
iPrimaryReceiver :: forall h fs a j. ((:-<:) JavaReceiver fs, InjF fs ReceiverL j) => CxtS h fs a ExpL -> CxtS h fs a j
iImplicitReceiver :: forall h fs a j. ((:-<:) JavaReceiver fs, InjF fs ReceiverL j) => CxtS h fs a j
pattern JavaMethodDeclAttrs' :: (JavaMethodDeclAttrs :-<: fs, All HFunctor fs) => CxtS h fs a [ModifierL] -> CxtS h fs a [TypeParamL] -> CxtS h fs a (Maybe TypeL) -> CxtS h fs a [RefTypeL] -> CxtS h fs a JavaMethodDeclAttrsL
pattern JavaParamAttrs' :: (JavaParamAttrs :-<: fs, All HFunctor fs) => CxtS h fs a [ModifierL] -> CxtS h fs a TypeL -> Int -> CxtS h fs a JavaParamAttrsL
pattern JavaVarargsParam' :: (JavaVarargsParam :-<: fs, All HFunctor fs) => CxtS h fs a JavaParamAttrsL -> CxtS h fs a IdentL -> CxtS h fs a JavaVarargsParamL
data FunctionCallIsMethodInvocation (e :: Type -> Type) i = i ~ MethodInvocationL => FunctionCallIsMethodInvocation (e FunctionCallL)
data NameIsFunctionExp (e :: Type -> Type) i = i ~ FunctionExpL => NameIsFunctionExp (e NameL)
data ExpIsPositionalArgExp (e :: Type -> Type) i = i ~ PositionalArgExpL => ExpIsPositionalArgExp (e ExpL)
data FunctionDeclIsMemberDecl (e :: Type -> Type) i = i ~ MemberDeclL => FunctionDeclIsMemberDecl (e FunctionDeclL)
data JavaMethodDeclAttrsIsFunctionDeclAttrs (e :: Type -> Type) i = i ~ FunctionDeclAttrsL => JavaMethodDeclAttrsIsFunctionDeclAttrs (e JavaMethodDeclAttrsL)
data JavaParamAttrsIsFunctionParameterDeclAttrs (e :: Type -> Type) i = i ~ FunctionParameterDeclAttrsL => JavaParamAttrsIsFunctionParameterDeclAttrs (e JavaParamAttrsL)
data JavaVarargsParamIsFunctionParameterDecl (e :: Type -> Type) i = i ~ FunctionParameterDeclL => JavaVarargsParamIsFunctionParameterDecl (e JavaVarargsParamL)
iJavaVarargsParamIsFunctionParameterDecl :: forall h fs a j. ((:-<:) JavaVarargsParamIsFunctionParameterDecl fs, InjF fs FunctionParameterDeclL j) => CxtS h fs a JavaVarargsParamL -> CxtS h fs a j
iJavaParamAttrsIsFunctionParameterDeclAttrs :: forall h fs a j. ((:-<:) JavaParamAttrsIsFunctionParameterDeclAttrs fs, InjF fs FunctionParameterDeclAttrsL j) => CxtS h fs a JavaParamAttrsL -> CxtS h fs a j
iJavaMethodDeclAttrsIsFunctionDeclAttrs :: forall h fs a j. ((:-<:) JavaMethodDeclAttrsIsFunctionDeclAttrs fs, InjF fs FunctionDeclAttrsL j) => CxtS h fs a JavaMethodDeclAttrsL -> CxtS h fs a j
iFunctionDeclIsMemberDecl :: forall h fs a j. ((:-<:) FunctionDeclIsMemberDecl fs, InjF fs MemberDeclL j) => CxtS h fs a FunctionDeclL -> CxtS h fs a j
iExpIsPositionalArgExp :: forall h fs a j. ((:-<:) ExpIsPositionalArgExp fs, InjF fs PositionalArgExpL j) => CxtS h fs a ExpL -> CxtS h fs a j
iNameIsFunctionExp :: forall h fs a j. ((:-<:) NameIsFunctionExp fs, InjF fs FunctionExpL j) => CxtS h fs a NameL -> CxtS h fs a j
iFunctionCallIsMethodInvocation :: forall h fs a j. ((:-<:) FunctionCallIsMethodInvocation fs, InjF fs MethodInvocationL j) => CxtS h fs a FunctionCallL -> CxtS h fs a j
data FunctionDefIsMemberDecl (e :: Type -> Type) i = i ~ MemberDeclL => FunctionDefIsMemberDecl (e FunctionDefL)
data JavaMethodDeclAttrsIsFunctionDefAttrs (e :: Type -> Type) i = i ~ FunctionDefAttrsL => JavaMethodDeclAttrsIsFunctionDefAttrs (e JavaMethodDeclAttrsL)
data JavaParamAttrsIsParameterAttrs (e :: Type -> Type) i = i ~ ParameterAttrsL => JavaParamAttrsIsParameterAttrs (e JavaParamAttrsL)
data JavaVarargsParamIsFunctionParameter (e :: Type -> Type) i = i ~ FunctionParameterL => JavaVarargsParamIsFunctionParameter (e JavaVarargsParamL)
data BlockIsFunctionBody (e :: Type -> Type) i = i ~ FunctionBodyL => BlockIsFunctionBody (e BlockL)
iBlockIsFunctionBody :: forall h fs a j. ((:-<:) BlockIsFunctionBody fs, InjF fs FunctionBodyL j) => CxtS h fs a BlockL -> CxtS h fs a j
iJavaVarargsParamIsFunctionParameter :: forall h fs a j. ((:-<:) JavaVarargsParamIsFunctionParameter fs, InjF fs FunctionParameterL j) => CxtS h fs a JavaVarargsParamL -> CxtS h fs a j
iJavaParamAttrsIsParameterAttrs :: forall h fs a j. ((:-<:) JavaParamAttrsIsParameterAttrs fs, InjF fs ParameterAttrsL j) => CxtS h fs a JavaParamAttrsL -> CxtS h fs a j
iJavaMethodDeclAttrsIsFunctionDefAttrs :: forall h fs a j. ((:-<:) JavaMethodDeclAttrsIsFunctionDefAttrs fs, InjF fs FunctionDefAttrsL j) => CxtS h fs a JavaMethodDeclAttrsL -> CxtS h fs a j
iFunctionDefIsMemberDecl :: forall h fs a j. ((:-<:) FunctionDefIsMemberDecl fs, InjF fs MemberDeclL j) => CxtS h fs a FunctionDefL -> CxtS h fs a j
type MJavaSig = '[Annotation, ArrayIndex, ArrayInit, BlockStmt, Catch, ClassBody, ClassDecl, CompilationUnit, ConstructorBody, Decl, ElementValue, EnumBody, EnumConstant, Exp, ExplConstrInv, FieldAccess, ForInit, FormalParam, ImportDecl, InterfaceBody, InterfaceDecl, InterfaceKind, LambdaExpression, LambdaParams, Lhs, MemberDecl, Modifier, PackageDecl, Stmt, SwitchBlock, SwitchLabel, TypeDecl, VarDecl, VarDeclId, VarInit, AssignOp, Literal, Op, ClassType, Diamond, Name, PrimType, RefType, Type, TypeArgument, TypeDeclSpecifier, TypeParam, WildcardBound, PairF, ListF, MaybeF, VarInitIsLocalVarInit, ModifiersTypeIsMultiLocalVarDeclCommonAttrs, IdentIsIdent, MultiLocalVarDeclIsBlockStmt, BlockIsBlock, AssignIsExp, ExpIsRhs, LhsIsLhs, BlockStmtIsBlockItem, AssignOpIsAssignOp, IdentIsVarDeclBinder, FunctionCallIsMethodInvocation, NameIsFunctionExp, ExpIsPositionalArgExp, FunctionDeclIsMemberDecl, JavaMethodDeclAttrsIsFunctionDeclAttrs, JavaParamAttrsIsFunctionParameterDeclAttrs, JavaVarargsParamIsFunctionParameterDecl, FunctionDefIsMemberDecl, JavaMethodDeclAttrsIsFunctionDefAttrs, JavaParamAttrsIsParameterAttrs, JavaVarargsParamIsFunctionParameter, BlockIsFunctionBody, ArrayDimVarDeclAttrs, JavaReceiver, JavaTypeArgs, JavaMethodDeclAttrs, JavaParamAttrs, JavaVarargsParam, OptLocalVarInit, SingleLocalVarDecl, MultiLocalVarDecl, Ident, AssignOpEquals, Assign, Block, EmptyBlockEnd, FunctionCall, FunctionIdent, FunctionArgumentList, ReceiverArg, PositionalArgument, FunctionDecl, SelfParameterDecl, PositionalParameterDeclWithIdent, FunctionDef, SelfParameter, PositionalParameter]
type MJavaTerm = Term MJavaSig
type MJavaTermLab = TermLab MJavaSig
type MJavaCxt h a = CxtS h MJavaSig a
type MJavaCxtA h a p = AnnCxtS p h MJavaSig a
translate :: JavaTerm l -> MJavaTerm l
untranslate :: MJavaTerm l -> JavaTerm l
data WildcardBoundL
data WildcardBound (e :: Type -> Type) i
- = i ~ WildcardBoundL => ExtendsBound (e RefTypeL)
- | i ~ WildcardBoundL => SuperBound (e RefTypeL)
data TypeParamL
data TypeParam (e :: Type -> Type) i = i ~ TypeParamL => TypeParam (e IdentL) (e [RefTypeL])
data TypeDeclSpecifierL
data TypeDeclSpecifier (e :: Type -> Type) i
- = i ~ TypeDeclSpecifierL => TypeDeclSpecifier (e ClassTypeL)
- | i ~ TypeDeclSpecifierL => TypeDeclSpecifierWithDiamond (e ClassTypeL) (e IdentL) (e DiamondL)
- | i ~ TypeDeclSpecifierL => TypeDeclSpecifierUnqualifiedWithDiamond (e IdentL) (e DiamondL)
data TypeArgumentL
data TypeArgument (e :: Type -> Type) i
- = i ~ TypeArgumentL => Wildcard (e (Maybe WildcardBoundL))
- | i ~ TypeArgumentL => ActualType (e RefTypeL)
data TypeL
data Type (e :: Type -> Type) i
- = i ~ TypeL => PrimType (e PrimTypeL)
- | i ~ TypeL => RefType (e RefTypeL)
data RefTypeL
data RefType (e :: Type -> Type) i
- = i ~ RefTypeL => ClassRefType (e ClassTypeL)
- | i ~ RefTypeL => ArrayType (e TypeL)
data PrimTypeL
data PrimType (e :: Type -> Type) i
- = i ~ PrimTypeL => BooleanT
- | i ~ PrimTypeL => ByteT
- | i ~ PrimTypeL => ShortT
- | i ~ PrimTypeL => IntT
- | i ~ PrimTypeL => LongT
- | i ~ PrimTypeL => CharT
- | i ~ PrimTypeL => FloatT
- | i ~ PrimTypeL => DoubleT
data NameL
data Name (e :: Type -> Type) i = i ~ NameL => Name (e [IdentL])
data DiamondL
data Diamond (e :: Type -> Type) i = i ~ DiamondL => Diamond
data ClassTypeL
data ClassType (e :: Type -> Type) i = i ~ ClassTypeL => ClassType (e [(IdentL, [TypeArgumentL])])
data OpL
data Op (e :: Type -> Type) i
- = i ~ OpL => Mult
- | i ~ OpL => Div
- | i ~ OpL => Rem
- | i ~ OpL => Add
- | i ~ OpL => Sub
- | i ~ OpL => LShift
- | i ~ OpL => RShift
- | i ~ OpL => RRShift
- | i ~ OpL => LThan
- | i ~ OpL => GThan
- | i ~ OpL => LThanE
- | i ~ OpL => GThanE
- | i ~ OpL => Equal
- | i ~ OpL => NotEq
- | i ~ OpL => And
- | i ~ OpL => Or
- | i ~ OpL => Xor
- | i ~ OpL => CAnd
- | i ~ OpL => COr
data LiteralL
data Literal (e :: Type -> Type) i
- = i ~ LiteralL => Int Integer
- | i ~ LiteralL => Word Integer
- | i ~ LiteralL => Float Double
- | i ~ LiteralL => Double Double
- | i ~ LiteralL => Boolean Bool
- | i ~ LiteralL => Char Char
- | i ~ LiteralL => String String
- | i ~ LiteralL => Null
data AssignOpL
data AssignOp (e :: Type -> Type) i
- = i ~ AssignOpL => EqualA
- | i ~ AssignOpL => MultA
- | i ~ AssignOpL => DivA
- | i ~ AssignOpL => RemA
- | i ~ AssignOpL => AddA
- | i ~ AssignOpL => SubA
- | i ~ AssignOpL => LShiftA
- | i ~ AssignOpL => RShiftA
- | i ~ AssignOpL => RRShiftA
- | i ~ AssignOpL => AndA
- | i ~ AssignOpL => XorA
- | i ~ AssignOpL => OrA
data VarInitL
data VarInit (e :: Type -> Type) i
- = i ~ VarInitL => InitExp (e ExpL)
- | i ~ VarInitL => InitArray (e ArrayInitL)
data VarDeclIdL
data VarDeclId (e :: Type -> Type) i
- = i ~ VarDeclIdL => VarId (e IdentL)
- | i ~ VarDeclIdL => VarDeclArray (e VarDeclIdL)
data VarDeclL
data VarDecl (e :: Type -> Type) i = i ~ VarDeclL => VarDecl (e VarDeclIdL) (e (Maybe VarInitL))
data TypeDeclL
data TypeDecl (e :: Type -> Type) i
- = i ~ TypeDeclL => ClassTypeDecl (e ClassDeclL)
- | i ~ TypeDeclL => InterfaceTypeDecl (e InterfaceDeclL)
data SwitchLabelL
data SwitchLabel (e :: Type -> Type) i
- = i ~ SwitchLabelL => SwitchCase (e ExpL)
- | i ~ SwitchLabelL => Default
data SwitchBlockL
data SwitchBlock (e :: Type -> Type) i = i ~ SwitchBlockL => SwitchBlock (e SwitchLabelL) (e [BlockStmtL])
data StmtL
data Stmt (e :: Type -> Type) i
- = i ~ StmtL => StmtBlock (e BlockL)
- | i ~ StmtL => IfThen (e ExpL) (e StmtL)
- | i ~ StmtL => IfThenElse (e ExpL) (e StmtL) (e StmtL)
- | i ~ StmtL => While (e ExpL) (e StmtL)
- | i ~ StmtL => BasicFor (e (Maybe ForInitL)) (e (Maybe ExpL)) (e (Maybe [ExpL])) (e StmtL)
- | i ~ StmtL => EnhancedFor (e [ModifierL]) (e TypeL) (e IdentL) (e ExpL) (e StmtL)
- | i ~ StmtL => Empty
- | i ~ StmtL => ExpStmt (e ExpL)
- | i ~ StmtL => Assert (e ExpL) (e (Maybe ExpL))
- | i ~ StmtL => Switch (e ExpL) (e [SwitchBlockL])
- | i ~ StmtL => Do (e StmtL) (e ExpL)
- | i ~ StmtL => Break (e (Maybe IdentL))
- | i ~ StmtL => Continue (e (Maybe IdentL))
- | i ~ StmtL => Return (e (Maybe ExpL))
- | i ~ StmtL => Synchronized (e ExpL) (e BlockL)
- | i ~ StmtL => Throw (e ExpL)
- | i ~ StmtL => Try (e BlockL) (e [CatchL]) (e (Maybe BlockL))
- | i ~ StmtL => Labeled (e IdentL) (e StmtL)
data PackageDeclL
data PackageDecl (e :: Type -> Type) i = i ~ PackageDeclL => PackageDecl (e NameL)
data ModifierL
data Modifier (e :: Type -> Type) i
- = i ~ ModifierL => Public
- | i ~ ModifierL => Private
- | i ~ ModifierL => Protected
- | i ~ ModifierL => Abstract
- | i ~ ModifierL => Final
- | i ~ ModifierL => Static
- | i ~ ModifierL => StrictFP
- | i ~ ModifierL => Transient
- | i ~ ModifierL => Volatile
- | i ~ ModifierL => Native
- | i ~ ModifierL => Annotation (e AnnotationL)
- | i ~ ModifierL => Synchronized_
data MethodInvocationL
data MethodInvocation (e :: Type -> Type) i
- = i ~ MethodInvocationL => MethodCall (e NameL) (e [ExpL])
- | i ~ MethodInvocationL => PrimaryMethodCall (e ExpL) (e [RefTypeL]) (e IdentL) (e [ExpL])
- | i ~ MethodInvocationL => SuperMethodCall (e [RefTypeL]) (e IdentL) (e [ExpL])
- | i ~ MethodInvocationL => ClassMethodCall (e NameL) (e [RefTypeL]) (e IdentL) (e [ExpL])
- | i ~ MethodInvocationL => TypeMethodCall (e NameL) (e [RefTypeL]) (e IdentL) (e [ExpL])
data MethodBodyL
data MethodBody (e :: Type -> Type) i = i ~ MethodBodyL => MethodBody (e (Maybe BlockL))
data MemberDeclL
data MemberDecl (e :: Type -> Type) i
- = i ~ MemberDeclL => FieldDecl (e [ModifierL]) (e TypeL) (e [VarDeclL])
- | i ~ MemberDeclL => MethodDecl (e [ModifierL]) (e [TypeParamL]) (e (Maybe TypeL)) (e IdentL) (e [FormalParamL]) (e [RefTypeL]) (e (Maybe ExpL)) (e MethodBodyL)
- | i ~ MemberDeclL => ConstructorDecl (e [ModifierL]) (e [TypeParamL]) (e IdentL) (e [FormalParamL]) (e [RefTypeL]) (e ConstructorBodyL)
- | i ~ MemberDeclL => MemberClassDecl (e ClassDeclL)
- | i ~ MemberDeclL => MemberInterfaceDecl (e InterfaceDeclL)
data Lhs (e :: Type -> Type) i
- = i ~ LhsL => NameLhs (e NameL)
- | i ~ LhsL => FieldLhs (e FieldAccessL)
- | i ~ LhsL => ArrayLhs (e ArrayIndexL)
data LambdaParamsL
data LambdaParams (e :: Type -> Type) i
- = i ~ LambdaParamsL => LambdaSingleParam (e IdentL)
- | i ~ LambdaParamsL => LambdaFormalParams (e [FormalParamL])
- | i ~ LambdaParamsL => LambdaInferredParams (e [IdentL])
data LambdaExpressionL
data LambdaExpression (e :: Type -> Type) i
- = i ~ LambdaExpressionL => LambdaExpression (e ExpL)
- | i ~ LambdaExpressionL => LambdaBlock (e BlockL)
data InterfaceKindL
data InterfaceKind (e :: Type -> Type) i
- = i ~ InterfaceKindL => InterfaceNormal
- | i ~ InterfaceKindL => InterfaceAnnotation
data InterfaceDeclL
data InterfaceDecl (e :: Type -> Type) i = i ~ InterfaceDeclL => InterfaceDecl (e InterfaceKindL) (e [ModifierL]) (e IdentL) (e [TypeParamL]) (e [RefTypeL]) (e InterfaceBodyL)
data InterfaceBodyL
data InterfaceBody (e :: Type -> Type) i = i ~ InterfaceBodyL => InterfaceBody (e [MemberDeclL])
data ImportDeclL
data ImportDecl (e :: Type -> Type) i = i ~ ImportDeclL => ImportDecl Bool (e NameL) Bool
data FormalParamL
data FormalParam (e :: Type -> Type) i = i ~ FormalParamL => FormalParam (e [ModifierL]) (e TypeL) Bool (e VarDeclIdL)
data ForInitL
data ForInit (e :: Type -> Type) i
- = i ~ ForInitL => ForLocalVars (e [ModifierL]) (e TypeL) (e [VarDeclL])
- | i ~ ForInitL => ForInitExps (e [ExpL])
data FieldAccessL
data FieldAccess (e :: Type -> Type) i
- = i ~ FieldAccessL => PrimaryFieldAccess (e ExpL) (e IdentL)
- | i ~ FieldAccessL => SuperFieldAccess (e IdentL)
- | i ~ FieldAccessL => ClassFieldAccess (e NameL) (e IdentL)
data ExplConstrInvL
data ExplConstrInv (e :: Type -> Type) i
- = i ~ ExplConstrInvL => ThisInvoke (e [RefTypeL]) (e [ExpL])
- | i ~ ExplConstrInvL => SuperInvoke (e [RefTypeL]) (e [ExpL])
- | i ~ ExplConstrInvL => PrimarySuperInvoke (e ExpL) (e [RefTypeL]) (e [ExpL])
data ExpL
data Exp (e :: Type -> Type) i
- = i ~ ExpL => Lit (e LiteralL)
- | i ~ ExpL => ClassLit (e (Maybe TypeL))
- | i ~ ExpL => This
- | i ~ ExpL => ThisClass (e NameL)
- | i ~ ExpL => InstanceCreation (e [TypeArgumentL]) (e TypeDeclSpecifierL) (e [ExpL]) (e (Maybe ClassBodyL))
- | i ~ ExpL => QualInstanceCreation (e ExpL) (e [TypeArgumentL]) (e IdentL) (e [ExpL]) (e (Maybe ClassBodyL))
- | i ~ ExpL => ArrayCreate (e TypeL) (e [ExpL]) Int
- | i ~ ExpL => ArrayCreateInit (e TypeL) Int (e ArrayInitL)
- | i ~ ExpL => FieldAccess (e FieldAccessL)
- | i ~ ExpL => MethodInv (e MethodInvocationL)
- | i ~ ExpL => ArrayAccess (e ArrayIndexL)
- | i ~ ExpL => ExpName (e NameL)
- | i ~ ExpL => PostIncrement (e ExpL)
- | i ~ ExpL => PostDecrement (e ExpL)
- | i ~ ExpL => PreIncrement (e ExpL)
- | i ~ ExpL => PreDecrement (e ExpL)
- | i ~ ExpL => PrePlus (e ExpL)
- | i ~ ExpL => PreMinus (e ExpL)
- | i ~ ExpL => PreBitCompl (e ExpL)
- | i ~ ExpL => PreNot (e ExpL)
- | i ~ ExpL => Cast (e TypeL) (e ExpL)
- | i ~ ExpL => BinOp (e ExpL) (e OpL) (e ExpL)
- | i ~ ExpL => InstanceOf (e ExpL) (e RefTypeL)
- | i ~ ExpL => Cond (e ExpL) (e ExpL) (e ExpL)
- | i ~ ExpL => Assign (e LhsL) (e AssignOpL) (e ExpL)
- | i ~ ExpL => Lambda (e LambdaParamsL) (e LambdaExpressionL)
- | i ~ ExpL => MethodRef (e NameL) (e IdentL)
data EnumConstantL
data EnumConstant (e :: Type -> Type) i = i ~ EnumConstantL => EnumConstant (e IdentL) (e [ExpL]) (e (Maybe ClassBodyL))
data EnumBodyL
data EnumBody (e :: Type -> Type) i = i ~ EnumBodyL => EnumBody (e [EnumConstantL]) (e [DeclL])
data ElementValueL
data ElementValue (e :: Type -> Type) i
- = i ~ ElementValueL => EVVal (e VarInitL)
- | i ~ ElementValueL => EVAnn (e AnnotationL)
data DeclL
data Decl (e :: Type -> Type) i
- = i ~ DeclL => MemberDecl (e MemberDeclL)
- | i ~ DeclL => InitDecl Bool (e BlockL)
data ConstructorBodyL
data ConstructorBody (e :: Type -> Type) i = i ~ ConstructorBodyL => ConstructorBody (e (Maybe ExplConstrInvL)) (e [BlockStmtL])
data CompilationUnitL
data CompilationUnit (e :: Type -> Type) i = i ~ CompilationUnitL => CompilationUnit (e (Maybe PackageDeclL)) (e [ImportDeclL]) (e [TypeDeclL])
data ClassDeclL
data ClassDecl (e :: Type -> Type) i
- = i ~ ClassDeclL => ClassDecl (e [ModifierL]) (e IdentL) (e [TypeParamL]) (e (Maybe RefTypeL)) (e [RefTypeL]) (e ClassBodyL)
- | i ~ ClassDeclL => EnumDecl (e [ModifierL]) (e IdentL) (e [RefTypeL]) (e EnumBodyL)
data ClassBodyL
data ClassBody (e :: Type -> Type) i = i ~ ClassBodyL => ClassBody (e [DeclL])
data CatchL
data Catch (e :: Type -> Type) i = i ~ CatchL => Catch (e FormalParamL) (e BlockL)
data BlockStmtL
data BlockStmt (e :: Type -> Type) i
- = i ~ BlockStmtL => BlockStmt (e StmtL)
- | i ~ BlockStmtL => LocalClass (e ClassDeclL)
- | i ~ BlockStmtL => LocalVars (e [ModifierL]) (e TypeL) (e [VarDeclL])
data ArrayInitL
data ArrayInit (e :: Type -> Type) i = i ~ ArrayInitL => ArrayInit (e [VarInitL])
data ArrayIndexL
data ArrayIndex (e :: Type -> Type) i = i ~ ArrayIndexL => ArrayIndex (e ExpL) (e [ExpL])
data AnnotationL
data Annotation (e :: Type -> Type) i
- = i ~ AnnotationL => NormalAnnotation {
  - annName :: (e NameL)
  - annKV :: (e [(IdentL, ElementValueL)])
  }
- | i ~ AnnotationL => SingleElementAnnotation {
  - annName :: (e NameL)
  - annValue :: (e ElementValueL)
  }
- | i ~ AnnotationL => MarkerAnnotation {
  - annName :: (e NameL)
  }
iNormalAnnotation :: forall h fs a j. ((:-<:) Annotation fs, InjF fs AnnotationL j) => CxtS h fs a NameL -> CxtS h fs a [(IdentL, ElementValueL)] -> CxtS h fs a j
iSingleElementAnnotation :: forall h fs a j. ((:-<:) Annotation fs, InjF fs AnnotationL j) => CxtS h fs a NameL -> CxtS h fs a ElementValueL -> CxtS h fs a j
iMarkerAnnotation :: forall h fs a j. ((:-<:) Annotation fs, InjF fs AnnotationL j) => CxtS h fs a NameL -> CxtS h fs a j
iArrayIndex :: forall h fs a j. ((:-<:) ArrayIndex fs, InjF fs ArrayIndexL j) => CxtS h fs a ExpL -> CxtS h fs a [ExpL] -> CxtS h fs a j
iArrayInit :: forall h fs a j. ((:-<:) ArrayInit fs, InjF fs ArrayInitL j) => CxtS h fs a [VarInitL] -> CxtS h fs a j
iBlockStmt :: forall h fs a j. ((:-<:) BlockStmt fs, InjF fs BlockStmtL j) => CxtS h fs a StmtL -> CxtS h fs a j
iLocalClass :: forall h fs a j. ((:-<:) BlockStmt fs, InjF fs BlockStmtL j) => CxtS h fs a ClassDeclL -> CxtS h fs a j
iLocalVars :: forall h fs a j. ((:-<:) BlockStmt fs, InjF fs BlockStmtL j) => CxtS h fs a [ModifierL] -> CxtS h fs a TypeL -> CxtS h fs a [VarDeclL] -> CxtS h fs a j
iCatch :: forall h fs a j. ((:-<:) Catch fs, InjF fs CatchL j) => CxtS h fs a FormalParamL -> CxtS h fs a BlockL -> CxtS h fs a j
iClassBody :: forall h fs a j. ((:-<:) ClassBody fs, InjF fs ClassBodyL j) => CxtS h fs a [DeclL] -> CxtS h fs a j
iClassDecl :: forall h fs a j. ((:-<:) ClassDecl fs, InjF fs ClassDeclL j) => CxtS h fs a [ModifierL] -> CxtS h fs a IdentL -> CxtS h fs a [TypeParamL] -> CxtS h fs a (Maybe RefTypeL) -> CxtS h fs a [RefTypeL] -> CxtS h fs a ClassBodyL -> CxtS h fs a j
iEnumDecl :: forall h fs a j. ((:-<:) ClassDecl fs, InjF fs ClassDeclL j) => CxtS h fs a [ModifierL] -> CxtS h fs a IdentL -> CxtS h fs a [RefTypeL] -> CxtS h fs a EnumBodyL -> CxtS h fs a j
iCompilationUnit :: forall h fs a j. ((:-<:) CompilationUnit fs, InjF fs CompilationUnitL j) => CxtS h fs a (Maybe PackageDeclL) -> CxtS h fs a [ImportDeclL] -> CxtS h fs a [TypeDeclL] -> CxtS h fs a j
iConstructorBody :: forall h fs a j. ((:-<:) ConstructorBody fs, InjF fs ConstructorBodyL j) => CxtS h fs a (Maybe ExplConstrInvL) -> CxtS h fs a [BlockStmtL] -> CxtS h fs a j
iMemberDecl :: forall h fs a j. ((:-<:) Decl fs, InjF fs DeclL j) => CxtS h fs a MemberDeclL -> CxtS h fs a j
iInitDecl :: forall h fs a j. ((:-<:) Decl fs, InjF fs DeclL j) => Bool -> CxtS h fs a BlockL -> CxtS h fs a j
iEVVal :: forall h fs a j. ((:-<:) ElementValue fs, InjF fs ElementValueL j) => CxtS h fs a VarInitL -> CxtS h fs a j
iEVAnn :: forall h fs a j. ((:-<:) ElementValue fs, InjF fs ElementValueL j) => CxtS h fs a AnnotationL -> CxtS h fs a j
iEnumBody :: forall h fs a j. ((:-<:) EnumBody fs, InjF fs EnumBodyL j) => CxtS h fs a [EnumConstantL] -> CxtS h fs a [DeclL] -> CxtS h fs a j
iEnumConstant :: forall h fs a j. ((:-<:) EnumConstant fs, InjF fs EnumConstantL j) => CxtS h fs a IdentL -> CxtS h fs a [ExpL] -> CxtS h fs a (Maybe ClassBodyL) -> CxtS h fs a j
iLit :: forall h fs a j. ((:-<:) Exp fs, InjF fs ExpL j) => CxtS h fs a LiteralL -> CxtS h fs a j
iClassLit :: forall h fs a j. ((:-<:) Exp fs, InjF fs ExpL j) => CxtS h fs a (Maybe TypeL) -> CxtS h fs a j
iThis :: forall h fs a j. ((:-<:) Exp fs, InjF fs ExpL j) => CxtS h fs a j
iThisClass :: forall h fs a j. ((:-<:) Exp fs, InjF fs ExpL j) => CxtS h fs a NameL -> CxtS h fs a j
iInstanceCreation :: forall h fs a j. ((:-<:) Exp fs, InjF fs ExpL j) => CxtS h fs a [TypeArgumentL] -> CxtS h fs a TypeDeclSpecifierL -> CxtS h fs a [ExpL] -> CxtS h fs a (Maybe ClassBodyL) -> CxtS h fs a j
iQualInstanceCreation :: forall h fs a j. ((:-<:) Exp fs, InjF fs ExpL j) => CxtS h fs a ExpL -> CxtS h fs a [TypeArgumentL] -> CxtS h fs a IdentL -> CxtS h fs a [ExpL] -> CxtS h fs a (Maybe ClassBodyL) -> CxtS h fs a j
iArrayCreate :: forall h fs a j. ((:-<:) Exp fs, InjF fs ExpL j) => CxtS h fs a TypeL -> CxtS h fs a [ExpL] -> Int -> CxtS h fs a j
iArrayCreateInit :: forall h fs a j. ((:-<:) Exp fs, InjF fs ExpL j) => CxtS h fs a TypeL -> Int -> CxtS h fs a ArrayInitL -> CxtS h fs a j
iFieldAccess :: forall h fs a j. ((:-<:) Exp fs, InjF fs ExpL j) => CxtS h fs a FieldAccessL -> CxtS h fs a j
iMethodInv :: forall h fs a j. ((:-<:) Exp fs, InjF fs ExpL j) => CxtS h fs a MethodInvocationL -> CxtS h fs a j
iArrayAccess :: forall h fs a j. ((:-<:) Exp fs, InjF fs ExpL j) => CxtS h fs a ArrayIndexL -> CxtS h fs a j
iExpName :: forall h fs a j. ((:-<:) Exp fs, InjF fs ExpL j) => CxtS h fs a NameL -> CxtS h fs a j
iPostIncrement :: forall h fs a j. ((:-<:) Exp fs, InjF fs ExpL j) => CxtS h fs a ExpL -> CxtS h fs a j
iPostDecrement :: forall h fs a j. ((:-<:) Exp fs, InjF fs ExpL j) => CxtS h fs a ExpL -> CxtS h fs a j
iPreIncrement :: forall h fs a j. ((:-<:) Exp fs, InjF fs ExpL j) => CxtS h fs a ExpL -> CxtS h fs a j
iPreDecrement :: forall h fs a j. ((:-<:) Exp fs, InjF fs ExpL j) => CxtS h fs a ExpL -> CxtS h fs a j
iPrePlus :: forall h fs a j. ((:-<:) Exp fs, InjF fs ExpL j) => CxtS h fs a ExpL -> CxtS h fs a j
iPreMinus :: forall h fs a j. ((:-<:) Exp fs, InjF fs ExpL j) => CxtS h fs a ExpL -> CxtS h fs a j
iPreBitCompl :: forall h fs a j. ((:-<:) Exp fs, InjF fs ExpL j) => CxtS h fs a ExpL -> CxtS h fs a j
iPreNot :: forall h fs a j. ((:-<:) Exp fs, InjF fs ExpL j) => CxtS h fs a ExpL -> CxtS h fs a j
iCast :: forall h fs a j. ((:-<:) Exp fs, InjF fs ExpL j) => CxtS h fs a TypeL -> CxtS h fs a ExpL -> CxtS h fs a j
iBinOp :: forall h fs a j. ((:-<:) Exp fs, InjF fs ExpL j) => CxtS h fs a ExpL -> CxtS h fs a OpL -> CxtS h fs a ExpL -> CxtS h fs a j
iInstanceOf :: forall h fs a j. ((:-<:) Exp fs, InjF fs ExpL j) => CxtS h fs a ExpL -> CxtS h fs a RefTypeL -> CxtS h fs a j
iCond :: forall h fs a j. ((:-<:) Exp fs, InjF fs ExpL j) => CxtS h fs a ExpL -> CxtS h fs a ExpL -> CxtS h fs a ExpL -> CxtS h fs a j
iAssign :: forall h fs a j. ((:-<:) Exp fs, InjF fs ExpL j) => CxtS h fs a LhsL -> CxtS h fs a AssignOpL -> CxtS h fs a ExpL -> CxtS h fs a j
iLambda :: forall h fs a j. ((:-<:) Exp fs, InjF fs ExpL j) => CxtS h fs a LambdaParamsL -> CxtS h fs a LambdaExpressionL -> CxtS h fs a j
iMethodRef :: forall h fs a j. ((:-<:) Exp fs, InjF fs ExpL j) => CxtS h fs a NameL -> CxtS h fs a IdentL -> CxtS h fs a j
iThisInvoke :: forall h fs a j. ((:-<:) ExplConstrInv fs, InjF fs ExplConstrInvL j) => CxtS h fs a [RefTypeL] -> CxtS h fs a [ExpL] -> CxtS h fs a j
iSuperInvoke :: forall h fs a j. ((:-<:) ExplConstrInv fs, InjF fs ExplConstrInvL j) => CxtS h fs a [RefTypeL] -> CxtS h fs a [ExpL] -> CxtS h fs a j
iPrimarySuperInvoke :: forall h fs a j. ((:-<:) ExplConstrInv fs, InjF fs ExplConstrInvL j) => CxtS h fs a ExpL -> CxtS h fs a [RefTypeL] -> CxtS h fs a [ExpL] -> CxtS h fs a j
iPrimaryFieldAccess :: forall h fs a j. ((:-<:) FieldAccess fs, InjF fs FieldAccessL j) => CxtS h fs a ExpL -> CxtS h fs a IdentL -> CxtS h fs a j
iSuperFieldAccess :: forall h fs a j. ((:-<:) FieldAccess fs, InjF fs FieldAccessL j) => CxtS h fs a IdentL -> CxtS h fs a j
iClassFieldAccess :: forall h fs a j. ((:-<:) FieldAccess fs, InjF fs FieldAccessL j) => CxtS h fs a NameL -> CxtS h fs a IdentL -> CxtS h fs a j
iForLocalVars :: forall h fs a j. ((:-<:) ForInit fs, InjF fs ForInitL j) => CxtS h fs a [ModifierL] -> CxtS h fs a TypeL -> CxtS h fs a [VarDeclL] -> CxtS h fs a j
iForInitExps :: forall h fs a j. ((:-<:) ForInit fs, InjF fs ForInitL j) => CxtS h fs a [ExpL] -> CxtS h fs a j
iFormalParam :: forall h fs a j. ((:-<:) FormalParam fs, InjF fs FormalParamL j) => CxtS h fs a [ModifierL] -> CxtS h fs a TypeL -> Bool -> CxtS h fs a VarDeclIdL -> CxtS h fs a j
iImportDecl :: forall h fs a j. ((:-<:) ImportDecl fs, InjF fs ImportDeclL j) => Bool -> CxtS h fs a NameL -> Bool -> CxtS h fs a j
iInterfaceBody :: forall h fs a j. ((:-<:) InterfaceBody fs, InjF fs InterfaceBodyL j) => CxtS h fs a [MemberDeclL] -> CxtS h fs a j
iInterfaceDecl :: forall h fs a j. ((:-<:) InterfaceDecl fs, InjF fs InterfaceDeclL j) => CxtS h fs a InterfaceKindL -> CxtS h fs a [ModifierL] -> CxtS h fs a IdentL -> CxtS h fs a [TypeParamL] -> CxtS h fs a [RefTypeL] -> CxtS h fs a InterfaceBodyL -> CxtS h fs a j
iInterfaceNormal :: forall h fs a j. ((:-<:) InterfaceKind fs, InjF fs InterfaceKindL j) => CxtS h fs a j
iInterfaceAnnotation :: forall h fs a j. ((:-<:) InterfaceKind fs, InjF fs InterfaceKindL j) => CxtS h fs a j
iLambdaExpression :: forall h fs a j. ((:-<:) LambdaExpression fs, InjF fs LambdaExpressionL j) => CxtS h fs a ExpL -> CxtS h fs a j
iLambdaBlock :: forall h fs a j. ((:-<:) LambdaExpression fs, InjF fs LambdaExpressionL j) => CxtS h fs a BlockL -> CxtS h fs a j
iLambdaSingleParam :: forall h fs a j. ((:-<:) LambdaParams fs, InjF fs LambdaParamsL j) => CxtS h fs a IdentL -> CxtS h fs a j
iLambdaFormalParams :: forall h fs a j. ((:-<:) LambdaParams fs, InjF fs LambdaParamsL j) => CxtS h fs a [FormalParamL] -> CxtS h fs a j
iLambdaInferredParams :: forall h fs a j. ((:-<:) LambdaParams fs, InjF fs LambdaParamsL j) => CxtS h fs a [IdentL] -> CxtS h fs a j
iNameLhs :: forall h fs a j. ((:-<:) Lhs fs, InjF fs LhsL j) => CxtS h fs a NameL -> CxtS h fs a j
iFieldLhs :: forall h fs a j. ((:-<:) Lhs fs, InjF fs LhsL j) => CxtS h fs a FieldAccessL -> CxtS h fs a j
iArrayLhs :: forall h fs a j. ((:-<:) Lhs fs, InjF fs LhsL j) => CxtS h fs a ArrayIndexL -> CxtS h fs a j
iFieldDecl :: forall h fs a j. ((:-<:) MemberDecl fs, InjF fs MemberDeclL j) => CxtS h fs a [ModifierL] -> CxtS h fs a TypeL -> CxtS h fs a [VarDeclL] -> CxtS h fs a j
iMethodDecl :: forall h fs a j. ((:-<:) MemberDecl fs, InjF fs MemberDeclL j) => CxtS h fs a [ModifierL] -> CxtS h fs a [TypeParamL] -> CxtS h fs a (Maybe TypeL) -> CxtS h fs a IdentL -> CxtS h fs a [FormalParamL] -> CxtS h fs a [RefTypeL] -> CxtS h fs a (Maybe ExpL) -> CxtS h fs a MethodBodyL -> CxtS h fs a j
iConstructorDecl :: forall h fs a j. ((:-<:) MemberDecl fs, InjF fs MemberDeclL j) => CxtS h fs a [ModifierL] -> CxtS h fs a [TypeParamL] -> CxtS h fs a IdentL -> CxtS h fs a [FormalParamL] -> CxtS h fs a [RefTypeL] -> CxtS h fs a ConstructorBodyL -> CxtS h fs a j
iMemberClassDecl :: forall h fs a j. ((:-<:) MemberDecl fs, InjF fs MemberDeclL j) => CxtS h fs a ClassDeclL -> CxtS h fs a j
iMemberInterfaceDecl :: forall h fs a j. ((:-<:) MemberDecl fs, InjF fs MemberDeclL j) => CxtS h fs a InterfaceDeclL -> CxtS h fs a j
iMethodBody :: forall h fs a j. ((:-<:) MethodBody fs, InjF fs MethodBodyL j) => CxtS h fs a (Maybe BlockL) -> CxtS h fs a j
iMethodCall :: forall h fs a j. ((:-<:) MethodInvocation fs, InjF fs MethodInvocationL j) => CxtS h fs a NameL -> CxtS h fs a [ExpL] -> CxtS h fs a j
iPrimaryMethodCall :: forall h fs a j. ((:-<:) MethodInvocation fs, InjF fs MethodInvocationL j) => CxtS h fs a ExpL -> CxtS h fs a [RefTypeL] -> CxtS h fs a IdentL -> CxtS h fs a [ExpL] -> CxtS h fs a j
iSuperMethodCall :: forall h fs a j. ((:-<:) MethodInvocation fs, InjF fs MethodInvocationL j) => CxtS h fs a [RefTypeL] -> CxtS h fs a IdentL -> CxtS h fs a [ExpL] -> CxtS h fs a j
iClassMethodCall :: forall h fs a j. ((:-<:) MethodInvocation fs, InjF fs MethodInvocationL j) => CxtS h fs a NameL -> CxtS h fs a [RefTypeL] -> CxtS h fs a IdentL -> CxtS h fs a [ExpL] -> CxtS h fs a j
iTypeMethodCall :: forall h fs a j. ((:-<:) MethodInvocation fs, InjF fs MethodInvocationL j) => CxtS h fs a NameL -> CxtS h fs a [RefTypeL] -> CxtS h fs a IdentL -> CxtS h fs a [ExpL] -> CxtS h fs a j
iPublic :: forall h fs a j. ((:-<:) Modifier fs, InjF fs ModifierL j) => CxtS h fs a j
iPrivate :: forall h fs a j. ((:-<:) Modifier fs, InjF fs ModifierL j) => CxtS h fs a j
iProtected :: forall h fs a j. ((:-<:) Modifier fs, InjF fs ModifierL j) => CxtS h fs a j
iAbstract :: forall h fs a j. ((:-<:) Modifier fs, InjF fs ModifierL j) => CxtS h fs a j
iFinal :: forall h fs a j. ((:-<:) Modifier fs, InjF fs ModifierL j) => CxtS h fs a j
iStatic :: forall h fs a j. ((:-<:) Modifier fs, InjF fs ModifierL j) => CxtS h fs a j
iStrictFP :: forall h fs a j. ((:-<:) Modifier fs, InjF fs ModifierL j) => CxtS h fs a j
iTransient :: forall h fs a j. ((:-<:) Modifier fs, InjF fs ModifierL j) => CxtS h fs a j
iVolatile :: forall h fs a j. ((:-<:) Modifier fs, InjF fs ModifierL j) => CxtS h fs a j
iNative :: forall h fs a j. ((:-<:) Modifier fs, InjF fs ModifierL j) => CxtS h fs a j
iAnnotation :: forall h fs a j. ((:-<:) Modifier fs, InjF fs ModifierL j) => CxtS h fs a AnnotationL -> CxtS h fs a j
iSynchronized_ :: forall h fs a j. ((:-<:) Modifier fs, InjF fs ModifierL j) => CxtS h fs a j
iPackageDecl :: forall h fs a j. ((:-<:) PackageDecl fs, InjF fs PackageDeclL j) => CxtS h fs a NameL -> CxtS h fs a j
iStmtBlock :: forall h fs a j. ((:-<:) Stmt fs, InjF fs StmtL j) => CxtS h fs a BlockL -> CxtS h fs a j
iIfThen :: forall h fs a j. ((:-<:) Stmt fs, InjF fs StmtL j) => CxtS h fs a ExpL -> CxtS h fs a StmtL -> CxtS h fs a j
iIfThenElse :: forall h fs a j. ((:-<:) Stmt fs, InjF fs StmtL j) => CxtS h fs a ExpL -> CxtS h fs a StmtL -> CxtS h fs a StmtL -> CxtS h fs a j
iWhile :: forall h fs a j. ((:-<:) Stmt fs, InjF fs StmtL j) => CxtS h fs a ExpL -> CxtS h fs a StmtL -> CxtS h fs a j
iBasicFor :: forall h fs a j. ((:-<:) Stmt fs, InjF fs StmtL j) => CxtS h fs a (Maybe ForInitL) -> CxtS h fs a (Maybe ExpL) -> CxtS h fs a (Maybe [ExpL]) -> CxtS h fs a StmtL -> CxtS h fs a j
iEnhancedFor :: forall h fs a j. ((:-<:) Stmt fs, InjF fs StmtL j) => CxtS h fs a [ModifierL] -> CxtS h fs a TypeL -> CxtS h fs a IdentL -> CxtS h fs a ExpL -> CxtS h fs a StmtL -> CxtS h fs a j
iEmpty :: forall h fs a j. ((:-<:) Stmt fs, InjF fs StmtL j) => CxtS h fs a j
iExpStmt :: forall h fs a j. ((:-<:) Stmt fs, InjF fs StmtL j) => CxtS h fs a ExpL -> CxtS h fs a j
iAssert :: forall h fs a j. ((:-<:) Stmt fs, InjF fs StmtL j) => CxtS h fs a ExpL -> CxtS h fs a (Maybe ExpL) -> CxtS h fs a j
iSwitch :: forall h fs a j. ((:-<:) Stmt fs, InjF fs StmtL j) => CxtS h fs a ExpL -> CxtS h fs a [SwitchBlockL] -> CxtS h fs a j
iDo :: forall h fs a j. ((:-<:) Stmt fs, InjF fs StmtL j) => CxtS h fs a StmtL -> CxtS h fs a ExpL -> CxtS h fs a j
iBreak :: forall h fs a j. ((:-<:) Stmt fs, InjF fs StmtL j) => CxtS h fs a (Maybe IdentL) -> CxtS h fs a j
iContinue :: forall h fs a j. ((:-<:) Stmt fs, InjF fs StmtL j) => CxtS h fs a (Maybe IdentL) -> CxtS h fs a j
iReturn :: forall h fs a j. ((:-<:) Stmt fs, InjF fs StmtL j) => CxtS h fs a (Maybe ExpL) -> CxtS h fs a j
iSynchronized :: forall h fs a j. ((:-<:) Stmt fs, InjF fs StmtL j) => CxtS h fs a ExpL -> CxtS h fs a BlockL -> CxtS h fs a j
iThrow :: forall h fs a j. ((:-<:) Stmt fs, InjF fs StmtL j) => CxtS h fs a ExpL -> CxtS h fs a j
iTry :: forall h fs a j. ((:-<:) Stmt fs, InjF fs StmtL j) => CxtS h fs a BlockL -> CxtS h fs a [CatchL] -> CxtS h fs a (Maybe BlockL) -> CxtS h fs a j
iLabeled :: forall h fs a j. ((:-<:) Stmt fs, InjF fs StmtL j) => CxtS h fs a IdentL -> CxtS h fs a StmtL -> CxtS h fs a j
iSwitchBlock :: forall h fs a j. ((:-<:) SwitchBlock fs, InjF fs SwitchBlockL j) => CxtS h fs a SwitchLabelL -> CxtS h fs a [BlockStmtL] -> CxtS h fs a j
iSwitchCase :: forall h fs a j. ((:-<:) SwitchLabel fs, InjF fs SwitchLabelL j) => CxtS h fs a ExpL -> CxtS h fs a j
iDefault :: forall h fs a j. ((:-<:) SwitchLabel fs, InjF fs SwitchLabelL j) => CxtS h fs a j
iClassTypeDecl :: forall h fs a j. ((:-<:) TypeDecl fs, InjF fs TypeDeclL j) => CxtS h fs a ClassDeclL -> CxtS h fs a j
iInterfaceTypeDecl :: forall h fs a j. ((:-<:) TypeDecl fs, InjF fs TypeDeclL j) => CxtS h fs a InterfaceDeclL -> CxtS h fs a j
iVarDecl :: forall h fs a j. ((:-<:) VarDecl fs, InjF fs VarDeclL j) => CxtS h fs a VarDeclIdL -> CxtS h fs a (Maybe VarInitL) -> CxtS h fs a j
iVarId :: forall h fs a j. ((:-<:) VarDeclId fs, InjF fs VarDeclIdL j) => CxtS h fs a IdentL -> CxtS h fs a j
iVarDeclArray :: forall h fs a j. ((:-<:) VarDeclId fs, InjF fs VarDeclIdL j) => CxtS h fs a VarDeclIdL -> CxtS h fs a j
iInitExp :: forall h fs a j. ((:-<:) VarInit fs, InjF fs VarInitL j) => CxtS h fs a ExpL -> CxtS h fs a j
iInitArray :: forall h fs a j. ((:-<:) VarInit fs, InjF fs VarInitL j) => CxtS h fs a ArrayInitL -> CxtS h fs a j
iEqualA :: forall h fs a j. ((:-<:) AssignOp fs, InjF fs AssignOpL j) => CxtS h fs a j
iMultA :: forall h fs a j. ((:-<:) AssignOp fs, InjF fs AssignOpL j) => CxtS h fs a j
iDivA :: forall h fs a j. ((:-<:) AssignOp fs, InjF fs AssignOpL j) => CxtS h fs a j
iRemA :: forall h fs a j. ((:-<:) AssignOp fs, InjF fs AssignOpL j) => CxtS h fs a j
iAddA :: forall h fs a j. ((:-<:) AssignOp fs, InjF fs AssignOpL j) => CxtS h fs a j
iSubA :: forall h fs a j. ((:-<:) AssignOp fs, InjF fs AssignOpL j) => CxtS h fs a j
iLShiftA :: forall h fs a j. ((:-<:) AssignOp fs, InjF fs AssignOpL j) => CxtS h fs a j
iRShiftA :: forall h fs a j. ((:-<:) AssignOp fs, InjF fs AssignOpL j) => CxtS h fs a j
iRRShiftA :: forall h fs a j. ((:-<:) AssignOp fs, InjF fs AssignOpL j) => CxtS h fs a j
iAndA :: forall h fs a j. ((:-<:) AssignOp fs, InjF fs AssignOpL j) => CxtS h fs a j
iXorA :: forall h fs a j. ((:-<:) AssignOp fs, InjF fs AssignOpL j) => CxtS h fs a j
iOrA :: forall h fs a j. ((:-<:) AssignOp fs, InjF fs AssignOpL j) => CxtS h fs a j
iInt :: forall h fs a j. ((:-<:) Literal fs, InjF fs LiteralL j) => Integer -> CxtS h fs a j
iWord :: forall h fs a j. ((:-<:) Literal fs, InjF fs LiteralL j) => Integer -> CxtS h fs a j
iFloat :: forall h fs a j. ((:-<:) Literal fs, InjF fs LiteralL j) => Double -> CxtS h fs a j
iDouble :: forall h fs a j. ((:-<:) Literal fs, InjF fs LiteralL j) => Double -> CxtS h fs a j
iBoolean :: forall h fs a j. ((:-<:) Literal fs, InjF fs LiteralL j) => Bool -> CxtS h fs a j
iChar :: forall h fs a j. ((:-<:) Literal fs, InjF fs LiteralL j) => Char -> CxtS h fs a j
iString :: forall h fs a j. ((:-<:) Literal fs, InjF fs LiteralL j) => String -> CxtS h fs a j
iNull :: forall h fs a j. ((:-<:) Literal fs, InjF fs LiteralL j) => CxtS h fs a j
iMult :: forall h fs a j. ((:-<:) Op fs, InjF fs OpL j) => CxtS h fs a j
iDiv :: forall h fs a j. ((:-<:) Op fs, InjF fs OpL j) => CxtS h fs a j
iRem :: forall h fs a j. ((:-<:) Op fs, InjF fs OpL j) => CxtS h fs a j
iAdd :: forall h fs a j. ((:-<:) Op fs, InjF fs OpL j) => CxtS h fs a j
iSub :: forall h fs a j. ((:-<:) Op fs, InjF fs OpL j) => CxtS h fs a j
iLShift :: forall h fs a j. ((:-<:) Op fs, InjF fs OpL j) => CxtS h fs a j
iRShift :: forall h fs a j. ((:-<:) Op fs, InjF fs OpL j) => CxtS h fs a j
iRRShift :: forall h fs a j. ((:-<:) Op fs, InjF fs OpL j) => CxtS h fs a j
iLThan :: forall h fs a j. ((:-<:) Op fs, InjF fs OpL j) => CxtS h fs a j
iGThan :: forall h fs a j. ((:-<:) Op fs, InjF fs OpL j) => CxtS h fs a j
iLThanE :: forall h fs a j. ((:-<:) Op fs, InjF fs OpL j) => CxtS h fs a j
iGThanE :: forall h fs a j. ((:-<:) Op fs, InjF fs OpL j) => CxtS h fs a j
iEqual :: forall h fs a j. ((:-<:) Op fs, InjF fs OpL j) => CxtS h fs a j
iNotEq :: forall h fs a j. ((:-<:) Op fs, InjF fs OpL j) => CxtS h fs a j
iAnd :: forall h fs a j. ((:-<:) Op fs, InjF fs OpL j) => CxtS h fs a j
iOr :: forall h fs a j. ((:-<:) Op fs, InjF fs OpL j) => CxtS h fs a j
iXor :: forall h fs a j. ((:-<:) Op fs, InjF fs OpL j) => CxtS h fs a j
iCAnd :: forall h fs a j. ((:-<:) Op fs, InjF fs OpL j) => CxtS h fs a j
iCOr :: forall h fs a j. ((:-<:) Op fs, InjF fs OpL j) => CxtS h fs a j
iClassType :: forall h fs a j. ((:-<:) ClassType fs, InjF fs ClassTypeL j) => CxtS h fs a [(IdentL, [TypeArgumentL])] -> CxtS h fs a j
iDiamond :: forall h fs a j. ((:-<:) Diamond fs, InjF fs DiamondL j) => CxtS h fs a j
iName :: forall h fs a j. ((:-<:) Name fs, InjF fs NameL j) => CxtS h fs a [IdentL] -> CxtS h fs a j
iBooleanT :: forall h fs a j. ((:-<:) PrimType fs, InjF fs PrimTypeL j) => CxtS h fs a j
iByteT :: forall h fs a j. ((:-<:) PrimType fs, InjF fs PrimTypeL j) => CxtS h fs a j
iShortT :: forall h fs a j. ((:-<:) PrimType fs, InjF fs PrimTypeL j) => CxtS h fs a j
iIntT :: forall h fs a j. ((:-<:) PrimType fs, InjF fs PrimTypeL j) => CxtS h fs a j
iLongT :: forall h fs a j. ((:-<:) PrimType fs, InjF fs PrimTypeL j) => CxtS h fs a j
iCharT :: forall h fs a j. ((:-<:) PrimType fs, InjF fs PrimTypeL j) => CxtS h fs a j
iFloatT :: forall h fs a j. ((:-<:) PrimType fs, InjF fs PrimTypeL j) => CxtS h fs a j
iDoubleT :: forall h fs a j. ((:-<:) PrimType fs, InjF fs PrimTypeL j) => CxtS h fs a j
iClassRefType :: forall h fs a j. ((:-<:) RefType fs, InjF fs RefTypeL j) => CxtS h fs a ClassTypeL -> CxtS h fs a j
iArrayType :: forall h fs a j. ((:-<:) RefType fs, InjF fs RefTypeL j) => CxtS h fs a TypeL -> CxtS h fs a j
iPrimType :: forall h fs a j. ((:-<:) Type fs, InjF fs TypeL j) => CxtS h fs a PrimTypeL -> CxtS h fs a j
iRefType :: forall h fs a j. ((:-<:) Type fs, InjF fs TypeL j) => CxtS h fs a RefTypeL -> CxtS h fs a j
iWildcard :: forall h fs a j. ((:-<:) TypeArgument fs, InjF fs TypeArgumentL j) => CxtS h fs a (Maybe WildcardBoundL) -> CxtS h fs a j
iActualType :: forall h fs a j. ((:-<:) TypeArgument fs, InjF fs TypeArgumentL j) => CxtS h fs a RefTypeL -> CxtS h fs a j
iTypeDeclSpecifier :: forall h fs a j. ((:-<:) TypeDeclSpecifier fs, InjF fs TypeDeclSpecifierL j) => CxtS h fs a ClassTypeL -> CxtS h fs a j
iTypeDeclSpecifierWithDiamond :: forall h fs a j. ((:-<:) TypeDeclSpecifier fs, InjF fs TypeDeclSpecifierL j) => CxtS h fs a ClassTypeL -> CxtS h fs a IdentL -> CxtS h fs a DiamondL -> CxtS h fs a j
iTypeDeclSpecifierUnqualifiedWithDiamond :: forall h fs a j. ((:-<:) TypeDeclSpecifier fs, InjF fs TypeDeclSpecifierL j) => CxtS h fs a IdentL -> CxtS h fs a DiamondL -> CxtS h fs a j
iTypeParam :: forall h fs a j. ((:-<:) TypeParam fs, InjF fs TypeParamL j) => CxtS h fs a IdentL -> CxtS h fs a [RefTypeL] -> CxtS h fs a j
iExtendsBound :: forall h fs a j. ((:-<:) WildcardBound fs, InjF fs WildcardBoundL j) => CxtS h fs a RefTypeL -> CxtS h fs a j
iSuperBound :: forall h fs a j. ((:-<:) WildcardBound fs, InjF fs WildcardBoundL j) => CxtS h fs a RefTypeL -> CxtS h fs a j
type JavaTermLab l = TermLab JavaSig
type JavaTerm = Term JavaSig
type JavaSig = '[Annotation, ArrayIndex, ArrayInit, Block, BlockStmt, Catch, ClassBody, ClassDecl, CompilationUnit, ConstructorBody, Decl, ElementValue, EnumBody, EnumConstant, Exp, ExplConstrInv, FieldAccess, ForInit, FormalParam, ImportDecl, InterfaceBody, InterfaceDecl, InterfaceKind, LambdaExpression, LambdaParams, Lhs, MemberDecl, MethodBody, MethodInvocation, Modifier, PackageDecl, Stmt, SwitchBlock, SwitchLabel, TypeDecl, VarDecl, VarDeclId, VarInit, AssignOp, Literal, Op, ClassType, Diamond, Ident, Name, PrimType, RefType, Type, TypeArgument, TypeDeclSpecifier, TypeParam, WildcardBound, PairF, ListF, MaybeF]
translateType :: Type -> JavaTerm TypeL
data EitherF e l where
- LeftF :: (Typeable i, Typeable j) => e i -> EitherF e (Either i j)
- RightF :: (Typeable i, Typeable j) => e j -> EitherF e (Either i j)
data TripleF e l where
- TripleF :: (Typeable i, Typeable j, Typeable k) => e i -> e j -> e k -> TripleF e (i, j, k)
data PairF e l where
- PairF :: (Typeable i, Typeable j) => e i -> e j -> PairF e (i, j)
data ListF e l where
- NilF :: Typeable l => ListF e [l]
- ConsF :: Typeable l => e l -> e [l] -> ListF e [l]
data MaybeF e l where
- NothingF :: Typeable l => MaybeF e (Maybe l)
- JustF :: Typeable l => e l -> MaybeF e (Maybe l)
riNothingF :: forall h f a l. (MaybeF :<: f, Typeable l) => Cxt h f a (Maybe l)
iJustF :: (MaybeF :-<: fs, InjF fs (Maybe l) l', Typeable l) => CxtS h fs a l -> CxtS h fs a l'
riNilF :: forall h f a l. (ListF :<: f, Typeable l) => Cxt h f a [l]
iConsF :: (ListF :-<: fs, InjF fs [l] l', Typeable l) => CxtS h fs a l -> CxtS h fs a [l] -> CxtS h fs a l'
riPairF :: (PairF :<: f, Typeable i, Typeable j) => Cxt h f a i -> Cxt h f a j -> Cxt h f a (i, j)
riTripleF :: (TripleF :<: f, Typeable i, Typeable j, Typeable k) => Cxt h f a i -> Cxt h f a j -> Cxt h f a k -> Cxt h f a (i, j, k)
riLeftF :: (EitherF :<: f, Typeable i, Typeable j) => Cxt h f a i -> Cxt h f a (Either i j)
riRightF :: (EitherF :<: f, Typeable i, Typeable j) => Cxt h f a j -> Cxt h f a (Either i j)
class Functor f => InsertF f e where
- insertF :: Typeable l => f (e l) -> e (f l)
class KExtractF3' f g where
- kextractF3' :: g e (f l l' l'') -> f (e l) (e l') (e l'')
class KExtractF3 f g where
- kextractF3 :: ExtractF3 f e => g e (f l l' l'') -> f (e l) (e l') (e l'')
class ExtractF3 f e where
- extractF3 :: e (f l l' l'') -> f (e l) (e l') (e l'')
class KExtractF2' f g where
- kextractF2' :: g e (f l l') -> f (e l) (e l')
class KExtractF2 f g where
- kextractF2 :: ExtractF2 f e => g e (f l l') -> f (e l) (e l')
class ExtractF2 f e where
- extractF2 :: e (f l l') -> f (e l) (e l')
class KExtractF' f g where
- kextractF' :: g e (f l) -> f (e l)
class KExtractF f g where
- kextractF :: ExtractF f e => g e (f l) -> f (e l)
class ExtractF f e where
- extractF :: e (f l) -> f (e l)
pattern SingletonFA' :: (ListF :<: f, Typeable l, HFunctor f) => Cxt h (f :&: p) a l -> Cxt h (f :&: p) a [l]
pattern ConsFA' :: (ListF :<: f, Typeable l, HFunctor f) => Cxt h (f :&: p) a l -> Cxt h (f :&: p) a [l] -> Cxt h (f :&: p) a [l]
pattern NilFA' :: (ListF :<: f, Typeable l, HFunctor f) => Cxt h (f :&: p) a [l]
pattern JustA' :: (MaybeF :<: f, Typeable l, HFunctor f) => Cxt h (f :&: p) a l -> Cxt h (f :&: p) a (Maybe l)
pattern Right' :: (EitherF :<: f, Typeable l, Typeable l', HFunctor f) => Cxt h f a l' -> Cxt h f a (Either l l')
pattern Left' :: (EitherF :<: f, Typeable l, Typeable l', HFunctor f) => Cxt h f a l -> Cxt h f a (Either l l')
pattern TripleF' :: (TripleF :<: f, Typeable i, Typeable j, Typeable k, HFunctor f) => Cxt h f a i -> Cxt h f a j -> Cxt h f a k -> Cxt h f a (i, j, k)
pattern PairF' :: (PairF :<: f, Typeable l, Typeable l', HFunctor f) => Cxt h f a l -> Cxt h f a l' -> Cxt h f a (l, l')
pattern SingletonF' :: (ListF :<: f, Typeable l, HFunctor f) => Cxt h f a l -> Cxt h f a [l]
pattern ConsF' :: (ListF :<: f, Typeable l, HFunctor f) => Cxt h f a l -> Cxt h f a [l] -> Cxt h f a [l]
pattern NilF' :: (ListF :<: f, Typeable l, HFunctor f) => Cxt h f a [l]
pattern Nothing' :: (MaybeF :<: f, Typeable l, HFunctor f) => Cxt h f a (Maybe l)
pattern Just' :: (MaybeF :<: f, Typeable l, HFunctor f) => Cxt h f a l -> Cxt h f a (Maybe l)
insertFHole :: (InsertF e (Context f (HFix g)), Typeable l) => e (HFix g l) -> Context f (HFix g) (e l)
liftF :: (InsertF f h, ExtractF f g, Functor f, Typeable b) => (f (g a) -> f (h b)) -> g (f a) -> h (f b)
mapF :: (InsertF f h, ExtractF f g, Functor f, Typeable b) => (g a -> h b) -> g (f a) -> h (f b)
data Ident (e :: * -> *) l where
- Ident :: String -> Ident e IdentL
data IdentL
data OptLocalVarInit e l where
- JustLocalVarInit :: e LocalVarInitL -> OptLocalVarInit e OptLocalVarInitL
- NoLocalVarInit :: OptLocalVarInit e OptLocalVarInitL
data OptLocalVarInitL
data IsOptional
- = Optional
- | NotOptional
data LocalVarInitL
data MultiLocalVarDeclCommonAttrsL
pattern Ident' :: (Ident :-<: fs, All HFunctor fs) => String -> CxtS h fs a IdentL
iIdent :: forall h fs a j. ((:-<:) Ident fs, InjF fs IdentL j) => String -> CxtS h fs a j
data EmptyLocalVarDeclAttrs (e :: * -> *) l where
- EmptyLocalVarDeclAttrs :: EmptyLocalVarDeclAttrs e LocalVarDeclAttrsL
data LocalVarDeclAttrsL
pattern NoLocalVarInit' :: (OptLocalVarInit :-<: fs, All HFunctor fs) => CxtS h fs a OptLocalVarInitL
pattern JustLocalVarInit' :: (OptLocalVarInit :-<: fs, All HFunctor fs) => CxtS h fs a LocalVarInitL -> CxtS h fs a OptLocalVarInitL
iJustLocalVarInit :: forall h fs a j. ((:-<:) OptLocalVarInit fs, InjF fs OptLocalVarInitL j) => CxtS h fs a LocalVarInitL -> CxtS h fs a j
iNoLocalVarInit :: forall h fs a j. ((:-<:) OptLocalVarInit fs, InjF fs OptLocalVarInitL j) => CxtS h fs a j
data TupleBinder e l where
- TupleBinder :: e [IdentL] -> TupleBinder e VarDeclBinderL
data VarDeclBinderL
pattern EmptyLocalVarDeclAttrs' :: (EmptyLocalVarDeclAttrs :-<: fs, All HFunctor fs) => CxtS h fs a LocalVarDeclAttrsL
iEmptyLocalVarDeclAttrs :: forall h fs a j. ((:-<:) EmptyLocalVarDeclAttrs fs, InjF fs LocalVarDeclAttrsL j) => CxtS h fs a j
pattern TupleBinder' :: (TupleBinder :-<: fs, All HFunctor fs) => CxtS h fs a [IdentL] -> CxtS h fs a VarDeclBinderL
iTupleBinder :: forall h fs a j. ((:-<:) TupleBinder fs, InjF fs VarDeclBinderL j) => CxtS h fs a [IdentL] -> CxtS h fs a j
data IdentIsVarDeclBinder (e :: Type -> Type) i = i ~ VarDeclBinderL => IdentIsVarDeclBinder (e IdentL)
iIdentIsVarDeclBinder :: forall h fs a j. ((:-<:) IdentIsVarDeclBinder fs, InjF fs VarDeclBinderL j) => CxtS h fs a IdentL -> CxtS h fs a j
data SingleLocalVarDecl e l where
- SingleLocalVarDecl :: e LocalVarDeclAttrsL -> e VarDeclBinderL -> e OptLocalVarInitL -> SingleLocalVarDecl e SingleLocalVarDeclL
data SingleLocalVarDeclL
pattern IdentIsVarDeclBinder' :: (IdentIsVarDeclBinder :-<: fs, All HFunctor fs) => CxtS h fs a IdentL -> CxtS h fs a VarDeclBinderL
data EmptyMultiLocalVarDeclCommonAttrs (e :: * -> *) l
pattern SingleLocalVarDecl' :: (SingleLocalVarDecl :-<: fs, All HFunctor fs) => CxtS h fs a LocalVarDeclAttrsL -> CxtS h fs a VarDeclBinderL -> CxtS h fs a OptLocalVarInitL -> CxtS h fs a SingleLocalVarDeclL
iSingleLocalVarDecl :: forall h fs a j. ((:-<:) SingleLocalVarDecl fs, InjF fs SingleLocalVarDeclL j) => CxtS h fs a LocalVarDeclAttrsL -> CxtS h fs a VarDeclBinderL -> CxtS h fs a OptLocalVarInitL -> CxtS h fs a j
data MultiLocalVarDecl e l where
- MultiLocalVarDecl :: e MultiLocalVarDeclCommonAttrsL -> e [SingleLocalVarDeclL] -> MultiLocalVarDecl e MultiLocalVarDeclL
data MultiLocalVarDeclL
pattern EmptyMultiLocalVarDeclCommonAttrs' :: (EmptyMultiLocalVarDeclCommonAttrs :-<: fs, All HFunctor fs) => CxtS h fs a MultiLocalVarDeclCommonAttrsL
iEmptyMultiLocalVarDeclCommonAttrs :: forall h fs a j. ((:-<:) EmptyMultiLocalVarDeclCommonAttrs fs, InjF fs MultiLocalVarDeclCommonAttrsL j) => CxtS h fs a j
data AssignOpEquals (e :: * -> *) l where
- AssignOpEquals :: AssignOpEquals e AssignOpL
pattern MultiLocalVarDecl' :: (MultiLocalVarDecl :-<: fs, All HFunctor fs) => CxtS h fs a MultiLocalVarDeclCommonAttrsL -> CxtS h fs a [SingleLocalVarDeclL] -> CxtS h fs a MultiLocalVarDeclL
iMultiLocalVarDecl :: forall h fs a j. ((:-<:) MultiLocalVarDecl fs, InjF fs MultiLocalVarDeclL j) => CxtS h fs a MultiLocalVarDeclCommonAttrsL -> CxtS h fs a [SingleLocalVarDeclL] -> CxtS h fs a j
data AssignL
data RhsL
pattern AssignOpEquals' :: (AssignOpEquals :-<: fs, All HFunctor fs) => CxtS h fs a AssignOpL
iAssignOpEquals :: forall h fs a j. ((:-<:) AssignOpEquals fs, InjF fs AssignOpL j) => CxtS h fs a j
data EmptyBlockEnd (e :: * -> *) l where
- EmptyBlockEnd :: EmptyBlockEnd e BlockEndL
data BlockEndL
data BlockItemL
pattern Assign' :: (Assign :-<: fs, All HFunctor fs) => CxtS h fs a LhsL -> CxtS h fs a AssignOpL -> CxtS h fs a RhsL -> CxtS h fs a AssignL
pattern EmptyBlockEnd' :: (EmptyBlockEnd :-<: fs, All HFunctor fs) => CxtS h fs a BlockEndL
iEmptyBlockEnd :: forall h fs a j. ((:-<:) EmptyBlockEnd fs, InjF fs BlockEndL j) => CxtS h fs a j
data EmptyBlockItem (e :: * -> *) l where
- EmptyBlockItem :: EmptyBlockItem e BlockItemL
pattern Block' :: (Block :-<: fs, All HFunctor fs) => CxtS h fs a [BlockItemL] -> CxtS h fs a BlockEndL -> CxtS h fs a BlockL
pattern EmptyBlockItem' :: (EmptyBlockItem :-<: fs, All HFunctor fs) => CxtS h fs a BlockItemL
iEmptyBlockItem :: forall h fs a j. ((:-<:) EmptyBlockItem fs, InjF fs BlockItemL j) => CxtS h fs a j
data FunctionCall e l where
- FunctionCall :: e FunctionCallAttrsL -> e FunctionExpL -> e FunctionArgumentsL -> FunctionCall e FunctionCallL
data FunctionCallL
data FunctionArgumentsL
data FunctionExpL
data FunctionCallAttrsL
data EmptyFunctionCallAttrs (e :: * -> *) l where
- EmptyFunctionCallAttrs :: EmptyFunctionCallAttrs e FunctionCallAttrsL
pattern FunctionCall' :: (FunctionCall :-<: fs, All HFunctor fs) => CxtS h fs a FunctionCallAttrsL -> CxtS h fs a FunctionExpL -> CxtS h fs a FunctionArgumentsL -> CxtS h fs a FunctionCallL
iFunctionCall :: forall h fs a j. ((:-<:) FunctionCall fs, InjF fs FunctionCallL j) => CxtS h fs a FunctionCallAttrsL -> CxtS h fs a FunctionExpL -> CxtS h fs a FunctionArgumentsL -> CxtS h fs a j
data FunctionIdent e l where
- FunctionIdent :: e IdentL -> FunctionIdent e FunctionExpL
pattern EmptyFunctionCallAttrs' :: (EmptyFunctionCallAttrs :-<: fs, All HFunctor fs) => CxtS h fs a FunctionCallAttrsL
iEmptyFunctionCallAttrs :: forall h fs a j. ((:-<:) EmptyFunctionCallAttrs fs, InjF fs FunctionCallAttrsL j) => CxtS h fs a j
data FunctionArgumentList e l where
- FunctionArgumentList :: e [FunctionArgumentL] -> FunctionArgumentList e FunctionArgumentsL
data FunctionArgumentL
pattern FunctionIdent' :: (FunctionIdent :-<: fs, All HFunctor fs) => CxtS h fs a IdentL -> CxtS h fs a FunctionExpL
iFunctionIdent :: forall h fs a j. ((:-<:) FunctionIdent fs, InjF fs FunctionExpL j) => CxtS h fs a IdentL -> CxtS h fs a j
data ReceiverArg e l where
- ReceiverArg :: e ReceiverL -> ReceiverArg e FunctionArgumentL
data ReceiverL
pattern FunctionArgumentList' :: (FunctionArgumentList :-<: fs, All HFunctor fs) => CxtS h fs a [FunctionArgumentL] -> CxtS h fs a FunctionArgumentsL
iFunctionArgumentList :: forall h fs a j. ((:-<:) FunctionArgumentList fs, InjF fs FunctionArgumentsL j) => CxtS h fs a [FunctionArgumentL] -> CxtS h fs a j
data PositionalArgument e l where
- PositionalArgument :: e PositionalArgExpL -> PositionalArgument e FunctionArgumentL
data PositionalArgExpL
pattern ReceiverArg' :: (ReceiverArg :-<: fs, All HFunctor fs) => CxtS h fs a ReceiverL -> CxtS h fs a FunctionArgumentL
iReceiverArg :: forall h fs a j. ((:-<:) ReceiverArg fs, InjF fs FunctionArgumentL j) => CxtS h fs a ReceiverL -> CxtS h fs a j
data FunctionDecl e l where
- FunctionDecl :: e FunctionDeclAttrsL -> e IdentL -> e [FunctionParameterDeclL] -> FunctionDecl e FunctionDeclL
data FunctionDeclL
data FunctionParameterDeclL
data FunctionDeclAttrsL
pattern PositionalArgument' :: (PositionalArgument :-<: fs, All HFunctor fs) => CxtS h fs a PositionalArgExpL -> CxtS h fs a FunctionArgumentL
iPositionalArgument :: forall h fs a j. ((:-<:) PositionalArgument fs, InjF fs FunctionArgumentL j) => CxtS h fs a PositionalArgExpL -> CxtS h fs a j
data EmptyFunctionDeclAttrs (e :: * -> *) l where
- EmptyFunctionDeclAttrs :: EmptyFunctionDeclAttrs e FunctionDeclAttrsL
pattern FunctionDecl' :: (FunctionDecl :-<: fs, All HFunctor fs) => CxtS h fs a FunctionDeclAttrsL -> CxtS h fs a IdentL -> CxtS h fs a [FunctionParameterDeclL] -> CxtS h fs a FunctionDeclL
iFunctionDecl :: forall h fs a j. ((:-<:) FunctionDecl fs, InjF fs FunctionDeclL j) => CxtS h fs a FunctionDeclAttrsL -> CxtS h fs a IdentL -> CxtS h fs a [FunctionParameterDeclL] -> CxtS h fs a j
data SelfParameterDecl (e :: * -> *) l where
- SelfParameterDecl :: SelfParameterDecl e FunctionParameterDeclL
pattern EmptyFunctionDeclAttrs' :: (EmptyFunctionDeclAttrs :-<: fs, All HFunctor fs) => CxtS h fs a FunctionDeclAttrsL
iEmptyFunctionDeclAttrs :: forall h fs a j. ((:-<:) EmptyFunctionDeclAttrs fs, InjF fs FunctionDeclAttrsL j) => CxtS h fs a j
data PositionalParameterDeclOptionalIdent e l where
- PositionalParameterDeclOptionalIdent :: e FunctionParameterDeclAttrsL -> e (Maybe IdentL) -> PositionalParameterDeclOptionalIdent e FunctionParameterDeclL
data FunctionParameterDeclAttrsL
pattern SelfParameterDecl' :: (SelfParameterDecl :-<: fs, All HFunctor fs) => CxtS h fs a FunctionParameterDeclL
iSelfParameterDecl :: forall h fs a j. ((:-<:) SelfParameterDecl fs, InjF fs FunctionParameterDeclL j) => CxtS h fs a j
data PositionalParameterDeclWithIdent e l where
- PositionalParameterDeclWithIdent :: e FunctionParameterDeclAttrsL -> e IdentL -> PositionalParameterDeclWithIdent e FunctionParameterDeclL
pattern PositionalParameterDeclOptionalIdent' :: (PositionalParameterDeclOptionalIdent :-<: fs, All HFunctor fs) => CxtS h fs a FunctionParameterDeclAttrsL -> CxtS h fs a (Maybe IdentL) -> CxtS h fs a FunctionParameterDeclL
iPositionalParameterDeclOptionalIdent :: forall h fs a j. ((:-<:) PositionalParameterDeclOptionalIdent fs, InjF fs FunctionParameterDeclL j) => CxtS h fs a FunctionParameterDeclAttrsL -> CxtS h fs a (Maybe IdentL) -> CxtS h fs a j
data FunctionDef e l where
- FunctionDef :: e FunctionDefAttrsL -> e IdentL -> e [FunctionParameterL] -> e FunctionBodyL -> FunctionDef e FunctionDefL
data FunctionDefL
data FunctionBodyL
data FunctionParameterL
data FunctionDefAttrsL
pattern PositionalParameterDeclWithIdent' :: (PositionalParameterDeclWithIdent :-<: fs, All HFunctor fs) => CxtS h fs a FunctionParameterDeclAttrsL -> CxtS h fs a IdentL -> CxtS h fs a FunctionParameterDeclL
iPositionalParameterDeclWithIdent :: forall h fs a j. ((:-<:) PositionalParameterDeclWithIdent fs, InjF fs FunctionParameterDeclL j) => CxtS h fs a FunctionParameterDeclAttrsL -> CxtS h fs a IdentL -> CxtS h fs a j
data EmptyFunctionDefAttrs (e :: * -> *) l where
- EmptyFunctionDefAttrs :: EmptyFunctionDefAttrs e FunctionDefAttrsL
pattern FunctionDef' :: (FunctionDef :-<: fs, All HFunctor fs) => CxtS h fs a FunctionDefAttrsL -> CxtS h fs a IdentL -> CxtS h fs a [FunctionParameterL] -> CxtS h fs a FunctionBodyL -> CxtS h fs a FunctionDefL
iFunctionDef :: forall h fs a j. ((:-<:) FunctionDef fs, InjF fs FunctionDefL j) => CxtS h fs a FunctionDefAttrsL -> CxtS h fs a IdentL -> CxtS h fs a [FunctionParameterL] -> CxtS h fs a FunctionBodyL -> CxtS h fs a j
data SelfParameter (e :: * -> *) l where
- SelfParameter :: SelfParameter e FunctionParameterL
pattern EmptyFunctionDefAttrs' :: (EmptyFunctionDefAttrs :-<: fs, All HFunctor fs) => CxtS h fs a FunctionDefAttrsL
iEmptyFunctionDefAttrs :: forall h fs a j. ((:-<:) EmptyFunctionDefAttrs fs, InjF fs FunctionDefAttrsL j) => CxtS h fs a j
data PositionalParameter e l where
- PositionalParameter :: e ParameterAttrsL -> e IdentL -> PositionalParameter e FunctionParameterL
data ParameterAttrsL
pattern SelfParameter' :: (SelfParameter :-<: fs, All HFunctor fs) => CxtS h fs a FunctionParameterL
iSelfParameter :: forall h fs a j. ((:-<:) SelfParameter fs, InjF fs FunctionParameterL j) => CxtS h fs a j
data EmptyParameterAttrs (e :: * -> *) l where
- EmptyParameterAttrs :: EmptyParameterAttrs e ParameterAttrsL
pattern PositionalParameter' :: (PositionalParameter :-<: fs, All HFunctor fs) => CxtS h fs a ParameterAttrsL -> CxtS h fs a IdentL -> CxtS h fs a FunctionParameterL
iPositionalParameter :: forall h fs a j. ((:-<:) PositionalParameter fs, InjF fs FunctionParameterL j) => CxtS h fs a ParameterAttrsL -> CxtS h fs a IdentL -> CxtS h fs a j
pattern EmptyParameterAttrs' :: (EmptyParameterAttrs :-<: fs, All HFunctor fs) => CxtS h fs a ParameterAttrsL
iEmptyParameterAttrs :: forall h fs a j. ((:-<:) EmptyParameterAttrs fs, InjF fs ParameterAttrsL j) => CxtS h fs a j
data UnitF (e :: * -> *) l where
- UnitF :: UnitF e ()
data CharF (e :: * -> *) l where
- CharF :: Char -> CharF e CharL
data CharL
data IntegerF (e :: * -> *) l where
- IntegerF :: Integer -> IntegerF e IntegerL
data IntegerL
data IntF (e :: * -> *) l where
- IntF :: Int -> IntF e IntL
data IntL
data BoolF (e :: * -> *) l where
- BoolF :: Bool -> BoolF e BoolL
data BoolL
pattern UnitF' :: (UnitF :-<: fs, All HFunctor fs) => CxtS h fs a ()
pattern CharF' :: (CharF :-<: fs, All HFunctor fs) => Char -> CxtS h fs a CharL
pattern IntegerF' :: (IntegerF :-<: fs, All HFunctor fs) => Integer -> CxtS h fs a IntegerL
pattern IntF' :: (IntF :-<: fs, All HFunctor fs) => Int -> CxtS h fs a IntL
pattern BoolF' :: (BoolF :-<: fs, All HFunctor fs) => Bool -> CxtS h fs a BoolL
iBoolF :: forall h fs a j. ((:-<:) BoolF fs, InjF fs BoolL j) => Bool -> CxtS h fs a j
iIntF :: forall h fs a j. ((:-<:) IntF fs, InjF fs IntL j) => Int -> CxtS h fs a j
iIntegerF :: forall h fs a j. ((:-<:) IntegerF fs, InjF fs IntegerL j) => Integer -> CxtS h fs a j
iCharF :: forall h fs a j. ((:-<:) CharF fs, InjF fs CharL j) => Char -> CxtS h fs a j
iUnitF :: forall h fs a j. ((:-<:) UnitF fs, InjF fs () j) => CxtS h fs a j

Documentation

data ArrayDimVarDeclAttrs (e :: * -> *) l where Source #

Constructors

ArrayDimVarDeclAttrs :: Int -> ArrayDimVarDeclAttrs e LocalVarDeclAttrsL

Instances

Instances details

ShowHF ArrayDimVarDeclAttrs Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods showHF :: Alg ArrayDimVarDeclAttrs (K String) # showHF' :: ArrayDimVarDeclAttrs (K String) :=> String #
OrdHF ArrayDimVarDeclAttrs Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods compareHF :: forall (a :: Type -> Type) i j. KOrd a => ArrayDimVarDeclAttrs a i -> ArrayDimVarDeclAttrs a j -> Ordering #
EqHF ArrayDimVarDeclAttrs Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods eqHF :: forall (g :: Type -> Type) i j. KEq g => ArrayDimVarDeclAttrs g i -> ArrayDimVarDeclAttrs g j -> Bool #
HTraversable ArrayDimVarDeclAttrs Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods hmapM :: forall (m :: Type -> Type) (a :: Type -> Type) (b :: Type -> Type). Monad m => NatM m a b -> NatM m (ArrayDimVarDeclAttrs a) (ArrayDimVarDeclAttrs b) # htraverse :: forall (f :: Type -> Type) (a :: Type -> Type) (b :: Type -> Type). Applicative f => NatM f a b -> NatM f (ArrayDimVarDeclAttrs a) (ArrayDimVarDeclAttrs b) #
HFoldable ArrayDimVarDeclAttrs Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods hfold :: Monoid m => ArrayDimVarDeclAttrs (K m) :=> m # hfoldMap :: forall m (a :: Type -> Type). Monoid m => (a :=> m) -> ArrayDimVarDeclAttrs a :=> m # hfoldr :: forall (a :: Type -> Type) b. (a :=> (b -> b)) -> b -> ArrayDimVarDeclAttrs a :=> b # hfoldl :: forall b (a :: Type -> Type). (b -> a :=> b) -> b -> ArrayDimVarDeclAttrs a :=> b # hfoldr1 :: (a -> a -> a) -> ArrayDimVarDeclAttrs (K a) :=> a # hfoldl1 :: (a -> a -> a) -> ArrayDimVarDeclAttrs (K a) :=> a #
HFunctor ArrayDimVarDeclAttrs Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods hfmap :: forall (f :: Type -> Type) (g :: Type -> Type). (f :-> g) -> ArrayDimVarDeclAttrs f :-> ArrayDimVarDeclAttrs g #
CfgInitState MJavaSig Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Cfg Methods cfgInitState :: Proxy MJavaSig -> CfgState MJavaSig Source #
Pretty MJavaSig Source #
Instance details Defined in Cubix.ParsePretty Methods pretty :: Term MJavaSig (RootSort MJavaSig) -> String Source # prettyUnsafe :: Term MJavaSig l -> String Source #
ParseFile MJavaSig Source #
Instance details Defined in Cubix.ParsePretty Methods parseFile :: FilePath -> IO (Maybe (Term MJavaSig (RootSort MJavaSig))) Source #
KDynCase ArrayDimVarDeclAttrs LocalVarDeclAttrsL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods kdyncase :: forall (e :: Type -> Type) b. ArrayDimVarDeclAttrs e b -> Maybe (b :~: LocalVarDeclAttrsL) #
InjF MJavaSig IdentL LhsL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJavaSig a IdentL -> CxtS h MJavaSig a LhsL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJavaSig :&: p) a LhsL -> Maybe (Cxt h (Sum MJavaSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MJavaSig a LhsL -> Maybe (CxtS h MJavaSig a IdentL) Source #
InjF MJavaSig IdentL FunctionExpL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJavaSig a IdentL -> CxtS h MJavaSig a FunctionExpL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJavaSig :&: p) a FunctionExpL -> Maybe (Cxt h (Sum MJavaSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MJavaSig a FunctionExpL -> Maybe (CxtS h MJavaSig a IdentL) Source #
InjF MJavaSig IdentL PositionalArgExpL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJavaSig a IdentL -> CxtS h MJavaSig a PositionalArgExpL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJavaSig :&: p) a PositionalArgExpL -> Maybe (Cxt h (Sum MJavaSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MJavaSig a PositionalArgExpL -> Maybe (CxtS h MJavaSig a IdentL) Source #
InjF MJavaSig IdentL ExpL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJavaSig a IdentL -> CxtS h MJavaSig a ExpL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJavaSig :&: p) a ExpL -> Maybe (Cxt h (Sum MJavaSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MJavaSig a ExpL -> Maybe (CxtS h MJavaSig a IdentL) Source #
InjF MJavaSig MultiLocalVarDeclL BlockItemL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJavaSig a MultiLocalVarDeclL -> CxtS h MJavaSig a BlockItemL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJavaSig :&: p) a BlockItemL -> Maybe (Cxt h (Sum MJavaSig :&: p) a MultiLocalVarDeclL) Source # projF :: forall h (a :: Type -> Type). CxtS h MJavaSig a BlockItemL -> Maybe (CxtS h MJavaSig a MultiLocalVarDeclL) Source #
InjF MJavaSig AssignL BlockItemL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJavaSig a AssignL -> CxtS h MJavaSig a BlockItemL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJavaSig :&: p) a BlockItemL -> Maybe (Cxt h (Sum MJavaSig :&: p) a AssignL) Source # projF :: forall h (a :: Type -> Type). CxtS h MJavaSig a BlockItemL -> Maybe (CxtS h MJavaSig a AssignL) Source #
InjF MJavaSig BlockL StmtL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJavaSig a BlockL -> CxtS h MJavaSig a StmtL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJavaSig :&: p) a StmtL -> Maybe (Cxt h (Sum MJavaSig :&: p) a BlockL) Source # projF :: forall h (a :: Type -> Type). CxtS h MJavaSig a StmtL -> Maybe (CxtS h MJavaSig a BlockL) Source #
InjF MJavaSig StmtL BlockItemL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJavaSig a StmtL -> CxtS h MJavaSig a BlockItemL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJavaSig :&: p) a BlockItemL -> Maybe (Cxt h (Sum MJavaSig :&: p) a StmtL) Source # projF :: forall h (a :: Type -> Type). CxtS h MJavaSig a BlockItemL -> Maybe (CxtS h MJavaSig a StmtL) Source #
InjF MJavaSig ExpL LocalVarInitL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJavaSig a ExpL -> CxtS h MJavaSig a LocalVarInitL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJavaSig :&: p) a LocalVarInitL -> Maybe (Cxt h (Sum MJavaSig :&: p) a ExpL) Source # projF :: forall h (a :: Type -> Type). CxtS h MJavaSig a LocalVarInitL -> Maybe (CxtS h MJavaSig a ExpL) Source #
InjF MJavaSig ExpL FunctionArgumentL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJavaSig a ExpL -> CxtS h MJavaSig a FunctionArgumentL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJavaSig :&: p) a FunctionArgumentL -> Maybe (Cxt h (Sum MJavaSig :&: p) a ExpL) Source # projF :: forall h (a :: Type -> Type). CxtS h MJavaSig a FunctionArgumentL -> Maybe (CxtS h MJavaSig a ExpL) Source #
InsertAt' MJavaSig BlockItemL Stmt Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Semantics Methods insertAt' :: MonadAnnotater a m => NodeEvaluationPoint -> AnnTerm a MJavaSig BlockItemL -> (Stmt :&: a) (AnnTerm a MJavaSig) i -> m (AnnTerm a MJavaSig i) Source # canInsertAt' :: NodeEvaluationPoint -> Proxy BlockItemL -> (Stmt :&: a) (AnnTerm a MJavaSig) i -> Bool Source #
InjF MJavaSig ([ModifierL], TypeL) MultiLocalVarDeclCommonAttrsL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJavaSig a ([ModifierL], TypeL) -> CxtS h MJavaSig a MultiLocalVarDeclCommonAttrsL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJavaSig :&: p) a MultiLocalVarDeclCommonAttrsL -> Maybe (Cxt h (Sum MJavaSig :&: p) a ([ModifierL], TypeL)) Source # projF :: forall h (a :: Type -> Type). CxtS h MJavaSig a MultiLocalVarDeclCommonAttrsL -> Maybe (CxtS h MJavaSig a ([ModifierL], TypeL)) Source #
type CfgState MJavaSig Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Cfg type CfgState MJavaSig
type ContainerFunctors MJavaSig Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Cfg type ContainerFunctors MJavaSig = '[PairF, ListF, MaybeF, SwitchBlock]
type SuspendedComputationSorts MJavaSig Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Cfg type SuspendedComputationSorts MJavaSig = '[MethodBodyL, ConstructorBodyL, LambdaExpressionL, CatchL, FunctionDefL]
type ComputationSorts MJavaSig Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Cfg type ComputationSorts MJavaSig = '[StmtL, ExpL, BlockStmtL, [BlockItemL]]
type InjectableSorts MJavaSig MultiLocalVarDeclL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types type InjectableSorts MJavaSig MultiLocalVarDeclL = '[] :: [Type]

data ModifiersTypeIsMultiLocalVarDeclCommonAttrs e l where Source #

Constructors

ModifiersTypeIsMultiLocalVarDeclCommonAttrs :: e ([ModifierL], TypeL) -> ModifiersTypeIsMultiLocalVarDeclCommonAttrs e MultiLocalVarDeclCommonAttrsL

Instances

Instances details

ShowHF ModifiersTypeIsMultiLocalVarDeclCommonAttrs Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods showHF :: Alg ModifiersTypeIsMultiLocalVarDeclCommonAttrs (K String) # showHF' :: ModifiersTypeIsMultiLocalVarDeclCommonAttrs (K String) :=> String #
OrdHF ModifiersTypeIsMultiLocalVarDeclCommonAttrs Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods compareHF :: forall (a :: Type -> Type) i j. KOrd a => ModifiersTypeIsMultiLocalVarDeclCommonAttrs a i -> ModifiersTypeIsMultiLocalVarDeclCommonAttrs a j -> Ordering #
EqHF ModifiersTypeIsMultiLocalVarDeclCommonAttrs Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods eqHF :: forall (g :: Type -> Type) i j. KEq g => ModifiersTypeIsMultiLocalVarDeclCommonAttrs g i -> ModifiersTypeIsMultiLocalVarDeclCommonAttrs g j -> Bool #
HTraversable ModifiersTypeIsMultiLocalVarDeclCommonAttrs Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods hmapM :: forall (m :: Type -> Type) (a :: Type -> Type) (b :: Type -> Type). Monad m => NatM m a b -> NatM m (ModifiersTypeIsMultiLocalVarDeclCommonAttrs a) (ModifiersTypeIsMultiLocalVarDeclCommonAttrs b) # htraverse :: forall (f :: Type -> Type) (a :: Type -> Type) (b :: Type -> Type). Applicative f => NatM f a b -> NatM f (ModifiersTypeIsMultiLocalVarDeclCommonAttrs a) (ModifiersTypeIsMultiLocalVarDeclCommonAttrs b) #
HFoldable ModifiersTypeIsMultiLocalVarDeclCommonAttrs Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods hfold :: Monoid m => ModifiersTypeIsMultiLocalVarDeclCommonAttrs (K m) :=> m # hfoldMap :: forall m (a :: Type -> Type). Monoid m => (a :=> m) -> ModifiersTypeIsMultiLocalVarDeclCommonAttrs a :=> m # hfoldr :: forall (a :: Type -> Type) b. (a :=> (b -> b)) -> b -> ModifiersTypeIsMultiLocalVarDeclCommonAttrs a :=> b # hfoldl :: forall b (a :: Type -> Type). (b -> a :=> b) -> b -> ModifiersTypeIsMultiLocalVarDeclCommonAttrs a :=> b # hfoldr1 :: (a -> a -> a) -> ModifiersTypeIsMultiLocalVarDeclCommonAttrs (K a) :=> a # hfoldl1 :: (a -> a -> a) -> ModifiersTypeIsMultiLocalVarDeclCommonAttrs (K a) :=> a #
HFunctor ModifiersTypeIsMultiLocalVarDeclCommonAttrs Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods hfmap :: forall (f :: Type -> Type) (g :: Type -> Type). (f :-> g) -> ModifiersTypeIsMultiLocalVarDeclCommonAttrs f :-> ModifiersTypeIsMultiLocalVarDeclCommonAttrs g #
CfgInitState MJavaSig Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Cfg Methods cfgInitState :: Proxy MJavaSig -> CfgState MJavaSig Source #
Pretty MJavaSig Source #
Instance details Defined in Cubix.ParsePretty Methods pretty :: Term MJavaSig (RootSort MJavaSig) -> String Source # prettyUnsafe :: Term MJavaSig l -> String Source #
ParseFile MJavaSig Source #
Instance details Defined in Cubix.ParsePretty Methods parseFile :: FilePath -> IO (Maybe (Term MJavaSig (RootSort MJavaSig))) Source #
KDynCase ModifiersTypeIsMultiLocalVarDeclCommonAttrs MultiLocalVarDeclCommonAttrsL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods kdyncase :: forall (e :: Type -> Type) b. ModifiersTypeIsMultiLocalVarDeclCommonAttrs e b -> Maybe (b :~: MultiLocalVarDeclCommonAttrsL) #
InjF MJavaSig IdentL LhsL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJavaSig a IdentL -> CxtS h MJavaSig a LhsL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJavaSig :&: p) a LhsL -> Maybe (Cxt h (Sum MJavaSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MJavaSig a LhsL -> Maybe (CxtS h MJavaSig a IdentL) Source #
InjF MJavaSig IdentL FunctionExpL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJavaSig a IdentL -> CxtS h MJavaSig a FunctionExpL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJavaSig :&: p) a FunctionExpL -> Maybe (Cxt h (Sum MJavaSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MJavaSig a FunctionExpL -> Maybe (CxtS h MJavaSig a IdentL) Source #
InjF MJavaSig IdentL PositionalArgExpL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJavaSig a IdentL -> CxtS h MJavaSig a PositionalArgExpL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJavaSig :&: p) a PositionalArgExpL -> Maybe (Cxt h (Sum MJavaSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MJavaSig a PositionalArgExpL -> Maybe (CxtS h MJavaSig a IdentL) Source #
InjF MJavaSig IdentL ExpL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJavaSig a IdentL -> CxtS h MJavaSig a ExpL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJavaSig :&: p) a ExpL -> Maybe (Cxt h (Sum MJavaSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MJavaSig a ExpL -> Maybe (CxtS h MJavaSig a IdentL) Source #
InjF MJavaSig MultiLocalVarDeclL BlockItemL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJavaSig a MultiLocalVarDeclL -> CxtS h MJavaSig a BlockItemL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJavaSig :&: p) a BlockItemL -> Maybe (Cxt h (Sum MJavaSig :&: p) a MultiLocalVarDeclL) Source # projF :: forall h (a :: Type -> Type). CxtS h MJavaSig a BlockItemL -> Maybe (CxtS h MJavaSig a MultiLocalVarDeclL) Source #
InjF MJavaSig AssignL BlockItemL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJavaSig a AssignL -> CxtS h MJavaSig a BlockItemL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJavaSig :&: p) a BlockItemL -> Maybe (Cxt h (Sum MJavaSig :&: p) a AssignL) Source # projF :: forall h (a :: Type -> Type). CxtS h MJavaSig a BlockItemL -> Maybe (CxtS h MJavaSig a AssignL) Source #
InjF MJavaSig BlockL StmtL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJavaSig a BlockL -> CxtS h MJavaSig a StmtL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJavaSig :&: p) a StmtL -> Maybe (Cxt h (Sum MJavaSig :&: p) a BlockL) Source # projF :: forall h (a :: Type -> Type). CxtS h MJavaSig a StmtL -> Maybe (CxtS h MJavaSig a BlockL) Source #
InjF MJavaSig StmtL BlockItemL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJavaSig a StmtL -> CxtS h MJavaSig a BlockItemL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJavaSig :&: p) a BlockItemL -> Maybe (Cxt h (Sum MJavaSig :&: p) a StmtL) Source # projF :: forall h (a :: Type -> Type). CxtS h MJavaSig a BlockItemL -> Maybe (CxtS h MJavaSig a StmtL) Source #
InjF MJavaSig ExpL LocalVarInitL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJavaSig a ExpL -> CxtS h MJavaSig a LocalVarInitL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJavaSig :&: p) a LocalVarInitL -> Maybe (Cxt h (Sum MJavaSig :&: p) a ExpL) Source # projF :: forall h (a :: Type -> Type). CxtS h MJavaSig a LocalVarInitL -> Maybe (CxtS h MJavaSig a ExpL) Source #
InjF MJavaSig ExpL FunctionArgumentL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJavaSig a ExpL -> CxtS h MJavaSig a FunctionArgumentL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJavaSig :&: p) a FunctionArgumentL -> Maybe (Cxt h (Sum MJavaSig :&: p) a ExpL) Source # projF :: forall h (a :: Type -> Type). CxtS h MJavaSig a FunctionArgumentL -> Maybe (CxtS h MJavaSig a ExpL) Source #
InsertAt' MJavaSig BlockItemL Stmt Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Semantics Methods insertAt' :: MonadAnnotater a m => NodeEvaluationPoint -> AnnTerm a MJavaSig BlockItemL -> (Stmt :&: a) (AnnTerm a MJavaSig) i -> m (AnnTerm a MJavaSig i) Source # canInsertAt' :: NodeEvaluationPoint -> Proxy BlockItemL -> (Stmt :&: a) (AnnTerm a MJavaSig) i -> Bool Source #
InjF MJavaSig ([ModifierL], TypeL) MultiLocalVarDeclCommonAttrsL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJavaSig a ([ModifierL], TypeL) -> CxtS h MJavaSig a MultiLocalVarDeclCommonAttrsL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJavaSig :&: p) a MultiLocalVarDeclCommonAttrsL -> Maybe (Cxt h (Sum MJavaSig :&: p) a ([ModifierL], TypeL)) Source # projF :: forall h (a :: Type -> Type). CxtS h MJavaSig a MultiLocalVarDeclCommonAttrsL -> Maybe (CxtS h MJavaSig a ([ModifierL], TypeL)) Source #
type CfgState MJavaSig Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Cfg type CfgState MJavaSig
type ContainerFunctors MJavaSig Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Cfg type ContainerFunctors MJavaSig = '[PairF, ListF, MaybeF, SwitchBlock]
type SuspendedComputationSorts MJavaSig Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Cfg type SuspendedComputationSorts MJavaSig = '[MethodBodyL, ConstructorBodyL, LambdaExpressionL, CatchL, FunctionDefL]
type ComputationSorts MJavaSig Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Cfg type ComputationSorts MJavaSig = '[StmtL, ExpL, BlockStmtL, [BlockItemL]]
type InjectableSorts MJavaSig MultiLocalVarDeclL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types type InjectableSorts MJavaSig MultiLocalVarDeclL = '[] :: [Type]

iModifiersTypeIsMultiLocalVarDeclCommonAttrs :: forall h fs a j. ((:-<:) ModifiersTypeIsMultiLocalVarDeclCommonAttrs fs, InjF fs MultiLocalVarDeclCommonAttrsL j) => CxtS h fs a ([ModifierL], TypeL) -> CxtS h fs a j Source #

iArrayDimVarDeclAttrs :: forall h fs a j. ((:-<:) ArrayDimVarDeclAttrs fs, InjF fs LocalVarDeclAttrsL j) => Int -> CxtS h fs a j Source #

data VarInitIsLocalVarInit (e :: Type -> Type) i Source #

Constructors

i ~ LocalVarInitL => VarInitIsLocalVarInit (e VarInitL)

Instances

Instances details

ShowHF VarInitIsLocalVarInit Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods showHF :: Alg VarInitIsLocalVarInit (K String) # showHF' :: VarInitIsLocalVarInit (K String) :=> String #
OrdHF VarInitIsLocalVarInit Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods compareHF :: forall (a :: Type -> Type) i j. KOrd a => VarInitIsLocalVarInit a i -> VarInitIsLocalVarInit a j -> Ordering #
EqHF VarInitIsLocalVarInit Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods eqHF :: forall (g :: Type -> Type) i j. KEq g => VarInitIsLocalVarInit g i -> VarInitIsLocalVarInit g j -> Bool #
HTraversable VarInitIsLocalVarInit Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods hmapM :: forall (m :: Type -> Type) (a :: Type -> Type) (b :: Type -> Type). Monad m => NatM m a b -> NatM m (VarInitIsLocalVarInit a) (VarInitIsLocalVarInit b) # htraverse :: forall (f :: Type -> Type) (a :: Type -> Type) (b :: Type -> Type). Applicative f => NatM f a b -> NatM f (VarInitIsLocalVarInit a) (VarInitIsLocalVarInit b) #
HFoldable VarInitIsLocalVarInit Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods hfold :: Monoid m => VarInitIsLocalVarInit (K m) :=> m # hfoldMap :: forall m (a :: Type -> Type). Monoid m => (a :=> m) -> VarInitIsLocalVarInit a :=> m # hfoldr :: forall (a :: Type -> Type) b. (a :=> (b -> b)) -> b -> VarInitIsLocalVarInit a :=> b # hfoldl :: forall b (a :: Type -> Type). (b -> a :=> b) -> b -> VarInitIsLocalVarInit a :=> b # hfoldr1 :: (a -> a -> a) -> VarInitIsLocalVarInit (K a) :=> a # hfoldl1 :: (a -> a -> a) -> VarInitIsLocalVarInit (K a) :=> a #
HFunctor VarInitIsLocalVarInit Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods hfmap :: forall (f :: Type -> Type) (g :: Type -> Type). (f :-> g) -> VarInitIsLocalVarInit f :-> VarInitIsLocalVarInit g #
CfgInitState MJavaSig Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Cfg Methods cfgInitState :: Proxy MJavaSig -> CfgState MJavaSig Source #
Pretty MJavaSig Source #
Instance details Defined in Cubix.ParsePretty Methods pretty :: Term MJavaSig (RootSort MJavaSig) -> String Source # prettyUnsafe :: Term MJavaSig l -> String Source #
ParseFile MJavaSig Source #
Instance details Defined in Cubix.ParsePretty Methods parseFile :: FilePath -> IO (Maybe (Term MJavaSig (RootSort MJavaSig))) Source #
KDynCase VarInitIsLocalVarInit LocalVarInitL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods kdyncase :: forall (e :: Type -> Type) b. VarInitIsLocalVarInit e b -> Maybe (b :~: LocalVarInitL) #
InjF MJavaSig IdentL LhsL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJavaSig a IdentL -> CxtS h MJavaSig a LhsL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJavaSig :&: p) a LhsL -> Maybe (Cxt h (Sum MJavaSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MJavaSig a LhsL -> Maybe (CxtS h MJavaSig a IdentL) Source #
InjF MJavaSig IdentL FunctionExpL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJavaSig a IdentL -> CxtS h MJavaSig a FunctionExpL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJavaSig :&: p) a FunctionExpL -> Maybe (Cxt h (Sum MJavaSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MJavaSig a FunctionExpL -> Maybe (CxtS h MJavaSig a IdentL) Source #
InjF MJavaSig IdentL PositionalArgExpL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJavaSig a IdentL -> CxtS h MJavaSig a PositionalArgExpL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJavaSig :&: p) a PositionalArgExpL -> Maybe (Cxt h (Sum MJavaSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MJavaSig a PositionalArgExpL -> Maybe (CxtS h MJavaSig a IdentL) Source #
InjF MJavaSig IdentL ExpL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJavaSig a IdentL -> CxtS h MJavaSig a ExpL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJavaSig :&: p) a ExpL -> Maybe (Cxt h (Sum MJavaSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MJavaSig a ExpL -> Maybe (CxtS h MJavaSig a IdentL) Source #
InjF MJavaSig MultiLocalVarDeclL BlockItemL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJavaSig a MultiLocalVarDeclL -> CxtS h MJavaSig a BlockItemL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJavaSig :&: p) a BlockItemL -> Maybe (Cxt h (Sum MJavaSig :&: p) a MultiLocalVarDeclL) Source # projF :: forall h (a :: Type -> Type). CxtS h MJavaSig a BlockItemL -> Maybe (CxtS h MJavaSig a MultiLocalVarDeclL) Source #
InjF MJavaSig AssignL BlockItemL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJavaSig a AssignL -> CxtS h MJavaSig a BlockItemL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJavaSig :&: p) a BlockItemL -> Maybe (Cxt h (Sum MJavaSig :&: p) a AssignL) Source # projF :: forall h (a :: Type -> Type). CxtS h MJavaSig a BlockItemL -> Maybe (CxtS h MJavaSig a AssignL) Source #
InjF MJavaSig BlockL StmtL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJavaSig a BlockL -> CxtS h MJavaSig a StmtL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJavaSig :&: p) a StmtL -> Maybe (Cxt h (Sum MJavaSig :&: p) a BlockL) Source # projF :: forall h (a :: Type -> Type). CxtS h MJavaSig a StmtL -> Maybe (CxtS h MJavaSig a BlockL) Source #
InjF MJavaSig StmtL BlockItemL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJavaSig a StmtL -> CxtS h MJavaSig a BlockItemL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJavaSig :&: p) a BlockItemL -> Maybe (Cxt h (Sum MJavaSig :&: p) a StmtL) Source # projF :: forall h (a :: Type -> Type). CxtS h MJavaSig a BlockItemL -> Maybe (CxtS h MJavaSig a StmtL) Source #
InjF MJavaSig ExpL LocalVarInitL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJavaSig a ExpL -> CxtS h MJavaSig a LocalVarInitL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJavaSig :&: p) a LocalVarInitL -> Maybe (Cxt h (Sum MJavaSig :&: p) a ExpL) Source # projF :: forall h (a :: Type -> Type). CxtS h MJavaSig a LocalVarInitL -> Maybe (CxtS h MJavaSig a ExpL) Source #
InjF MJavaSig ExpL FunctionArgumentL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJavaSig a ExpL -> CxtS h MJavaSig a FunctionArgumentL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJavaSig :&: p) a FunctionArgumentL -> Maybe (Cxt h (Sum MJavaSig :&: p) a ExpL) Source # projF :: forall h (a :: Type -> Type). CxtS h MJavaSig a FunctionArgumentL -> Maybe (CxtS h MJavaSig a ExpL) Source #
InsertAt' MJavaSig BlockItemL Stmt Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Semantics Methods insertAt' :: MonadAnnotater a m => NodeEvaluationPoint -> AnnTerm a MJavaSig BlockItemL -> (Stmt :&: a) (AnnTerm a MJavaSig) i -> m (AnnTerm a MJavaSig i) Source # canInsertAt' :: NodeEvaluationPoint -> Proxy BlockItemL -> (Stmt :&: a) (AnnTerm a MJavaSig) i -> Bool Source #
InjF MJavaSig ([ModifierL], TypeL) MultiLocalVarDeclCommonAttrsL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJavaSig a ([ModifierL], TypeL) -> CxtS h MJavaSig a MultiLocalVarDeclCommonAttrsL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJavaSig :&: p) a MultiLocalVarDeclCommonAttrsL -> Maybe (Cxt h (Sum MJavaSig :&: p) a ([ModifierL], TypeL)) Source # projF :: forall h (a :: Type -> Type). CxtS h MJavaSig a MultiLocalVarDeclCommonAttrsL -> Maybe (CxtS h MJavaSig a ([ModifierL], TypeL)) Source #
type CfgState MJavaSig Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Cfg type CfgState MJavaSig
type ContainerFunctors MJavaSig Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Cfg type ContainerFunctors MJavaSig = '[PairF, ListF, MaybeF, SwitchBlock]
type SuspendedComputationSorts MJavaSig Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Cfg type SuspendedComputationSorts MJavaSig = '[MethodBodyL, ConstructorBodyL, LambdaExpressionL, CatchL, FunctionDefL]
type ComputationSorts MJavaSig Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Cfg type ComputationSorts MJavaSig = '[StmtL, ExpL, BlockStmtL, [BlockItemL]]
type InjectableSorts MJavaSig MultiLocalVarDeclL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types type InjectableSorts MJavaSig MultiLocalVarDeclL = '[] :: [Type]

data MultiLocalVarDeclIsBlockStmt (e :: Type -> Type) i Source #

Constructors

i ~ BlockStmtL => MultiLocalVarDeclIsBlockStmt (e MultiLocalVarDeclL)

Instances

Instances details

ShowHF MultiLocalVarDeclIsBlockStmt Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods showHF :: Alg MultiLocalVarDeclIsBlockStmt (K String) # showHF' :: MultiLocalVarDeclIsBlockStmt (K String) :=> String #
OrdHF MultiLocalVarDeclIsBlockStmt Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods compareHF :: forall (a :: Type -> Type) i j. KOrd a => MultiLocalVarDeclIsBlockStmt a i -> MultiLocalVarDeclIsBlockStmt a j -> Ordering #
EqHF MultiLocalVarDeclIsBlockStmt Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods eqHF :: forall (g :: Type -> Type) i j. KEq g => MultiLocalVarDeclIsBlockStmt g i -> MultiLocalVarDeclIsBlockStmt g j -> Bool #
HTraversable MultiLocalVarDeclIsBlockStmt Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods hmapM :: forall (m :: Type -> Type) (a :: Type -> Type) (b :: Type -> Type). Monad m => NatM m a b -> NatM m (MultiLocalVarDeclIsBlockStmt a) (MultiLocalVarDeclIsBlockStmt b) # htraverse :: forall (f :: Type -> Type) (a :: Type -> Type) (b :: Type -> Type). Applicative f => NatM f a b -> NatM f (MultiLocalVarDeclIsBlockStmt a) (MultiLocalVarDeclIsBlockStmt b) #
HFoldable MultiLocalVarDeclIsBlockStmt Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods hfold :: Monoid m => MultiLocalVarDeclIsBlockStmt (K m) :=> m # hfoldMap :: forall m (a :: Type -> Type). Monoid m => (a :=> m) -> MultiLocalVarDeclIsBlockStmt a :=> m # hfoldr :: forall (a :: Type -> Type) b. (a :=> (b -> b)) -> b -> MultiLocalVarDeclIsBlockStmt a :=> b # hfoldl :: forall b (a :: Type -> Type). (b -> a :=> b) -> b -> MultiLocalVarDeclIsBlockStmt a :=> b # hfoldr1 :: (a -> a -> a) -> MultiLocalVarDeclIsBlockStmt (K a) :=> a # hfoldl1 :: (a -> a -> a) -> MultiLocalVarDeclIsBlockStmt (K a) :=> a #
HFunctor MultiLocalVarDeclIsBlockStmt Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods hfmap :: forall (f :: Type -> Type) (g :: Type -> Type). (f :-> g) -> MultiLocalVarDeclIsBlockStmt f :-> MultiLocalVarDeclIsBlockStmt g #
CfgInitState MJavaSig Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Cfg Methods cfgInitState :: Proxy MJavaSig -> CfgState MJavaSig Source #
Pretty MJavaSig Source #
Instance details Defined in Cubix.ParsePretty Methods pretty :: Term MJavaSig (RootSort MJavaSig) -> String Source # prettyUnsafe :: Term MJavaSig l -> String Source #
ParseFile MJavaSig Source #
Instance details Defined in Cubix.ParsePretty Methods parseFile :: FilePath -> IO (Maybe (Term MJavaSig (RootSort MJavaSig))) Source #
KDynCase MultiLocalVarDeclIsBlockStmt BlockStmtL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods kdyncase :: forall (e :: Type -> Type) b. MultiLocalVarDeclIsBlockStmt e b -> Maybe (b :~: BlockStmtL) #
InjF MJavaSig IdentL LhsL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJavaSig a IdentL -> CxtS h MJavaSig a LhsL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJavaSig :&: p) a LhsL -> Maybe (Cxt h (Sum MJavaSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MJavaSig a LhsL -> Maybe (CxtS h MJavaSig a IdentL) Source #
InjF MJavaSig IdentL FunctionExpL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJavaSig a IdentL -> CxtS h MJavaSig a FunctionExpL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJavaSig :&: p) a FunctionExpL -> Maybe (Cxt h (Sum MJavaSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MJavaSig a FunctionExpL -> Maybe (CxtS h MJavaSig a IdentL) Source #
InjF MJavaSig IdentL PositionalArgExpL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJavaSig a IdentL -> CxtS h MJavaSig a PositionalArgExpL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJavaSig :&: p) a PositionalArgExpL -> Maybe (Cxt h (Sum MJavaSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MJavaSig a PositionalArgExpL -> Maybe (CxtS h MJavaSig a IdentL) Source #
InjF MJavaSig IdentL ExpL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJavaSig a IdentL -> CxtS h MJavaSig a ExpL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJavaSig :&: p) a ExpL -> Maybe (Cxt h (Sum MJavaSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MJavaSig a ExpL -> Maybe (CxtS h MJavaSig a IdentL) Source #
InjF MJavaSig MultiLocalVarDeclL BlockItemL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJavaSig a MultiLocalVarDeclL -> CxtS h MJavaSig a BlockItemL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJavaSig :&: p) a BlockItemL -> Maybe (Cxt h (Sum MJavaSig :&: p) a MultiLocalVarDeclL) Source # projF :: forall h (a :: Type -> Type). CxtS h MJavaSig a BlockItemL -> Maybe (CxtS h MJavaSig a MultiLocalVarDeclL) Source #
InjF MJavaSig AssignL BlockItemL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJavaSig a AssignL -> CxtS h MJavaSig a BlockItemL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJavaSig :&: p) a BlockItemL -> Maybe (Cxt h (Sum MJavaSig :&: p) a AssignL) Source # projF :: forall h (a :: Type -> Type). CxtS h MJavaSig a BlockItemL -> Maybe (CxtS h MJavaSig a AssignL) Source #
InjF MJavaSig BlockL StmtL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJavaSig a BlockL -> CxtS h MJavaSig a StmtL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJavaSig :&: p) a StmtL -> Maybe (Cxt h (Sum MJavaSig :&: p) a BlockL) Source # projF :: forall h (a :: Type -> Type). CxtS h MJavaSig a StmtL -> Maybe (CxtS h MJavaSig a BlockL) Source #
InjF MJavaSig StmtL BlockItemL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJavaSig a StmtL -> CxtS h MJavaSig a BlockItemL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJavaSig :&: p) a BlockItemL -> Maybe (Cxt h (Sum MJavaSig :&: p) a StmtL) Source # projF :: forall h (a :: Type -> Type). CxtS h MJavaSig a BlockItemL -> Maybe (CxtS h MJavaSig a StmtL) Source #
InjF MJavaSig ExpL LocalVarInitL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJavaSig a ExpL -> CxtS h MJavaSig a LocalVarInitL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJavaSig :&: p) a LocalVarInitL -> Maybe (Cxt h (Sum MJavaSig :&: p) a ExpL) Source # projF :: forall h (a :: Type -> Type). CxtS h MJavaSig a LocalVarInitL -> Maybe (CxtS h MJavaSig a ExpL) Source #
InjF MJavaSig ExpL FunctionArgumentL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJavaSig a ExpL -> CxtS h MJavaSig a FunctionArgumentL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJavaSig :&: p) a FunctionArgumentL -> Maybe (Cxt h (Sum MJavaSig :&: p) a ExpL) Source # projF :: forall h (a :: Type -> Type). CxtS h MJavaSig a FunctionArgumentL -> Maybe (CxtS h MJavaSig a ExpL) Source #
InsertAt' MJavaSig BlockItemL Stmt Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Semantics Methods insertAt' :: MonadAnnotater a m => NodeEvaluationPoint -> AnnTerm a MJavaSig BlockItemL -> (Stmt :&: a) (AnnTerm a MJavaSig) i -> m (AnnTerm a MJavaSig i) Source # canInsertAt' :: NodeEvaluationPoint -> Proxy BlockItemL -> (Stmt :&: a) (AnnTerm a MJavaSig) i -> Bool Source #
InjF MJavaSig ([ModifierL], TypeL) MultiLocalVarDeclCommonAttrsL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJavaSig a ([ModifierL], TypeL) -> CxtS h MJavaSig a MultiLocalVarDeclCommonAttrsL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJavaSig :&: p) a MultiLocalVarDeclCommonAttrsL -> Maybe (Cxt h (Sum MJavaSig :&: p) a ([ModifierL], TypeL)) Source # projF :: forall h (a :: Type -> Type). CxtS h MJavaSig a MultiLocalVarDeclCommonAttrsL -> Maybe (CxtS h MJavaSig a ([ModifierL], TypeL)) Source #
type CfgState MJavaSig Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Cfg type CfgState MJavaSig
type ContainerFunctors MJavaSig Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Cfg type ContainerFunctors MJavaSig = '[PairF, ListF, MaybeF, SwitchBlock]
type SuspendedComputationSorts MJavaSig Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Cfg type SuspendedComputationSorts MJavaSig = '[MethodBodyL, ConstructorBodyL, LambdaExpressionL, CatchL, FunctionDefL]
type ComputationSorts MJavaSig Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Cfg type ComputationSorts MJavaSig = '[StmtL, ExpL, BlockStmtL, [BlockItemL]]
type InjectableSorts MJavaSig MultiLocalVarDeclL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types type InjectableSorts MJavaSig MultiLocalVarDeclL = '[] :: [Type]

data IdentIsIdent (e :: Type -> Type) i Source #

Constructors

i ~ IdentL => IdentIsIdent (e IdentL)

Instances

Instances details

ShowHF IdentIsIdent Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods showHF :: Alg IdentIsIdent (K String) # showHF' :: IdentIsIdent (K String) :=> String #
OrdHF IdentIsIdent Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods compareHF :: forall (a :: Type -> Type) i j. KOrd a => IdentIsIdent a i -> IdentIsIdent a j -> Ordering #
EqHF IdentIsIdent Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods eqHF :: forall (g :: Type -> Type) i j. KEq g => IdentIsIdent g i -> IdentIsIdent g j -> Bool #
HTraversable IdentIsIdent Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods hmapM :: forall (m :: Type -> Type) (a :: Type -> Type) (b :: Type -> Type). Monad m => NatM m a b -> NatM m (IdentIsIdent a) (IdentIsIdent b) # htraverse :: forall (f :: Type -> Type) (a :: Type -> Type) (b :: Type -> Type). Applicative f => NatM f a b -> NatM f (IdentIsIdent a) (IdentIsIdent b) #
HFoldable IdentIsIdent Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods hfold :: Monoid m => IdentIsIdent (K m) :=> m # hfoldMap :: forall m (a :: Type -> Type). Monoid m => (a :=> m) -> IdentIsIdent a :=> m # hfoldr :: forall (a :: Type -> Type) b. (a :=> (b -> b)) -> b -> IdentIsIdent a :=> b # hfoldl :: forall b (a :: Type -> Type). (b -> a :=> b) -> b -> IdentIsIdent a :=> b # hfoldr1 :: (a -> a -> a) -> IdentIsIdent (K a) :=> a # hfoldl1 :: (a -> a -> a) -> IdentIsIdent (K a) :=> a #
HFunctor IdentIsIdent Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods hfmap :: forall (f :: Type -> Type) (g :: Type -> Type). (f :-> g) -> IdentIsIdent f :-> IdentIsIdent g #
CfgInitState MJavaSig Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Cfg Methods cfgInitState :: Proxy MJavaSig -> CfgState MJavaSig Source #
Pretty MJavaSig Source #
Instance details Defined in Cubix.ParsePretty Methods pretty :: Term MJavaSig (RootSort MJavaSig) -> String Source # prettyUnsafe :: Term MJavaSig l -> String Source #
ParseFile MJavaSig Source #
Instance details Defined in Cubix.ParsePretty Methods parseFile :: FilePath -> IO (Maybe (Term MJavaSig (RootSort MJavaSig))) Source #
InjF MJavaSig IdentL LhsL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJavaSig a IdentL -> CxtS h MJavaSig a LhsL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJavaSig :&: p) a LhsL -> Maybe (Cxt h (Sum MJavaSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MJavaSig a LhsL -> Maybe (CxtS h MJavaSig a IdentL) Source #
InjF MJavaSig IdentL FunctionExpL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJavaSig a IdentL -> CxtS h MJavaSig a FunctionExpL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJavaSig :&: p) a FunctionExpL -> Maybe (Cxt h (Sum MJavaSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MJavaSig a FunctionExpL -> Maybe (CxtS h MJavaSig a IdentL) Source #
InjF MJavaSig IdentL PositionalArgExpL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJavaSig a IdentL -> CxtS h MJavaSig a PositionalArgExpL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJavaSig :&: p) a PositionalArgExpL -> Maybe (Cxt h (Sum MJavaSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MJavaSig a PositionalArgExpL -> Maybe (CxtS h MJavaSig a IdentL) Source #
InjF MJavaSig IdentL ExpL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJavaSig a IdentL -> CxtS h MJavaSig a ExpL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJavaSig :&: p) a ExpL -> Maybe (Cxt h (Sum MJavaSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MJavaSig a ExpL -> Maybe (CxtS h MJavaSig a IdentL) Source #
InjF MJavaSig MultiLocalVarDeclL BlockItemL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJavaSig a MultiLocalVarDeclL -> CxtS h MJavaSig a BlockItemL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJavaSig :&: p) a BlockItemL -> Maybe (Cxt h (Sum MJavaSig :&: p) a MultiLocalVarDeclL) Source # projF :: forall h (a :: Type -> Type). CxtS h MJavaSig a BlockItemL -> Maybe (CxtS h MJavaSig a MultiLocalVarDeclL) Source #
InjF MJavaSig AssignL BlockItemL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJavaSig a AssignL -> CxtS h MJavaSig a BlockItemL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJavaSig :&: p) a BlockItemL -> Maybe (Cxt h (Sum MJavaSig :&: p) a AssignL) Source # projF :: forall h (a :: Type -> Type). CxtS h MJavaSig a BlockItemL -> Maybe (CxtS h MJavaSig a AssignL) Source #
InjF MJavaSig BlockL StmtL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJavaSig a BlockL -> CxtS h MJavaSig a StmtL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJavaSig :&: p) a StmtL -> Maybe (Cxt h (Sum MJavaSig :&: p) a BlockL) Source # projF :: forall h (a :: Type -> Type). CxtS h MJavaSig a StmtL -> Maybe (CxtS h MJavaSig a BlockL) Source #
InjF MJavaSig StmtL BlockItemL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJavaSig a StmtL -> CxtS h MJavaSig a BlockItemL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJavaSig :&: p) a BlockItemL -> Maybe (Cxt h (Sum MJavaSig :&: p) a StmtL) Source # projF :: forall h (a :: Type -> Type). CxtS h MJavaSig a BlockItemL -> Maybe (CxtS h MJavaSig a StmtL) Source #
InjF MJavaSig ExpL LocalVarInitL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJavaSig a ExpL -> CxtS h MJavaSig a LocalVarInitL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJavaSig :&: p) a LocalVarInitL -> Maybe (Cxt h (Sum MJavaSig :&: p) a ExpL) Source # projF :: forall h (a :: Type -> Type). CxtS h MJavaSig a LocalVarInitL -> Maybe (CxtS h MJavaSig a ExpL) Source #
InjF MJavaSig ExpL FunctionArgumentL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJavaSig a ExpL -> CxtS h MJavaSig a FunctionArgumentL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJavaSig :&: p) a FunctionArgumentL -> Maybe (Cxt h (Sum MJavaSig :&: p) a ExpL) Source # projF :: forall h (a :: Type -> Type). CxtS h MJavaSig a FunctionArgumentL -> Maybe (CxtS h MJavaSig a ExpL) Source #
InsertAt' MJavaSig BlockItemL Stmt Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Semantics Methods insertAt' :: MonadAnnotater a m => NodeEvaluationPoint -> AnnTerm a MJavaSig BlockItemL -> (Stmt :&: a) (AnnTerm a MJavaSig) i -> m (AnnTerm a MJavaSig i) Source # canInsertAt' :: NodeEvaluationPoint -> Proxy BlockItemL -> (Stmt :&: a) (AnnTerm a MJavaSig) i -> Bool Source #
InjF MJavaSig ([ModifierL], TypeL) MultiLocalVarDeclCommonAttrsL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJavaSig a ([ModifierL], TypeL) -> CxtS h MJavaSig a MultiLocalVarDeclCommonAttrsL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJavaSig :&: p) a MultiLocalVarDeclCommonAttrsL -> Maybe (Cxt h (Sum MJavaSig :&: p) a ([ModifierL], TypeL)) Source # projF :: forall h (a :: Type -> Type). CxtS h MJavaSig a MultiLocalVarDeclCommonAttrsL -> Maybe (CxtS h MJavaSig a ([ModifierL], TypeL)) Source #
type CfgState MJavaSig Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Cfg type CfgState MJavaSig
type ContainerFunctors MJavaSig Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Cfg type ContainerFunctors MJavaSig = '[PairF, ListF, MaybeF, SwitchBlock]
type SuspendedComputationSorts MJavaSig Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Cfg type SuspendedComputationSorts MJavaSig = '[MethodBodyL, ConstructorBodyL, LambdaExpressionL, CatchL, FunctionDefL]
type ComputationSorts MJavaSig Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Cfg type ComputationSorts MJavaSig = '[StmtL, ExpL, BlockStmtL, [BlockItemL]]
type InjectableSorts MJavaSig MultiLocalVarDeclL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types type InjectableSorts MJavaSig MultiLocalVarDeclL = '[] :: [Type]

data BlockIsBlock (e :: Type -> Type) i Source #

Constructors

i ~ BlockL => BlockIsBlock (e BlockL)

Instances

Instances details

ShowHF BlockIsBlock Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods showHF :: Alg BlockIsBlock (K String) # showHF' :: BlockIsBlock (K String) :=> String #
OrdHF BlockIsBlock Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods compareHF :: forall (a :: Type -> Type) i j. KOrd a => BlockIsBlock a i -> BlockIsBlock a j -> Ordering #
EqHF BlockIsBlock Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods eqHF :: forall (g :: Type -> Type) i j. KEq g => BlockIsBlock g i -> BlockIsBlock g j -> Bool #
HTraversable BlockIsBlock Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods hmapM :: forall (m :: Type -> Type) (a :: Type -> Type) (b :: Type -> Type). Monad m => NatM m a b -> NatM m (BlockIsBlock a) (BlockIsBlock b) # htraverse :: forall (f :: Type -> Type) (a :: Type -> Type) (b :: Type -> Type). Applicative f => NatM f a b -> NatM f (BlockIsBlock a) (BlockIsBlock b) #
HFoldable BlockIsBlock Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods hfold :: Monoid m => BlockIsBlock (K m) :=> m # hfoldMap :: forall m (a :: Type -> Type). Monoid m => (a :=> m) -> BlockIsBlock a :=> m # hfoldr :: forall (a :: Type -> Type) b. (a :=> (b -> b)) -> b -> BlockIsBlock a :=> b # hfoldl :: forall b (a :: Type -> Type). (b -> a :=> b) -> b -> BlockIsBlock a :=> b # hfoldr1 :: (a -> a -> a) -> BlockIsBlock (K a) :=> a # hfoldl1 :: (a -> a -> a) -> BlockIsBlock (K a) :=> a #
HFunctor BlockIsBlock Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods hfmap :: forall (f :: Type -> Type) (g :: Type -> Type). (f :-> g) -> BlockIsBlock f :-> BlockIsBlock g #
CfgInitState MJavaSig Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Cfg Methods cfgInitState :: Proxy MJavaSig -> CfgState MJavaSig Source #
Pretty MJavaSig Source #
Instance details Defined in Cubix.ParsePretty Methods pretty :: Term MJavaSig (RootSort MJavaSig) -> String Source # prettyUnsafe :: Term MJavaSig l -> String Source #
ParseFile MJavaSig Source #
Instance details Defined in Cubix.ParsePretty Methods parseFile :: FilePath -> IO (Maybe (Term MJavaSig (RootSort MJavaSig))) Source #
InjF MJavaSig IdentL LhsL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJavaSig a IdentL -> CxtS h MJavaSig a LhsL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJavaSig :&: p) a LhsL -> Maybe (Cxt h (Sum MJavaSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MJavaSig a LhsL -> Maybe (CxtS h MJavaSig a IdentL) Source #
InjF MJavaSig IdentL FunctionExpL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJavaSig a IdentL -> CxtS h MJavaSig a FunctionExpL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJavaSig :&: p) a FunctionExpL -> Maybe (Cxt h (Sum MJavaSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MJavaSig a FunctionExpL -> Maybe (CxtS h MJavaSig a IdentL) Source #
InjF MJavaSig IdentL PositionalArgExpL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJavaSig a IdentL -> CxtS h MJavaSig a PositionalArgExpL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJavaSig :&: p) a PositionalArgExpL -> Maybe (Cxt h (Sum MJavaSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MJavaSig a PositionalArgExpL -> Maybe (CxtS h MJavaSig a IdentL) Source #
InjF MJavaSig IdentL ExpL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJavaSig a IdentL -> CxtS h MJavaSig a ExpL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJavaSig :&: p) a ExpL -> Maybe (Cxt h (Sum MJavaSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MJavaSig a ExpL -> Maybe (CxtS h MJavaSig a IdentL) Source #
InjF MJavaSig MultiLocalVarDeclL BlockItemL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJavaSig a MultiLocalVarDeclL -> CxtS h MJavaSig a BlockItemL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJavaSig :&: p) a BlockItemL -> Maybe (Cxt h (Sum MJavaSig :&: p) a MultiLocalVarDeclL) Source # projF :: forall h (a :: Type -> Type). CxtS h MJavaSig a BlockItemL -> Maybe (CxtS h MJavaSig a MultiLocalVarDeclL) Source #
InjF MJavaSig AssignL BlockItemL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJavaSig a AssignL -> CxtS h MJavaSig a BlockItemL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJavaSig :&: p) a BlockItemL -> Maybe (Cxt h (Sum MJavaSig :&: p) a AssignL) Source # projF :: forall h (a :: Type -> Type). CxtS h MJavaSig a BlockItemL -> Maybe (CxtS h MJavaSig a AssignL) Source #
InjF MJavaSig BlockL StmtL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJavaSig a BlockL -> CxtS h MJavaSig a StmtL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJavaSig :&: p) a StmtL -> Maybe (Cxt h (Sum MJavaSig :&: p) a BlockL) Source # projF :: forall h (a :: Type -> Type). CxtS h MJavaSig a StmtL -> Maybe (CxtS h MJavaSig a BlockL) Source #
InjF MJavaSig StmtL BlockItemL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJavaSig a StmtL -> CxtS h MJavaSig a BlockItemL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJavaSig :&: p) a BlockItemL -> Maybe (Cxt h (Sum MJavaSig :&: p) a StmtL) Source # projF :: forall h (a :: Type -> Type). CxtS h MJavaSig a BlockItemL -> Maybe (CxtS h MJavaSig a StmtL) Source #
InjF MJavaSig ExpL LocalVarInitL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJavaSig a ExpL -> CxtS h MJavaSig a LocalVarInitL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJavaSig :&: p) a LocalVarInitL -> Maybe (Cxt h (Sum MJavaSig :&: p) a ExpL) Source # projF :: forall h (a :: Type -> Type). CxtS h MJavaSig a LocalVarInitL -> Maybe (CxtS h MJavaSig a ExpL) Source #
InjF MJavaSig ExpL FunctionArgumentL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJavaSig a ExpL -> CxtS h MJavaSig a FunctionArgumentL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJavaSig :&: p) a FunctionArgumentL -> Maybe (Cxt h (Sum MJavaSig :&: p) a ExpL) Source # projF :: forall h (a :: Type -> Type). CxtS h MJavaSig a FunctionArgumentL -> Maybe (CxtS h MJavaSig a ExpL) Source #
InsertAt' MJavaSig BlockItemL Stmt Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Semantics Methods insertAt' :: MonadAnnotater a m => NodeEvaluationPoint -> AnnTerm a MJavaSig BlockItemL -> (Stmt :&: a) (AnnTerm a MJavaSig) i -> m (AnnTerm a MJavaSig i) Source # canInsertAt' :: NodeEvaluationPoint -> Proxy BlockItemL -> (Stmt :&: a) (AnnTerm a MJavaSig) i -> Bool Source #
InjF MJavaSig ([ModifierL], TypeL) MultiLocalVarDeclCommonAttrsL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJavaSig a ([ModifierL], TypeL) -> CxtS h MJavaSig a MultiLocalVarDeclCommonAttrsL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJavaSig :&: p) a MultiLocalVarDeclCommonAttrsL -> Maybe (Cxt h (Sum MJavaSig :&: p) a ([ModifierL], TypeL)) Source # projF :: forall h (a :: Type -> Type). CxtS h MJavaSig a MultiLocalVarDeclCommonAttrsL -> Maybe (CxtS h MJavaSig a ([ModifierL], TypeL)) Source #
type CfgState MJavaSig Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Cfg type CfgState MJavaSig
type ContainerFunctors MJavaSig Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Cfg type ContainerFunctors MJavaSig = '[PairF, ListF, MaybeF, SwitchBlock]
type SuspendedComputationSorts MJavaSig Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Cfg type SuspendedComputationSorts MJavaSig = '[MethodBodyL, ConstructorBodyL, LambdaExpressionL, CatchL, FunctionDefL]
type ComputationSorts MJavaSig Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Cfg type ComputationSorts MJavaSig = '[StmtL, ExpL, BlockStmtL, [BlockItemL]]
type InjectableSorts MJavaSig MultiLocalVarDeclL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types type InjectableSorts MJavaSig MultiLocalVarDeclL = '[] :: [Type]

data AssignIsExp (e :: Type -> Type) i Source #

Constructors

i ~ ExpL => AssignIsExp (e AssignL)

Instances

Instances details

ShowHF AssignIsExp Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods showHF :: Alg AssignIsExp (K String) # showHF' :: AssignIsExp (K String) :=> String #
OrdHF AssignIsExp Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods compareHF :: forall (a :: Type -> Type) i j. KOrd a => AssignIsExp a i -> AssignIsExp a j -> Ordering #
EqHF AssignIsExp Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods eqHF :: forall (g :: Type -> Type) i j. KEq g => AssignIsExp g i -> AssignIsExp g j -> Bool #
HTraversable AssignIsExp Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods hmapM :: forall (m :: Type -> Type) (a :: Type -> Type) (b :: Type -> Type). Monad m => NatM m a b -> NatM m (AssignIsExp a) (AssignIsExp b) # htraverse :: forall (f :: Type -> Type) (a :: Type -> Type) (b :: Type -> Type). Applicative f => NatM f a b -> NatM f (AssignIsExp a) (AssignIsExp b) #
HFoldable AssignIsExp Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods hfold :: Monoid m => AssignIsExp (K m) :=> m # hfoldMap :: forall m (a :: Type -> Type). Monoid m => (a :=> m) -> AssignIsExp a :=> m # hfoldr :: forall (a :: Type -> Type) b. (a :=> (b -> b)) -> b -> AssignIsExp a :=> b # hfoldl :: forall b (a :: Type -> Type). (b -> a :=> b) -> b -> AssignIsExp a :=> b # hfoldr1 :: (a -> a -> a) -> AssignIsExp (K a) :=> a # hfoldl1 :: (a -> a -> a) -> AssignIsExp (K a) :=> a #
HFunctor AssignIsExp Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods hfmap :: forall (f :: Type -> Type) (g :: Type -> Type). (f :-> g) -> AssignIsExp f :-> AssignIsExp g #
CfgInitState MJavaSig Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Cfg Methods cfgInitState :: Proxy MJavaSig -> CfgState MJavaSig Source #
Pretty MJavaSig Source #
Instance details Defined in Cubix.ParsePretty Methods pretty :: Term MJavaSig (RootSort MJavaSig) -> String Source # prettyUnsafe :: Term MJavaSig l -> String Source #
ParseFile MJavaSig Source #
Instance details Defined in Cubix.ParsePretty Methods parseFile :: FilePath -> IO (Maybe (Term MJavaSig (RootSort MJavaSig))) Source #
KDynCase AssignIsExp ExpL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods kdyncase :: forall (e :: Type -> Type) b. AssignIsExp e b -> Maybe (b :~: ExpL) #
InjF MJavaSig IdentL LhsL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJavaSig a IdentL -> CxtS h MJavaSig a LhsL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJavaSig :&: p) a LhsL -> Maybe (Cxt h (Sum MJavaSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MJavaSig a LhsL -> Maybe (CxtS h MJavaSig a IdentL) Source #
InjF MJavaSig IdentL FunctionExpL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJavaSig a IdentL -> CxtS h MJavaSig a FunctionExpL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJavaSig :&: p) a FunctionExpL -> Maybe (Cxt h (Sum MJavaSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MJavaSig a FunctionExpL -> Maybe (CxtS h MJavaSig a IdentL) Source #
InjF MJavaSig IdentL PositionalArgExpL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJavaSig a IdentL -> CxtS h MJavaSig a PositionalArgExpL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJavaSig :&: p) a PositionalArgExpL -> Maybe (Cxt h (Sum MJavaSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MJavaSig a PositionalArgExpL -> Maybe (CxtS h MJavaSig a IdentL) Source #
InjF MJavaSig IdentL ExpL Source #
Instance details Defined in