Safe Haskell	None
Language	Haskell2010

Cubix.Language.C.Parametric.Common

Synopsis

data CDeclarationSpecifiersIsMultiLocalVarDeclCommonAttrs e l where
- CDeclarationSpecifiersIsMultiLocalVarDeclCommonAttrs :: e [CDeclarationSpecifierL] -> CDeclarationSpecifiersIsMultiLocalVarDeclCommonAttrs e MultiLocalVarDeclCommonAttrsL
data CLocalVarAttrs e l where
- CLocalVarAttrs :: e [CDerivedDeclaratorL] -> e (Maybe CStringLiteralL) -> e [CAttributeL] -> CLocalVarAttrs e LocalVarDeclAttrsL
iCLocalVarAttrs :: forall h fs a j. ((:-<:) CLocalVarAttrs fs, InjF fs LocalVarDeclAttrsL j) => CxtS h fs a [CDerivedDeclaratorL] -> CxtS h fs a (Maybe CStringLiteralL) -> CxtS h fs a [CAttributeL] -> CxtS h fs a j
iCDeclarationSpecifiersIsMultiLocalVarDeclCommonAttrs :: forall h fs a j. ((:-<:) CDeclarationSpecifiersIsMultiLocalVarDeclCommonAttrs fs, InjF fs MultiLocalVarDeclCommonAttrsL j) => CxtS h fs a [CDeclarationSpecifierL] -> CxtS h fs a j
data MultiLocalVarDeclIsCCompoundBlockItem (e :: Type -> Type) i = i ~ CCompoundBlockItemL => MultiLocalVarDeclIsCCompoundBlockItem (e MultiLocalVarDeclL)
data CInitializerIsLocalVarInit (e :: Type -> Type) i = i ~ LocalVarInitL => CInitializerIsLocalVarInit (e CInitializerL)
data IdentIsIdent (e :: Type -> Type) i = i ~ IdentL => IdentIsIdent (e IdentL)
data CExpressionIsLhs (e :: Type -> Type) i = i ~ LhsL => CExpressionIsLhs (e CExpressionL)
data CExpressionIsRhs (e :: Type -> Type) i = i ~ RhsL => CExpressionIsRhs (e CExpressionL)
data CAssignOpIsAssignOp (e :: Type -> Type) i = i ~ AssignOpL => CAssignOpIsAssignOp (e CAssignOpL)
data AssignIsCExpression (e :: Type -> Type) i = i ~ CExpressionL => AssignIsCExpression (e AssignL)
data CCompoundBlockItemIsBlockItem (e :: Type -> Type) i = i ~ BlockItemL => CCompoundBlockItemIsBlockItem (e CCompoundBlockItemL)
iCCompoundBlockItemIsBlockItem :: forall h fs a j. ((:-<:) CCompoundBlockItemIsBlockItem fs, InjF fs BlockItemL j) => CxtS h fs a CCompoundBlockItemL -> CxtS h fs a j
iAssignIsCExpression :: forall h fs a j. ((:-<:) AssignIsCExpression fs, InjF fs CExpressionL j) => CxtS h fs a AssignL -> CxtS h fs a j
iCAssignOpIsAssignOp :: forall h fs a j. ((:-<:) CAssignOpIsAssignOp fs, InjF fs AssignOpL j) => CxtS h fs a CAssignOpL -> CxtS h fs a j
iCExpressionIsRhs :: forall h fs a j. ((:-<:) CExpressionIsRhs fs, InjF fs RhsL j) => CxtS h fs a CExpressionL -> CxtS h fs a j
iCExpressionIsLhs :: forall h fs a j. ((:-<:) CExpressionIsLhs fs, InjF fs LhsL j) => CxtS h fs a CExpressionL -> 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
iCInitializerIsLocalVarInit :: forall h fs a j. ((:-<:) CInitializerIsLocalVarInit fs, InjF fs LocalVarInitL j) => CxtS h fs a CInitializerL -> CxtS h fs a j
iMultiLocalVarDeclIsCCompoundBlockItem :: forall h fs a j. ((:-<:) MultiLocalVarDeclIsCCompoundBlockItem fs, InjF fs CCompoundBlockItemL j) => CxtS h fs a MultiLocalVarDeclL -> CxtS h fs a j
data CLabeledBlock e l where
- CLabeledBlock :: e [IdentL] -> e BlockL -> CLabeledBlock e CStatementL
iCLabeledBlock :: forall h fs a j. ((:-<:) CLabeledBlock fs, InjF fs CStatementL j) => CxtS h fs a [IdentL] -> CxtS h fs a BlockL -> CxtS h fs a j
data CSpecialParamL
data CVoidArg (e :: * -> *) l where
- CVoidArg :: CVoidArg e CSpecialParamL
iCVoidArg :: forall h fs a j. ((:-<:) CVoidArg fs, InjF fs CSpecialParamL j) => CxtS h fs a j
pattern CVoidArg' :: (CVoidArg :-<: fs, All HFunctor fs) => CxtS h fs a CSpecialParamL
data CVarArgParam (e :: * -> *) l where
- CVarArgParam :: CVarArgParam e CSpecialParamL
iCVarArgParam :: forall h fs a j. ((:-<:) CVarArgParam fs, InjF fs CSpecialParamL j) => CxtS h fs a j
pattern CVarArgParam' :: (CVarArgParam :-<: fs, All HFunctor fs) => CxtS h fs a CSpecialParamL
data COldStyleParamL
data COldStyleParam e l where
- COldStyleParam :: e IdentL -> COldStyleParam e COldStyleParamL
iCOldStyleParam :: forall h fs a j. ((:-<:) COldStyleParam fs, InjF fs COldStyleParamL j) => CxtS h fs a IdentL -> CxtS h fs a j
pattern COldStyleParam' :: (COldStyleParam :-<: fs, All HFunctor fs) => CxtS h fs a IdentL -> CxtS h fs a COldStyleParamL
data CFunDeclAttrs e l where
- CFunDeclAttrs :: e [CDerivedDeclaratorL] -> e [CAttributeL] -> e (Maybe CStringLiteralL) -> e [CAttributeL] -> CFunDeclAttrs e FunctionDeclAttrsL
iCFunDeclAttrs :: forall h fs a j. ((:-<:) CFunDeclAttrs fs, InjF fs FunctionDeclAttrsL j) => CxtS h fs a [CDerivedDeclaratorL] -> CxtS h fs a [CAttributeL] -> CxtS h fs a (Maybe CStringLiteralL) -> CxtS h fs a [CAttributeL] -> CxtS h fs a j
pattern CFunDeclAttrs' :: (CFunDeclAttrs :-<: fs, All HFunctor fs) => CxtS h fs a [CDerivedDeclaratorL] -> CxtS h fs a [CAttributeL] -> CxtS h fs a (Maybe CStringLiteralL) -> CxtS h fs a [CAttributeL] -> CxtS h fs a FunctionDeclAttrsL
data CFunDefAttrs e l where
- CFunDefAttrs :: e [CDeclarationSpecifierL] -> e FunctionDeclAttrsL -> e [CDeclarationL] -> CFunDefAttrs e FunctionDefAttrsL
iCFunDefAttrs :: forall h fs a j. ((:-<:) CFunDefAttrs fs, InjF fs FunctionDefAttrsL j) => CxtS h fs a [CDeclarationSpecifierL] -> CxtS h fs a FunctionDeclAttrsL -> CxtS h fs a [CDeclarationL] -> CxtS h fs a j
pattern CFunDefAttrs' :: (CFunDefAttrs :-<: fs, All HFunctor fs) => CxtS h fs a [CDeclarationSpecifierL] -> CxtS h fs a FunctionDeclAttrsL -> CxtS h fs a [CDeclarationL] -> CxtS h fs a FunctionDefAttrsL
data CFunParamAttrsL
data CFunParamAttrs e l where
- CFunParamAttrs :: e [CDeclarationSpecifierL] -> e [CDerivedDeclaratorL] -> e (Maybe CStringLiteralL) -> e [CAttributeL] -> CFunParamAttrs e CFunParamAttrsL
iCFunParamAttrs :: forall h fs a j. ((:-<:) CFunParamAttrs fs, InjF fs CFunParamAttrsL j) => CxtS h fs a [CDeclarationSpecifierL] -> CxtS h fs a [CDerivedDeclaratorL] -> CxtS h fs a (Maybe CStringLiteralL) -> CxtS h fs a [CAttributeL] -> CxtS h fs a j
pattern CFunParamAttrs' :: (CFunParamAttrs :-<: fs, All HFunctor fs) => CxtS h fs a [CDeclarationSpecifierL] -> CxtS h fs a [CDerivedDeclaratorL] -> CxtS h fs a (Maybe CStringLiteralL) -> CxtS h fs a [CAttributeL] -> CxtS h fs a CFunParamAttrsL
data FunctionCallIsCExpression (e :: Type -> Type) i = i ~ CExpressionL => FunctionCallIsCExpression (e FunctionCallL)
data CExpressionIsFunctionExp (e :: Type -> Type) i = i ~ FunctionExpL => CExpressionIsFunctionExp (e CExpressionL)
data CExpressionIsPositionalArgExp (e :: Type -> Type) i = i ~ PositionalArgExpL => CExpressionIsPositionalArgExp (e CExpressionL)
data FunctionDeclIsCDeclarator (e :: Type -> Type) i = i ~ CDeclaratorL => FunctionDeclIsCDeclarator (e FunctionDeclL)
data CFunParamAttrsIsFunctionParameterDeclAttrs (e :: Type -> Type) i = i ~ FunctionParameterDeclAttrsL => CFunParamAttrsIsFunctionParameterDeclAttrs (e CFunParamAttrsL)
data CSpecialParamIsFunctionParameterDecl (e :: Type -> Type) i = i ~ FunctionParameterDeclL => CSpecialParamIsFunctionParameterDecl (e CSpecialParamL)
data FunctionDefIsCFunctionDef (e :: Type -> Type) i = i ~ CFunctionDefL => FunctionDefIsCFunctionDef (e FunctionDefL)
data CFunParamAttrsIsParameterAttrs (e :: Type -> Type) i = i ~ ParameterAttrsL => CFunParamAttrsIsParameterAttrs (e CFunParamAttrsL)
data CSpecialParamIsFunctionParameter (e :: Type -> Type) i = i ~ FunctionParameterL => CSpecialParamIsFunctionParameter (e CSpecialParamL)
data COldStyleParamIsFunctionParameter (e :: Type -> Type) i = i ~ FunctionParameterL => COldStyleParamIsFunctionParameter (e COldStyleParamL)
data CStatementIsFunctionBody (e :: Type -> Type) i = i ~ FunctionBodyL => CStatementIsFunctionBody (e CStatementL)
iCStatementIsFunctionBody :: forall h fs a j. ((:-<:) CStatementIsFunctionBody fs, InjF fs FunctionBodyL j) => CxtS h fs a CStatementL -> CxtS h fs a j
iCOldStyleParamIsFunctionParameter :: forall h fs a j. ((:-<:) COldStyleParamIsFunctionParameter fs, InjF fs FunctionParameterL j) => CxtS h fs a COldStyleParamL -> CxtS h fs a j
iCSpecialParamIsFunctionParameter :: forall h fs a j. ((:-<:) CSpecialParamIsFunctionParameter fs, InjF fs FunctionParameterL j) => CxtS h fs a CSpecialParamL -> CxtS h fs a j
iCFunParamAttrsIsParameterAttrs :: forall h fs a j. ((:-<:) CFunParamAttrsIsParameterAttrs fs, InjF fs ParameterAttrsL j) => CxtS h fs a CFunParamAttrsL -> CxtS h fs a j
iFunctionDefIsCFunctionDef :: forall h fs a j. ((:-<:) FunctionDefIsCFunctionDef fs, InjF fs CFunctionDefL j) => CxtS h fs a FunctionDefL -> CxtS h fs a j
iCSpecialParamIsFunctionParameterDecl :: forall h fs a j. ((:-<:) CSpecialParamIsFunctionParameterDecl fs, InjF fs FunctionParameterDeclL j) => CxtS h fs a CSpecialParamL -> CxtS h fs a j
iCFunParamAttrsIsFunctionParameterDeclAttrs :: forall h fs a j. ((:-<:) CFunParamAttrsIsFunctionParameterDeclAttrs fs, InjF fs FunctionParameterDeclAttrsL j) => CxtS h fs a CFunParamAttrsL -> CxtS h fs a j
iFunctionDeclIsCDeclarator :: forall h fs a j. ((:-<:) FunctionDeclIsCDeclarator fs, InjF fs CDeclaratorL j) => CxtS h fs a FunctionDeclL -> CxtS h fs a j
iCExpressionIsPositionalArgExp :: forall h fs a j. ((:-<:) CExpressionIsPositionalArgExp fs, InjF fs PositionalArgExpL j) => CxtS h fs a CExpressionL -> CxtS h fs a j
iCExpressionIsFunctionExp :: forall h fs a j. ((:-<:) CExpressionIsFunctionExp fs, InjF fs FunctionExpL j) => CxtS h fs a CExpressionL -> CxtS h fs a j
iFunctionCallIsCExpression :: forall h fs a j. ((:-<:) FunctionCallIsCExpression fs, InjF fs CExpressionL j) => CxtS h fs a FunctionCallL -> CxtS h fs a j
pattern CInteger' :: (CInteger :-<: fs, CIntRepr :-<: fs, Flags :-<: fs, All HFunctor fs) => Integer -> CxtS h fs a CIntegerL
pattern CString' :: (CString :-<: fs, All HFunctor fs) => String -> CxtS h fs a CStringL
type MCSig = '[Name, NodeInfo, FilePosition, Position, CAlignmentSpecifier, CArraySize, CAssemblyOperand, CAssemblyStatement, CAttribute, CBuiltinThing, CCompoundBlockItem, CConstant, CDeclaration, CDeclarationSpecifier, CDeclarator, CDerivedDeclarator, CEnumeration, CExpression, CExternalDeclaration, CFunctionSpecifier, CInitializer, CPartDesignator, CStatement, CStorageSpecifier, CStringLiteral, CStructTag, CStructureUnion, CTranslationUnit, CTypeQualifier, CTypeSpecifier, CChar, CFloat, CIntFlag, CIntRepr, CInteger, CString, Flags, CAssignOp, CBinaryOp, CUnaryOp, PairF, TripleF, ListF, MaybeF, EitherF, BoolF, IntF, IntegerF, UnitF, CDeclarationSpecifiersIsMultiLocalVarDeclCommonAttrs, MultiLocalVarDeclIsCCompoundBlockItem, CInitializerIsLocalVarInit, IdentIsIdent, CExpressionIsLhs, CExpressionIsRhs, CAssignOpIsAssignOp, AssignIsCExpression, CCompoundBlockItemIsBlockItem, IdentIsVarDeclBinder, FunctionCallIsCExpression, CExpressionIsFunctionExp, CExpressionIsPositionalArgExp, FunctionDeclIsCDeclarator, CFunParamAttrsIsFunctionParameterDeclAttrs, CSpecialParamIsFunctionParameterDecl, FunctionDefIsCFunctionDef, CFunParamAttrsIsParameterAttrs, CSpecialParamIsFunctionParameter, COldStyleParamIsFunctionParameter, CStatementIsFunctionBody, CLocalVarAttrs, CLabeledBlock, CVoidArg, CVarArgParam, COldStyleParam, CFunDeclAttrs, CFunDefAttrs, CFunParamAttrs, OptLocalVarInit, SingleLocalVarDecl, MultiLocalVarDecl, Ident, Assign, AssignOpEquals, Block, EmptyBlockEnd, FunctionCall, EmptyFunctionCallAttrs, FunctionArgumentList, PositionalArgument, FunctionDecl, PositionalParameterDeclOptionalIdent, FunctionDef, PositionalParameter]
type MCTerm = Term MCSig
type MCTermLab = TermLab MCSig
type MCCxt h a = CxtS h MCSig a
type MCCxtA h a p = AnnCxtS p h MCSig a
translate :: CTerm l -> MCTerm l
untranslate :: MCTerm l -> CTerm l
data CUnaryOpL
data CUnaryOp (e :: Type -> Type) i
- = i ~ CUnaryOpL => CPreIncOp
- | i ~ CUnaryOpL => CPreDecOp
- | i ~ CUnaryOpL => CPostIncOp
- | i ~ CUnaryOpL => CPostDecOp
- | i ~ CUnaryOpL => CAdrOp
- | i ~ CUnaryOpL => CIndOp
- | i ~ CUnaryOpL => CPlusOp
- | i ~ CUnaryOpL => CMinOp
- | i ~ CUnaryOpL => CCompOp
- | i ~ CUnaryOpL => CNegOp
data CBinaryOpL
data CBinaryOp (e :: Type -> Type) i
- = i ~ CBinaryOpL => CMulOp
- | i ~ CBinaryOpL => CDivOp
- | i ~ CBinaryOpL => CRmdOp
- | i ~ CBinaryOpL => CAddOp
- | i ~ CBinaryOpL => CSubOp
- | i ~ CBinaryOpL => CShlOp
- | i ~ CBinaryOpL => CShrOp
- | i ~ CBinaryOpL => CLeOp
- | i ~ CBinaryOpL => CGrOp
- | i ~ CBinaryOpL => CLeqOp
- | i ~ CBinaryOpL => CGeqOp
- | i ~ CBinaryOpL => CEqOp
- | i ~ CBinaryOpL => CNeqOp
- | i ~ CBinaryOpL => CAndOp
- | i ~ CBinaryOpL => CXorOp
- | i ~ CBinaryOpL => COrOp
- | i ~ CBinaryOpL => CLndOp
- | i ~ CBinaryOpL => CLorOp
data CAssignOpL
data CAssignOp (e :: Type -> Type) i
- = i ~ CAssignOpL => CAssignOp
- | i ~ CAssignOpL => CMulAssOp
- | i ~ CAssignOpL => CDivAssOp
- | i ~ CAssignOpL => CRmdAssOp
- | i ~ CAssignOpL => CAddAssOp
- | i ~ CAssignOpL => CSubAssOp
- | i ~ CAssignOpL => CShlAssOp
- | i ~ CAssignOpL => CShrAssOp
- | i ~ CAssignOpL => CAndAssOp
- | i ~ CAssignOpL => CXorAssOp
- | i ~ CAssignOpL => COrAssOp
data FlagsL
data Flags (e :: Type -> Type) i = i ~ FlagsL => Flags Integer
data CStringL
data CString (e :: Type -> Type) i = i ~ CStringL => CString String Bool
data CIntegerL
data CInteger (e :: Type -> Type) i = i ~ CIntegerL => CInteger !Integer !(e CIntReprL) !(e FlagsL)
data CIntReprL
data CIntRepr (e :: Type -> Type) i
- = i ~ CIntReprL => DecRepr
- | i ~ CIntReprL => HexRepr
- | i ~ CIntReprL => OctalRepr
data CIntFlagL
data CIntFlag (e :: Type -> Type) i
- = i ~ CIntFlagL => FlagUnsigned
- | i ~ CIntFlagL => FlagLong
- | i ~ CIntFlagL => FlagLongLong
- | i ~ CIntFlagL => FlagImag
data CFloatL
data CFloat (e :: Type -> Type) i = i ~ CFloatL => CFloat !String
data CCharL
data CChar (e :: Type -> Type) i
- = i ~ CCharL => CChar !Char !Bool
- | i ~ CCharL => CChars [Char] !Bool
data CTypeSpecifierL
data CTypeSpecifier (e :: Type -> Type) i
- = i ~ CTypeSpecifierL => CVoidType (e ())
- | i ~ CTypeSpecifierL => CCharType (e ())
- | i ~ CTypeSpecifierL => CShortType (e ())
- | i ~ CTypeSpecifierL => CIntType (e ())
- | i ~ CTypeSpecifierL => CLongType (e ())
- | i ~ CTypeSpecifierL => CFloatType (e ())
- | i ~ CTypeSpecifierL => CDoubleType (e ())
- | i ~ CTypeSpecifierL => CSignedType (e ())
- | i ~ CTypeSpecifierL => CUnsigType (e ())
- | i ~ CTypeSpecifierL => CBoolType (e ())
- | i ~ CTypeSpecifierL => CComplexType (e ())
- | i ~ CTypeSpecifierL => CInt128Type (e ())
- | i ~ CTypeSpecifierL => CFloatNType Int Bool (e ())
- | i ~ CTypeSpecifierL => CSUType (e CStructureUnionL) (e ())
- | i ~ CTypeSpecifierL => CEnumType (e CEnumerationL) (e ())
- | i ~ CTypeSpecifierL => CTypeDef (e IdentL) (e ())
- | i ~ CTypeSpecifierL => CTypeOfExpr (e CExpressionL) (e ())
- | i ~ CTypeSpecifierL => CTypeOfType (e CDeclarationL) (e ())
- | i ~ CTypeSpecifierL => CAtomicType (e CDeclarationL) (e ())
data CTypeQualifierL
data CTypeQualifier (e :: Type -> Type) i
- = i ~ CTypeQualifierL => CConstQual (e ())
- | i ~ CTypeQualifierL => CVolatQual (e ())
- | i ~ CTypeQualifierL => CRestrQual (e ())
- | i ~ CTypeQualifierL => CAtomicQual (e ())
- | i ~ CTypeQualifierL => CAttrQual (e CAttributeL)
- | i ~ CTypeQualifierL => CNullableQual (e ())
- | i ~ CTypeQualifierL => CNonnullQual (e ())
- | i ~ CTypeQualifierL => CClRdOnlyQual (e ())
- | i ~ CTypeQualifierL => CClWrOnlyQual (e ())
data CTranslationUnitL
data CTranslationUnit (e :: Type -> Type) i = i ~ CTranslationUnitL => CTranslUnit (e [CExternalDeclarationL]) (e ())
data CStructureUnionL
data CStructureUnion (e :: Type -> Type) i = i ~ CStructureUnionL => CStruct (e CStructTagL) (e (Maybe IdentL)) (e (Maybe [CDeclarationL])) (e [CAttributeL]) (e ())
data CStructTagL
data CStructTag (e :: Type -> Type) i
- = i ~ CStructTagL => CStructTag
- | i ~ CStructTagL => CUnionTag
data CStringLiteralL
data CStringLiteral (e :: Type -> Type) i = i ~ CStringLiteralL => CStrLit (e CStringL) (e ())
data CStorageSpecifierL
data CStorageSpecifier (e :: Type -> Type) i
- = i ~ CStorageSpecifierL => CAuto (e ())
- | i ~ CStorageSpecifierL => CRegister (e ())
- | i ~ CStorageSpecifierL => CStatic (e ())
- | i ~ CStorageSpecifierL => CExtern (e ())
- | i ~ CStorageSpecifierL => CTypedef (e ())
- | i ~ CStorageSpecifierL => CThread (e ())
- | i ~ CStorageSpecifierL => CClKernel (e ())
- | i ~ CStorageSpecifierL => CClGlobal (e ())
- | i ~ CStorageSpecifierL => CClLocal (e ())
data CStatementL
data CStatement (e :: Type -> Type) i
- = i ~ CStatementL => CLabel (e IdentL) (e CStatementL) (e [CAttributeL]) (e ())
- | i ~ CStatementL => CCase (e CExpressionL) (e CStatementL) (e ())
- | i ~ CStatementL => CCases (e CExpressionL) (e CExpressionL) (e CStatementL) (e ())
- | i ~ CStatementL => CDefault (e CStatementL) (e ())
- | i ~ CStatementL => CExpr (e (Maybe CExpressionL)) (e ())
- | i ~ CStatementL => CCompound (e [IdentL]) (e [CCompoundBlockItemL]) (e ())
- | i ~ CStatementL => CIf (e CExpressionL) (e CStatementL) (e (Maybe CStatementL)) (e ())
- | i ~ CStatementL => CSwitch (e CExpressionL) (e CStatementL) (e ())
- | i ~ CStatementL => CWhile (e CExpressionL) (e CStatementL) Bool (e ())
- | i ~ CStatementL => CFor (e (Either (Maybe CExpressionL) CDeclarationL)) (e (Maybe CExpressionL)) (e (Maybe CExpressionL)) (e CStatementL) (e ())
- | i ~ CStatementL => CGoto (e IdentL) (e ())
- | i ~ CStatementL => CGotoPtr (e CExpressionL) (e ())
- | i ~ CStatementL => CCont (e ())
- | i ~ CStatementL => CBreak (e ())
- | i ~ CStatementL => CReturn (e (Maybe CExpressionL)) (e ())
- | i ~ CStatementL => CAsm (e CAssemblyStatementL) (e ())
data CPartDesignatorL
data CPartDesignator (e :: Type -> Type) i
- = i ~ CPartDesignatorL => CArrDesig (e CExpressionL) (e ())
- | i ~ CPartDesignatorL => CMemberDesig (e IdentL) (e ())
- | i ~ CPartDesignatorL => CRangeDesig (e CExpressionL) (e CExpressionL) (e ())
data CInitializerL
data CInitializer (e :: Type -> Type) i
- = i ~ CInitializerL => CInitExpr (e CExpressionL) (e ())
- | i ~ CInitializerL => CInitList (e [([CPartDesignatorL], CInitializerL)]) (e ())
data CFunctionSpecifierL
data CFunctionSpecifier (e :: Type -> Type) i
- = i ~ CFunctionSpecifierL => CInlineQual (e ())
- | i ~ CFunctionSpecifierL => CNoreturnQual (e ())
data CFunctionDefL
data CFunctionDef (e :: Type -> Type) i = i ~ CFunctionDefL => CFunDef (e [CDeclarationSpecifierL]) (e CDeclaratorL) (e [CDeclarationL]) (e CStatementL) (e ())
data CExternalDeclarationL
data CExternalDeclaration (e :: Type -> Type) i
- = i ~ CExternalDeclarationL => CDeclExt (e CDeclarationL)
- | i ~ CExternalDeclarationL => CFDefExt (e CFunctionDefL)
- | i ~ CExternalDeclarationL => CAsmExt (e CStringLiteralL) (e ())
data CExpressionL
data CExpression (e :: Type -> Type) i
- = i ~ CExpressionL => CComma (e [CExpressionL]) (e ())
- | i ~ CExpressionL => CAssign (e CAssignOpL) (e CExpressionL) (e CExpressionL) (e ())
- | i ~ CExpressionL => CCond (e CExpressionL) (e (Maybe CExpressionL)) (e CExpressionL) (e ())
- | i ~ CExpressionL => CBinary (e CBinaryOpL) (e CExpressionL) (e CExpressionL) (e ())
- | i ~ CExpressionL => CCast (e CDeclarationL) (e CExpressionL) (e ())
- | i ~ CExpressionL => CUnary (e CUnaryOpL) (e CExpressionL) (e ())
- | i ~ CExpressionL => CSizeofExpr (e CExpressionL) (e ())
- | i ~ CExpressionL => CSizeofType (e CDeclarationL) (e ())
- | i ~ CExpressionL => CAlignofExpr (e CExpressionL) (e ())
- | i ~ CExpressionL => CAlignofType (e CDeclarationL) (e ())
- | i ~ CExpressionL => CComplexReal (e CExpressionL) (e ())
- | i ~ CExpressionL => CComplexImag (e CExpressionL) (e ())
- | i ~ CExpressionL => CIndex (e CExpressionL) (e CExpressionL) (e ())
- | i ~ CExpressionL => CCall (e CExpressionL) (e [CExpressionL]) (e ())
- | i ~ CExpressionL => CMember (e CExpressionL) (e IdentL) Bool (e ())
- | i ~ CExpressionL => CVar (e IdentL) (e ())
- | i ~ CExpressionL => CConst (e CConstantL)
- | i ~ CExpressionL => CCompoundLit (e CDeclarationL) (e [([CPartDesignatorL], CInitializerL)]) (e ())
- | i ~ CExpressionL => CGenericSelection (e CExpressionL) (e [(Maybe CDeclarationL, CExpressionL)]) (e ())
- | i ~ CExpressionL => CStatExpr (e CStatementL) (e ())
- | i ~ CExpressionL => CLabAddrExpr (e IdentL) (e ())
- | i ~ CExpressionL => CBuiltinExpr (e CBuiltinThingL)
data CEnumerationL
data CEnumeration (e :: Type -> Type) i = i ~ CEnumerationL => CEnum (e (Maybe IdentL)) (e (Maybe [(IdentL, Maybe CExpressionL)])) (e [CAttributeL]) (e ())
data CDerivedDeclaratorL
data CDerivedDeclarator (e :: Type -> Type) i
- = i ~ CDerivedDeclaratorL => CPtrDeclr (e [CTypeQualifierL]) (e ())
- | i ~ CDerivedDeclaratorL => CArrDeclr (e [CTypeQualifierL]) (e CArraySizeL) (e ())
- | i ~ CDerivedDeclaratorL => CFunDeclr (e (Either [IdentL] ([CDeclarationL], BoolL))) (e [CAttributeL]) (e ())
data CDeclaratorL
data CDeclarator (e :: Type -> Type) i = i ~ CDeclaratorL => CDeclr (e (Maybe IdentL)) (e [CDerivedDeclaratorL]) (e (Maybe CStringLiteralL)) (e [CAttributeL]) (e ())
data CDeclarationSpecifierL
data CDeclarationSpecifier (e :: Type -> Type) i
- = i ~ CDeclarationSpecifierL => CStorageSpec (e CStorageSpecifierL)
- | i ~ CDeclarationSpecifierL => CTypeSpec (e CTypeSpecifierL)
- | i ~ CDeclarationSpecifierL => CTypeQual (e CTypeQualifierL)
- | i ~ CDeclarationSpecifierL => CFunSpec (e CFunctionSpecifierL)
- | i ~ CDeclarationSpecifierL => CAlignSpec (e CAlignmentSpecifierL)
data CDeclarationL
data CDeclaration (e :: Type -> Type) i
- = i ~ CDeclarationL => CDecl (e [CDeclarationSpecifierL]) (e [(Maybe CDeclaratorL, Maybe CInitializerL, Maybe CExpressionL)]) (e ())
- | i ~ CDeclarationL => CStaticAssert (e CExpressionL) (e CStringLiteralL) (e ())
data CConstantL
data CConstant (e :: Type -> Type) i
- = i ~ CConstantL => CIntConst (e CIntegerL) (e ())
- | i ~ CConstantL => CCharConst (e CCharL) (e ())
- | i ~ CConstantL => CFloatConst (e CFloatL) (e ())
- | i ~ CConstantL => CStrConst (e CStringL) (e ())
data CCompoundBlockItemL
data CCompoundBlockItem (e :: Type -> Type) i
- = i ~ CCompoundBlockItemL => CBlockStmt (e CStatementL)
- | i ~ CCompoundBlockItemL => CBlockDecl (e CDeclarationL)
- | i ~ CCompoundBlockItemL => CNestedFunDef (e CFunctionDefL)
data CBuiltinThingL
data CBuiltinThing (e :: Type -> Type) i
- = i ~ CBuiltinThingL => CBuiltinVaArg (e CExpressionL) (e CDeclarationL) (e ())
- | i ~ CBuiltinThingL => CBuiltinOffsetOf (e CDeclarationL) (e [CPartDesignatorL]) (e ())
- | i ~ CBuiltinThingL => CBuiltinTypesCompatible (e CDeclarationL) (e CDeclarationL) (e ())
- | i ~ CBuiltinThingL => CBuiltinConvertVector (e CExpressionL) (e CDeclarationL) (e ())
data CAttributeL
data CAttribute (e :: Type -> Type) i = i ~ CAttributeL => CAttr (e IdentL) (e [CExpressionL]) (e ())
data CAssemblyStatementL
data CAssemblyStatement (e :: Type -> Type) i = i ~ CAssemblyStatementL => CAsmStmt (e (Maybe CTypeQualifierL)) (e CStringLiteralL) (e [CAssemblyOperandL]) (e [CAssemblyOperandL]) (e [CStringLiteralL]) (e ())
data CAssemblyOperandL
data CAssemblyOperand (e :: Type -> Type) i = i ~ CAssemblyOperandL => CAsmOperand (e (Maybe IdentL)) (e CStringLiteralL) (e CExpressionL) (e ())
data CArraySizeL
data CArraySize (e :: Type -> Type) i
- = i ~ CArraySizeL => CNoArrSize Bool
- | i ~ CArraySizeL => CArrSize Bool (e CExpressionL)
data CAlignmentSpecifierL
data CAlignmentSpecifier (e :: Type -> Type) i
- = i ~ CAlignmentSpecifierL => CAlignAsType (e CDeclarationL) (e ())
- | i ~ CAlignmentSpecifierL => CAlignAsExpr (e CExpressionL) (e ())
data PositionL
data Position (e :: Type -> Type) i
- = i ~ PositionL => Position {
  - posOffset :: !Int
  - posRow :: !Int
  - posColumn :: !Int
  - posFileInfo :: (e FilePositionL)
  }
- | i ~ PositionL => NoPosition
- | i ~ PositionL => BuiltinPosition
- | i ~ PositionL => InternalPosition
data FilePositionL
data FilePosition (e :: Type -> Type) i = i ~ FilePositionL => FilePosition {
- posSrcFile :: String
- posParentFile :: (e (Maybe PositionL))
}
data NodeInfoL
data NodeInfo (e :: Type -> Type) i
- = i ~ NodeInfoL => OnlyPos (e PositionL) !(e (PositionL, IntL))
- | i ~ NodeInfoL => NodeInfo (e PositionL) !(e (PositionL, IntL)) !(e NameL)
data NameL
data Name (e :: Type -> Type) i = i ~ NameL => Name {
- nameId :: Int
}
iName :: forall h fs a j. ((:-<:) Name fs, InjF fs NameL j) => Int -> CxtS h fs a j
iOnlyPos :: forall h fs a j. ((:-<:) NodeInfo fs, InjF fs NodeInfoL j) => CxtS h fs a PositionL -> CxtS h fs a (PositionL, IntL) -> CxtS h fs a j
iNodeInfo :: forall h fs a j. ((:-<:) NodeInfo fs, InjF fs NodeInfoL j) => CxtS h fs a PositionL -> CxtS h fs a (PositionL, IntL) -> CxtS h fs a NameL -> CxtS h fs a j
iFilePosition :: forall h fs a j. ((:-<:) FilePosition fs, InjF fs FilePositionL j) => String -> CxtS h fs a (Maybe PositionL) -> CxtS h fs a j
iPosition :: forall h fs a j. ((:-<:) Position fs, InjF fs PositionL j) => Int -> Int -> Int -> CxtS h fs a FilePositionL -> CxtS h fs a j
iNoPosition :: forall h fs a j. ((:-<:) Position fs, InjF fs PositionL j) => CxtS h fs a j
iBuiltinPosition :: forall h fs a j. ((:-<:) Position fs, InjF fs PositionL j) => CxtS h fs a j
iInternalPosition :: forall h fs a j. ((:-<:) Position fs, InjF fs PositionL j) => CxtS h fs a j
iCAlignAsType :: forall h fs a j. ((:-<:) CAlignmentSpecifier fs, InjF fs CAlignmentSpecifierL j) => CxtS h fs a CDeclarationL -> CxtS h fs a () -> CxtS h fs a j
iCAlignAsExpr :: forall h fs a j. ((:-<:) CAlignmentSpecifier fs, InjF fs CAlignmentSpecifierL j) => CxtS h fs a CExpressionL -> CxtS h fs a () -> CxtS h fs a j
iCNoArrSize :: forall h fs a j. ((:-<:) CArraySize fs, InjF fs CArraySizeL j) => Bool -> CxtS h fs a j
iCArrSize :: forall h fs a j. ((:-<:) CArraySize fs, InjF fs CArraySizeL j) => Bool -> CxtS h fs a CExpressionL -> CxtS h fs a j
iCAsmOperand :: forall h fs a j. ((:-<:) CAssemblyOperand fs, InjF fs CAssemblyOperandL j) => CxtS h fs a (Maybe IdentL) -> CxtS h fs a CStringLiteralL -> CxtS h fs a CExpressionL -> CxtS h fs a () -> CxtS h fs a j
iCAsmStmt :: forall h fs a j. ((:-<:) CAssemblyStatement fs, InjF fs CAssemblyStatementL j) => CxtS h fs a (Maybe CTypeQualifierL) -> CxtS h fs a CStringLiteralL -> CxtS h fs a [CAssemblyOperandL] -> CxtS h fs a [CAssemblyOperandL] -> CxtS h fs a [CStringLiteralL] -> CxtS h fs a () -> CxtS h fs a j
iCAttr :: forall h fs a j. ((:-<:) CAttribute fs, InjF fs CAttributeL j) => CxtS h fs a IdentL -> CxtS h fs a [CExpressionL] -> CxtS h fs a () -> CxtS h fs a j
iCBuiltinVaArg :: forall h fs a j. ((:-<:) CBuiltinThing fs, InjF fs CBuiltinThingL j) => CxtS h fs a CExpressionL -> CxtS h fs a CDeclarationL -> CxtS h fs a () -> CxtS h fs a j
iCBuiltinOffsetOf :: forall h fs a j. ((:-<:) CBuiltinThing fs, InjF fs CBuiltinThingL j) => CxtS h fs a CDeclarationL -> CxtS h fs a [CPartDesignatorL] -> CxtS h fs a () -> CxtS h fs a j
iCBuiltinTypesCompatible :: forall h fs a j. ((:-<:) CBuiltinThing fs, InjF fs CBuiltinThingL j) => CxtS h fs a CDeclarationL -> CxtS h fs a CDeclarationL -> CxtS h fs a () -> CxtS h fs a j
iCBuiltinConvertVector :: forall h fs a j. ((:-<:) CBuiltinThing fs, InjF fs CBuiltinThingL j) => CxtS h fs a CExpressionL -> CxtS h fs a CDeclarationL -> CxtS h fs a () -> CxtS h fs a j
iCBlockStmt :: forall h fs a j. ((:-<:) CCompoundBlockItem fs, InjF fs CCompoundBlockItemL j) => CxtS h fs a CStatementL -> CxtS h fs a j
iCBlockDecl :: forall h fs a j. ((:-<:) CCompoundBlockItem fs, InjF fs CCompoundBlockItemL j) => CxtS h fs a CDeclarationL -> CxtS h fs a j
iCNestedFunDef :: forall h fs a j. ((:-<:) CCompoundBlockItem fs, InjF fs CCompoundBlockItemL j) => CxtS h fs a CFunctionDefL -> CxtS h fs a j
iCIntConst :: forall h fs a j. ((:-<:) CConstant fs, InjF fs CConstantL j) => CxtS h fs a CIntegerL -> CxtS h fs a () -> CxtS h fs a j
iCCharConst :: forall h fs a j. ((:-<:) CConstant fs, InjF fs CConstantL j) => CxtS h fs a CCharL -> CxtS h fs a () -> CxtS h fs a j
iCFloatConst :: forall h fs a j. ((:-<:) CConstant fs, InjF fs CConstantL j) => CxtS h fs a CFloatL -> CxtS h fs a () -> CxtS h fs a j
iCStrConst :: forall h fs a j. ((:-<:) CConstant fs, InjF fs CConstantL j) => CxtS h fs a CStringL -> CxtS h fs a () -> CxtS h fs a j
iCDecl :: forall h fs a j. ((:-<:) CDeclaration fs, InjF fs CDeclarationL j) => CxtS h fs a [CDeclarationSpecifierL] -> CxtS h fs a [(Maybe CDeclaratorL, Maybe CInitializerL, Maybe CExpressionL)] -> CxtS h fs a () -> CxtS h fs a j
iCStaticAssert :: forall h fs a j. ((:-<:) CDeclaration fs, InjF fs CDeclarationL j) => CxtS h fs a CExpressionL -> CxtS h fs a CStringLiteralL -> CxtS h fs a () -> CxtS h fs a j
iCStorageSpec :: forall h fs a j. ((:-<:) CDeclarationSpecifier fs, InjF fs CDeclarationSpecifierL j) => CxtS h fs a CStorageSpecifierL -> CxtS h fs a j
iCTypeSpec :: forall h fs a j. ((:-<:) CDeclarationSpecifier fs, InjF fs CDeclarationSpecifierL j) => CxtS h fs a CTypeSpecifierL -> CxtS h fs a j
iCTypeQual :: forall h fs a j. ((:-<:) CDeclarationSpecifier fs, InjF fs CDeclarationSpecifierL j) => CxtS h fs a CTypeQualifierL -> CxtS h fs a j
iCFunSpec :: forall h fs a j. ((:-<:) CDeclarationSpecifier fs, InjF fs CDeclarationSpecifierL j) => CxtS h fs a CFunctionSpecifierL -> CxtS h fs a j
iCAlignSpec :: forall h fs a j. ((:-<:) CDeclarationSpecifier fs, InjF fs CDeclarationSpecifierL j) => CxtS h fs a CAlignmentSpecifierL -> CxtS h fs a j
iCDeclr :: forall h fs a j. ((:-<:) CDeclarator fs, InjF fs CDeclaratorL j) => CxtS h fs a (Maybe IdentL) -> CxtS h fs a [CDerivedDeclaratorL] -> CxtS h fs a (Maybe CStringLiteralL) -> CxtS h fs a [CAttributeL] -> CxtS h fs a () -> CxtS h fs a j
iCPtrDeclr :: forall h fs a j. ((:-<:) CDerivedDeclarator fs, InjF fs CDerivedDeclaratorL j) => CxtS h fs a [CTypeQualifierL] -> CxtS h fs a () -> CxtS h fs a j
iCArrDeclr :: forall h fs a j. ((:-<:) CDerivedDeclarator fs, InjF fs CDerivedDeclaratorL j) => CxtS h fs a [CTypeQualifierL] -> CxtS h fs a CArraySizeL -> CxtS h fs a () -> CxtS h fs a j
iCFunDeclr :: forall h fs a j. ((:-<:) CDerivedDeclarator fs, InjF fs CDerivedDeclaratorL j) => CxtS h fs a (Either [IdentL] ([CDeclarationL], BoolL)) -> CxtS h fs a [CAttributeL] -> CxtS h fs a () -> CxtS h fs a j
iCEnum :: forall h fs a j. ((:-<:) CEnumeration fs, InjF fs CEnumerationL j) => CxtS h fs a (Maybe IdentL) -> CxtS h fs a (Maybe [(IdentL, Maybe CExpressionL)]) -> CxtS h fs a [CAttributeL] -> CxtS h fs a () -> CxtS h fs a j
iCComma :: forall h fs a j. ((:-<:) CExpression fs, InjF fs CExpressionL j) => CxtS h fs a [CExpressionL] -> CxtS h fs a () -> CxtS h fs a j
iCAssign :: forall h fs a j. ((:-<:) CExpression fs, InjF fs CExpressionL j) => CxtS h fs a CAssignOpL -> CxtS h fs a CExpressionL -> CxtS h fs a CExpressionL -> CxtS h fs a () -> CxtS h fs a j
iCCond :: forall h fs a j. ((:-<:) CExpression fs, InjF fs CExpressionL j) => CxtS h fs a CExpressionL -> CxtS h fs a (Maybe CExpressionL) -> CxtS h fs a CExpressionL -> CxtS h fs a () -> CxtS h fs a j
iCBinary :: forall h fs a j. ((:-<:) CExpression fs, InjF fs CExpressionL j) => CxtS h fs a CBinaryOpL -> CxtS h fs a CExpressionL -> CxtS h fs a CExpressionL -> CxtS h fs a () -> CxtS h fs a j
iCCast :: forall h fs a j. ((:-<:) CExpression fs, InjF fs CExpressionL j) => CxtS h fs a CDeclarationL -> CxtS h fs a CExpressionL -> CxtS h fs a () -> CxtS h fs a j
iCUnary :: forall h fs a j. ((:-<:) CExpression fs, InjF fs CExpressionL j) => CxtS h fs a CUnaryOpL -> CxtS h fs a CExpressionL -> CxtS h fs a () -> CxtS h fs a j
iCSizeofExpr :: forall h fs a j. ((:-<:) CExpression fs, InjF fs CExpressionL j) => CxtS h fs a CExpressionL -> CxtS h fs a () -> CxtS h fs a j
iCSizeofType :: forall h fs a j. ((:-<:) CExpression fs, InjF fs CExpressionL j) => CxtS h fs a CDeclarationL -> CxtS h fs a () -> CxtS h fs a j
iCAlignofExpr :: forall h fs a j. ((:-<:) CExpression fs, InjF fs CExpressionL j) => CxtS h fs a CExpressionL -> CxtS h fs a () -> CxtS h fs a j
iCAlignofType :: forall h fs a j. ((:-<:) CExpression fs, InjF fs CExpressionL j) => CxtS h fs a CDeclarationL -> CxtS h fs a () -> CxtS h fs a j
iCComplexReal :: forall h fs a j. ((:-<:) CExpression fs, InjF fs CExpressionL j) => CxtS h fs a CExpressionL -> CxtS h fs a () -> CxtS h fs a j
iCComplexImag :: forall h fs a j. ((:-<:) CExpression fs, InjF fs CExpressionL j) => CxtS h fs a CExpressionL -> CxtS h fs a () -> CxtS h fs a j
iCIndex :: forall h fs a j. ((:-<:) CExpression fs, InjF fs CExpressionL j) => CxtS h fs a CExpressionL -> CxtS h fs a CExpressionL -> CxtS h fs a () -> CxtS h fs a j
iCCall :: forall h fs a j. ((:-<:) CExpression fs, InjF fs CExpressionL j) => CxtS h fs a CExpressionL -> CxtS h fs a [CExpressionL] -> CxtS h fs a () -> CxtS h fs a j
iCMember :: forall h fs a j. ((:-<:) CExpression fs, InjF fs CExpressionL j) => CxtS h fs a CExpressionL -> CxtS h fs a IdentL -> Bool -> CxtS h fs a () -> CxtS h fs a j
iCVar :: forall h fs a j. ((:-<:) CExpression fs, InjF fs CExpressionL j) => CxtS h fs a IdentL -> CxtS h fs a () -> CxtS h fs a j
iCConst :: forall h fs a j. ((:-<:) CExpression fs, InjF fs CExpressionL j) => CxtS h fs a CConstantL -> CxtS h fs a j
iCCompoundLit :: forall h fs a j. ((:-<:) CExpression fs, InjF fs CExpressionL j) => CxtS h fs a CDeclarationL -> CxtS h fs a [([CPartDesignatorL], CInitializerL)] -> CxtS h fs a () -> CxtS h fs a j
iCGenericSelection :: forall h fs a j. ((:-<:) CExpression fs, InjF fs CExpressionL j) => CxtS h fs a CExpressionL -> CxtS h fs a [(Maybe CDeclarationL, CExpressionL)] -> CxtS h fs a () -> CxtS h fs a j
iCStatExpr :: forall h fs a j. ((:-<:) CExpression fs, InjF fs CExpressionL j) => CxtS h fs a CStatementL -> CxtS h fs a () -> CxtS h fs a j
iCLabAddrExpr :: forall h fs a j. ((:-<:) CExpression fs, InjF fs CExpressionL j) => CxtS h fs a IdentL -> CxtS h fs a () -> CxtS h fs a j
iCBuiltinExpr :: forall h fs a j. ((:-<:) CExpression fs, InjF fs CExpressionL j) => CxtS h fs a CBuiltinThingL -> CxtS h fs a j
iCDeclExt :: forall h fs a j. ((:-<:) CExternalDeclaration fs, InjF fs CExternalDeclarationL j) => CxtS h fs a CDeclarationL -> CxtS h fs a j
iCFDefExt :: forall h fs a j. ((:-<:) CExternalDeclaration fs, InjF fs CExternalDeclarationL j) => CxtS h fs a CFunctionDefL -> CxtS h fs a j
iCAsmExt :: forall h fs a j. ((:-<:) CExternalDeclaration fs, InjF fs CExternalDeclarationL j) => CxtS h fs a CStringLiteralL -> CxtS h fs a () -> CxtS h fs a j
iCFunDef :: forall h fs a j. ((:-<:) CFunctionDef fs, InjF fs CFunctionDefL j) => CxtS h fs a [CDeclarationSpecifierL] -> CxtS h fs a CDeclaratorL -> CxtS h fs a [CDeclarationL] -> CxtS h fs a CStatementL -> CxtS h fs a () -> CxtS h fs a j
iCInlineQual :: forall h fs a j. ((:-<:) CFunctionSpecifier fs, InjF fs CFunctionSpecifierL j) => CxtS h fs a () -> CxtS h fs a j
iCNoreturnQual :: forall h fs a j. ((:-<:) CFunctionSpecifier fs, InjF fs CFunctionSpecifierL j) => CxtS h fs a () -> CxtS h fs a j
iCInitExpr :: forall h fs a j. ((:-<:) CInitializer fs, InjF fs CInitializerL j) => CxtS h fs a CExpressionL -> CxtS h fs a () -> CxtS h fs a j
iCInitList :: forall h fs a j. ((:-<:) CInitializer fs, InjF fs CInitializerL j) => CxtS h fs a [([CPartDesignatorL], CInitializerL)] -> CxtS h fs a () -> CxtS h fs a j
iCArrDesig :: forall h fs a j. ((:-<:) CPartDesignator fs, InjF fs CPartDesignatorL j) => CxtS h fs a CExpressionL -> CxtS h fs a () -> CxtS h fs a j
iCMemberDesig :: forall h fs a j. ((:-<:) CPartDesignator fs, InjF fs CPartDesignatorL j) => CxtS h fs a IdentL -> CxtS h fs a () -> CxtS h fs a j
iCRangeDesig :: forall h fs a j. ((:-<:) CPartDesignator fs, InjF fs CPartDesignatorL j) => CxtS h fs a CExpressionL -> CxtS h fs a CExpressionL -> CxtS h fs a () -> CxtS h fs a j
iCLabel :: forall h fs a j. ((:-<:) CStatement fs, InjF fs CStatementL j) => CxtS h fs a IdentL -> CxtS h fs a CStatementL -> CxtS h fs a [CAttributeL] -> CxtS h fs a () -> CxtS h fs a j
iCCase :: forall h fs a j. ((:-<:) CStatement fs, InjF fs CStatementL j) => CxtS h fs a CExpressionL -> CxtS h fs a CStatementL -> CxtS h fs a () -> CxtS h fs a j
iCCases :: forall h fs a j. ((:-<:) CStatement fs, InjF fs CStatementL j) => CxtS h fs a CExpressionL -> CxtS h fs a CExpressionL -> CxtS h fs a CStatementL -> CxtS h fs a () -> CxtS h fs a j
iCDefault :: forall h fs a j. ((:-<:) CStatement fs, InjF fs CStatementL j) => CxtS h fs a CStatementL -> CxtS h fs a () -> CxtS h fs a j
iCExpr :: forall h fs a j. ((:-<:) CStatement fs, InjF fs CStatementL j) => CxtS h fs a (Maybe CExpressionL) -> CxtS h fs a () -> CxtS h fs a j
iCCompound :: forall h fs a j. ((:-<:) CStatement fs, InjF fs CStatementL j) => CxtS h fs a [IdentL] -> CxtS h fs a [CCompoundBlockItemL] -> CxtS h fs a () -> CxtS h fs a j
iCIf :: forall h fs a j. ((:-<:) CStatement fs, InjF fs CStatementL j) => CxtS h fs a CExpressionL -> CxtS h fs a CStatementL -> CxtS h fs a (Maybe CStatementL) -> CxtS h fs a () -> CxtS h fs a j
iCSwitch :: forall h fs a j. ((:-<:) CStatement fs, InjF fs CStatementL j) => CxtS h fs a CExpressionL -> CxtS h fs a CStatementL -> CxtS h fs a () -> CxtS h fs a j
iCWhile :: forall h fs a j. ((:-<:) CStatement fs, InjF fs CStatementL j) => CxtS h fs a CExpressionL -> CxtS h fs a CStatementL -> Bool -> CxtS h fs a () -> CxtS h fs a j
iCFor :: forall h fs a j. ((:-<:) CStatement fs, InjF fs CStatementL j) => CxtS h fs a (Either (Maybe CExpressionL) CDeclarationL) -> CxtS h fs a (Maybe CExpressionL) -> CxtS h fs a (Maybe CExpressionL) -> CxtS h fs a CStatementL -> CxtS h fs a () -> CxtS h fs a j
iCGoto :: forall h fs a j. ((:-<:) CStatement fs, InjF fs CStatementL j) => CxtS h fs a IdentL -> CxtS h fs a () -> CxtS h fs a j
iCGotoPtr :: forall h fs a j. ((:-<:) CStatement fs, InjF fs CStatementL j) => CxtS h fs a CExpressionL -> CxtS h fs a () -> CxtS h fs a j
iCCont :: forall h fs a j. ((:-<:) CStatement fs, InjF fs CStatementL j) => CxtS h fs a () -> CxtS h fs a j
iCBreak :: forall h fs a j. ((:-<:) CStatement fs, InjF fs CStatementL j) => CxtS h fs a () -> CxtS h fs a j
iCReturn :: forall h fs a j. ((:-<:) CStatement fs, InjF fs CStatementL j) => CxtS h fs a (Maybe CExpressionL) -> CxtS h fs a () -> CxtS h fs a j
iCAsm :: forall h fs a j. ((:-<:) CStatement fs, InjF fs CStatementL j) => CxtS h fs a CAssemblyStatementL -> CxtS h fs a () -> CxtS h fs a j
iCAuto :: forall h fs a j. ((:-<:) CStorageSpecifier fs, InjF fs CStorageSpecifierL j) => CxtS h fs a () -> CxtS h fs a j
iCRegister :: forall h fs a j. ((:-<:) CStorageSpecifier fs, InjF fs CStorageSpecifierL j) => CxtS h fs a () -> CxtS h fs a j
iCStatic :: forall h fs a j. ((:-<:) CStorageSpecifier fs, InjF fs CStorageSpecifierL j) => CxtS h fs a () -> CxtS h fs a j
iCExtern :: forall h fs a j. ((:-<:) CStorageSpecifier fs, InjF fs CStorageSpecifierL j) => CxtS h fs a () -> CxtS h fs a j
iCTypedef :: forall h fs a j. ((:-<:) CStorageSpecifier fs, InjF fs CStorageSpecifierL j) => CxtS h fs a () -> CxtS h fs a j
iCThread :: forall h fs a j. ((:-<:) CStorageSpecifier fs, InjF fs CStorageSpecifierL j) => CxtS h fs a () -> CxtS h fs a j
iCClKernel :: forall h fs a j. ((:-<:) CStorageSpecifier fs, InjF fs CStorageSpecifierL j) => CxtS h fs a () -> CxtS h fs a j
iCClGlobal :: forall h fs a j. ((:-<:) CStorageSpecifier fs, InjF fs CStorageSpecifierL j) => CxtS h fs a () -> CxtS h fs a j
iCClLocal :: forall h fs a j. ((:-<:) CStorageSpecifier fs, InjF fs CStorageSpecifierL j) => CxtS h fs a () -> CxtS h fs a j
iCStrLit :: forall h fs a j. ((:-<:) CStringLiteral fs, InjF fs CStringLiteralL j) => CxtS h fs a CStringL -> CxtS h fs a () -> CxtS h fs a j
iCStructTag :: forall h fs a j. ((:-<:) CStructTag fs, InjF fs CStructTagL j) => CxtS h fs a j
iCUnionTag :: forall h fs a j. ((:-<:) CStructTag fs, InjF fs CStructTagL j) => CxtS h fs a j
iCStruct :: forall h fs a j. ((:-<:) CStructureUnion fs, InjF fs CStructureUnionL j) => CxtS h fs a CStructTagL -> CxtS h fs a (Maybe IdentL) -> CxtS h fs a (Maybe [CDeclarationL]) -> CxtS h fs a [CAttributeL] -> CxtS h fs a () -> CxtS h fs a j
iCTranslUnit :: forall h fs a j. ((:-<:) CTranslationUnit fs, InjF fs CTranslationUnitL j) => CxtS h fs a [CExternalDeclarationL] -> CxtS h fs a () -> CxtS h fs a j
iCConstQual :: forall h fs a j. ((:-<:) CTypeQualifier fs, InjF fs CTypeQualifierL j) => CxtS h fs a () -> CxtS h fs a j
iCVolatQual :: forall h fs a j. ((:-<:) CTypeQualifier fs, InjF fs CTypeQualifierL j) => CxtS h fs a () -> CxtS h fs a j
iCRestrQual :: forall h fs a j. ((:-<:) CTypeQualifier fs, InjF fs CTypeQualifierL j) => CxtS h fs a () -> CxtS h fs a j
iCAtomicQual :: forall h fs a j. ((:-<:) CTypeQualifier fs, InjF fs CTypeQualifierL j) => CxtS h fs a () -> CxtS h fs a j
iCAttrQual :: forall h fs a j. ((:-<:) CTypeQualifier fs, InjF fs CTypeQualifierL j) => CxtS h fs a CAttributeL -> CxtS h fs a j
iCNullableQual :: forall h fs a j. ((:-<:) CTypeQualifier fs, InjF fs CTypeQualifierL j) => CxtS h fs a () -> CxtS h fs a j
iCNonnullQual :: forall h fs a j. ((:-<:) CTypeQualifier fs, InjF fs CTypeQualifierL j) => CxtS h fs a () -> CxtS h fs a j
iCClRdOnlyQual :: forall h fs a j. ((:-<:) CTypeQualifier fs, InjF fs CTypeQualifierL j) => CxtS h fs a () -> CxtS h fs a j
iCClWrOnlyQual :: forall h fs a j. ((:-<:) CTypeQualifier fs, InjF fs CTypeQualifierL j) => CxtS h fs a () -> CxtS h fs a j
iCVoidType :: forall h fs a j. ((:-<:) CTypeSpecifier fs, InjF fs CTypeSpecifierL j) => CxtS h fs a () -> CxtS h fs a j
iCCharType :: forall h fs a j. ((:-<:) CTypeSpecifier fs, InjF fs CTypeSpecifierL j) => CxtS h fs a () -> CxtS h fs a j
iCShortType :: forall h fs a j. ((:-<:) CTypeSpecifier fs, InjF fs CTypeSpecifierL j) => CxtS h fs a () -> CxtS h fs a j
iCIntType :: forall h fs a j. ((:-<:) CTypeSpecifier fs, InjF fs CTypeSpecifierL j) => CxtS h fs a () -> CxtS h fs a j
iCLongType :: forall h fs a j. ((:-<:) CTypeSpecifier fs, InjF fs CTypeSpecifierL j) => CxtS h fs a () -> CxtS h fs a j
iCFloatType :: forall h fs a j. ((:-<:) CTypeSpecifier fs, InjF fs CTypeSpecifierL j) => CxtS h fs a () -> CxtS h fs a j
iCDoubleType :: forall h fs a j. ((:-<:) CTypeSpecifier fs, InjF fs CTypeSpecifierL j) => CxtS h fs a () -> CxtS h fs a j
iCSignedType :: forall h fs a j. ((:-<:) CTypeSpecifier fs, InjF fs CTypeSpecifierL j) => CxtS h fs a () -> CxtS h fs a j
iCUnsigType :: forall h fs a j. ((:-<:) CTypeSpecifier fs, InjF fs CTypeSpecifierL j) => CxtS h fs a () -> CxtS h fs a j
iCBoolType :: forall h fs a j. ((:-<:) CTypeSpecifier fs, InjF fs CTypeSpecifierL j) => CxtS h fs a () -> CxtS h fs a j
iCComplexType :: forall h fs a j. ((:-<:) CTypeSpecifier fs, InjF fs CTypeSpecifierL j) => CxtS h fs a () -> CxtS h fs a j
iCInt128Type :: forall h fs a j. ((:-<:) CTypeSpecifier fs, InjF fs CTypeSpecifierL j) => CxtS h fs a () -> CxtS h fs a j
iCFloatNType :: forall h fs a j. ((:-<:) CTypeSpecifier fs, InjF fs CTypeSpecifierL j) => Int -> Bool -> CxtS h fs a () -> CxtS h fs a j
iCSUType :: forall h fs a j. ((:-<:) CTypeSpecifier fs, InjF fs CTypeSpecifierL j) => CxtS h fs a CStructureUnionL -> CxtS h fs a () -> CxtS h fs a j
iCEnumType :: forall h fs a j. ((:-<:) CTypeSpecifier fs, InjF fs CTypeSpecifierL j) => CxtS h fs a CEnumerationL -> CxtS h fs a () -> CxtS h fs a j
iCTypeDef :: forall h fs a j. ((:-<:) CTypeSpecifier fs, InjF fs CTypeSpecifierL j) => CxtS h fs a IdentL -> CxtS h fs a () -> CxtS h fs a j
iCTypeOfExpr :: forall h fs a j. ((:-<:) CTypeSpecifier fs, InjF fs CTypeSpecifierL j) => CxtS h fs a CExpressionL -> CxtS h fs a () -> CxtS h fs a j
iCTypeOfType :: forall h fs a j. ((:-<:) CTypeSpecifier fs, InjF fs CTypeSpecifierL j) => CxtS h fs a CDeclarationL -> CxtS h fs a () -> CxtS h fs a j
iCAtomicType :: forall h fs a j. ((:-<:) CTypeSpecifier fs, InjF fs CTypeSpecifierL j) => CxtS h fs a CDeclarationL -> CxtS h fs a () -> CxtS h fs a j
iCChar :: forall h fs a j. ((:-<:) CChar fs, InjF fs CCharL j) => Char -> Bool -> CxtS h fs a j
iCChars :: forall h fs a j. ((:-<:) CChar fs, InjF fs CCharL j) => [Char] -> Bool -> CxtS h fs a j
iCFloat :: forall h fs a j. ((:-<:) CFloat fs, InjF fs CFloatL j) => String -> CxtS h fs a j
iFlagUnsigned :: forall h fs a j. ((:-<:) CIntFlag fs, InjF fs CIntFlagL j) => CxtS h fs a j
iFlagLong :: forall h fs a j. ((:-<:) CIntFlag fs, InjF fs CIntFlagL j) => CxtS h fs a j
iFlagLongLong :: forall h fs a j. ((:-<:) CIntFlag fs, InjF fs CIntFlagL j) => CxtS h fs a j
iFlagImag :: forall h fs a j. ((:-<:) CIntFlag fs, InjF fs CIntFlagL j) => CxtS h fs a j
iDecRepr :: forall h fs a j. ((:-<:) CIntRepr fs, InjF fs CIntReprL j) => CxtS h fs a j
iHexRepr :: forall h fs a j. ((:-<:) CIntRepr fs, InjF fs CIntReprL j) => CxtS h fs a j
iOctalRepr :: forall h fs a j. ((:-<:) CIntRepr fs, InjF fs CIntReprL j) => CxtS h fs a j
iCInteger :: forall h fs a j. ((:-<:) CInteger fs, InjF fs CIntegerL j) => Integer -> CxtS h fs a CIntReprL -> CxtS h fs a FlagsL -> CxtS h fs a j
iCString :: forall h fs a j. ((:-<:) CString fs, InjF fs CStringL j) => String -> Bool -> CxtS h fs a j
iFlags :: forall h fs a j. ((:-<:) Flags fs, InjF fs FlagsL j) => Integer -> CxtS h fs a j
iCAssignOp :: forall h fs a j. ((:-<:) CAssignOp fs, InjF fs CAssignOpL j) => CxtS h fs a j
iCMulAssOp :: forall h fs a j. ((:-<:) CAssignOp fs, InjF fs CAssignOpL j) => CxtS h fs a j
iCDivAssOp :: forall h fs a j. ((:-<:) CAssignOp fs, InjF fs CAssignOpL j) => CxtS h fs a j
iCRmdAssOp :: forall h fs a j. ((:-<:) CAssignOp fs, InjF fs CAssignOpL j) => CxtS h fs a j
iCAddAssOp :: forall h fs a j. ((:-<:) CAssignOp fs, InjF fs CAssignOpL j) => CxtS h fs a j
iCSubAssOp :: forall h fs a j. ((:-<:) CAssignOp fs, InjF fs CAssignOpL j) => CxtS h fs a j
iCShlAssOp :: forall h fs a j. ((:-<:) CAssignOp fs, InjF fs CAssignOpL j) => CxtS h fs a j
iCShrAssOp :: forall h fs a j. ((:-<:) CAssignOp fs, InjF fs CAssignOpL j) => CxtS h fs a j
iCAndAssOp :: forall h fs a j. ((:-<:) CAssignOp fs, InjF fs CAssignOpL j) => CxtS h fs a j
iCXorAssOp :: forall h fs a j. ((:-<:) CAssignOp fs, InjF fs CAssignOpL j) => CxtS h fs a j
iCOrAssOp :: forall h fs a j. ((:-<:) CAssignOp fs, InjF fs CAssignOpL j) => CxtS h fs a j
iCMulOp :: forall h fs a j. ((:-<:) CBinaryOp fs, InjF fs CBinaryOpL j) => CxtS h fs a j
iCDivOp :: forall h fs a j. ((:-<:) CBinaryOp fs, InjF fs CBinaryOpL j) => CxtS h fs a j
iCRmdOp :: forall h fs a j. ((:-<:) CBinaryOp fs, InjF fs CBinaryOpL j) => CxtS h fs a j
iCAddOp :: forall h fs a j. ((:-<:) CBinaryOp fs, InjF fs CBinaryOpL j) => CxtS h fs a j
iCSubOp :: forall h fs a j. ((:-<:) CBinaryOp fs, InjF fs CBinaryOpL j) => CxtS h fs a j
iCShlOp :: forall h fs a j. ((:-<:) CBinaryOp fs, InjF fs CBinaryOpL j) => CxtS h fs a j
iCShrOp :: forall h fs a j. ((:-<:) CBinaryOp fs, InjF fs CBinaryOpL j) => CxtS h fs a j
iCLeOp :: forall h fs a j. ((:-<:) CBinaryOp fs, InjF fs CBinaryOpL j) => CxtS h fs a j
iCGrOp :: forall h fs a j. ((:-<:) CBinaryOp fs, InjF fs CBinaryOpL j) => CxtS h fs a j
iCLeqOp :: forall h fs a j. ((:-<:) CBinaryOp fs, InjF fs CBinaryOpL j) => CxtS h fs a j
iCGeqOp :: forall h fs a j. ((:-<:) CBinaryOp fs, InjF fs CBinaryOpL j) => CxtS h fs a j
iCEqOp :: forall h fs a j. ((:-<:) CBinaryOp fs, InjF fs CBinaryOpL j) => CxtS h fs a j
iCNeqOp :: forall h fs a j. ((:-<:) CBinaryOp fs, InjF fs CBinaryOpL j) => CxtS h fs a j
iCAndOp :: forall h fs a j. ((:-<:) CBinaryOp fs, InjF fs CBinaryOpL j) => CxtS h fs a j
iCXorOp :: forall h fs a j. ((:-<:) CBinaryOp fs, InjF fs CBinaryOpL j) => CxtS h fs a j
iCOrOp :: forall h fs a j. ((:-<:) CBinaryOp fs, InjF fs CBinaryOpL j) => CxtS h fs a j
iCLndOp :: forall h fs a j. ((:-<:) CBinaryOp fs, InjF fs CBinaryOpL j) => CxtS h fs a j
iCLorOp :: forall h fs a j. ((:-<:) CBinaryOp fs, InjF fs CBinaryOpL j) => CxtS h fs a j
iCPreIncOp :: forall h fs a j. ((:-<:) CUnaryOp fs, InjF fs CUnaryOpL j) => CxtS h fs a j
iCPreDecOp :: forall h fs a j. ((:-<:) CUnaryOp fs, InjF fs CUnaryOpL j) => CxtS h fs a j
iCPostIncOp :: forall h fs a j. ((:-<:) CUnaryOp fs, InjF fs CUnaryOpL j) => CxtS h fs a j
iCPostDecOp :: forall h fs a j. ((:-<:) CUnaryOp fs, InjF fs CUnaryOpL j) => CxtS h fs a j
iCAdrOp :: forall h fs a j. ((:-<:) CUnaryOp fs, InjF fs CUnaryOpL j) => CxtS h fs a j
iCIndOp :: forall h fs a j. ((:-<:) CUnaryOp fs, InjF fs CUnaryOpL j) => CxtS h fs a j
iCPlusOp :: forall h fs a j. ((:-<:) CUnaryOp fs, InjF fs CUnaryOpL j) => CxtS h fs a j
iCMinOp :: forall h fs a j. ((:-<:) CUnaryOp fs, InjF fs CUnaryOpL j) => CxtS h fs a j
iCCompOp :: forall h fs a j. ((:-<:) CUnaryOp fs, InjF fs CUnaryOpL j) => CxtS h fs a j
iCNegOp :: forall h fs a j. ((:-<:) CUnaryOp fs, InjF fs CUnaryOpL j) => CxtS h fs a j
type CTermLab l = TermLab CSig l
type CTerm = Term CSig
type CSig = '[Ident, Name, NodeInfo, FilePosition, Position, CAlignmentSpecifier, CArraySize, CAssemblyOperand, CAssemblyStatement, CAttribute, CBuiltinThing, CCompoundBlockItem, CConstant, CDeclaration, CDeclarationSpecifier, CDeclarator, CDerivedDeclarator, CEnumeration, CExpression, CExternalDeclaration, CFunctionDef, CFunctionSpecifier, CInitializer, CPartDesignator, CStatement, CStorageSpecifier, CStringLiteral, CStructTag, CStructureUnion, CTranslationUnit, CTypeQualifier, CTypeSpecifier, CChar, CFloat, CIntFlag, CIntRepr, CInteger, CString, Flags, CAssignOp, CBinaryOp, CUnaryOp, PairF, TripleF, ListF, MaybeF, EitherF, BoolF, IntF, IntegerF, UnitF]
translateNodeInfo :: NodeInfo -> CTerm NodeInfoL
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
data 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 Assign e l where
- Assign :: e LhsL -> e AssignOpL -> e RhsL -> Assign e AssignL
data AssignL
data RhsL
data LhsL
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 CDeclarationSpecifiersIsMultiLocalVarDeclCommonAttrs e l where Source #

Constructors

CDeclarationSpecifiersIsMultiLocalVarDeclCommonAttrs :: e [CDeclarationSpecifierL] -> CDeclarationSpecifiersIsMultiLocalVarDeclCommonAttrs e MultiLocalVarDeclCommonAttrsL

Instances

Instances details

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

data CLocalVarAttrs e l where Source #

Constructors

CLocalVarAttrs :: e [CDerivedDeclaratorL] -> e (Maybe CStringLiteralL) -> e [CAttributeL] -> CLocalVarAttrs e LocalVarDeclAttrsL

Instances

Instances details

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

iCLocalVarAttrs :: forall h fs a j. ((:-<:) CLocalVarAttrs fs, InjF fs LocalVarDeclAttrsL j) => CxtS h fs a [CDerivedDeclaratorL] -> CxtS h fs a (Maybe CStringLiteralL) -> CxtS h fs a [CAttributeL] -> CxtS h fs a j Source #

iCDeclarationSpecifiersIsMultiLocalVarDeclCommonAttrs :: forall h fs a j. ((:-<:) CDeclarationSpecifiersIsMultiLocalVarDeclCommonAttrs fs, InjF fs MultiLocalVarDeclCommonAttrsL j) => CxtS h fs a [CDeclarationSpecifierL] -> CxtS h fs a j Source #

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

Constructors

i ~ CCompoundBlockItemL => MultiLocalVarDeclIsCCompoundBlockItem (e MultiLocalVarDeclL)

Instances

Instances details

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

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

Constructors

i ~ LocalVarInitL => CInitializerIsLocalVarInit (e CInitializerL)

Instances

Instances details

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

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.C.Parametric.Common.Types Methods showHF :: Alg IdentIsIdent (K String) # showHF' :: IdentIsIdent (K String) :=> String #
OrdHF IdentIsIdent Source #
Instance details Defined in Cubix.Language.C.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.C.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.C.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.C.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.C.Parametric.Common.Types Methods hfmap :: forall (f :: Type -> Type) (g :: Type -> Type). (f :-> g) -> IdentIsIdent f :-> IdentIsIdent g #
CfgInitState MCSig Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Cfg Methods cfgInitState :: Proxy MCSig -> CfgState MCSig Source #
Pretty MCSig Source #
Instance details Defined in Cubix.ParsePretty Methods pretty :: Term MCSig (RootSort MCSig) -> String Source # prettyUnsafe :: Term MCSig l -> String Source #
ParseFile MCSig Source #
Instance details Defined in Cubix.ParsePretty Methods parseFile :: FilePath -> IO (Maybe (Term MCSig (RootSort MCSig))) Source #
InjF MCSig IdentL LhsL Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MCSig a IdentL -> CxtS h MCSig a LhsL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MCSig :&: p) a LhsL -> Maybe (Cxt h (Sum MCSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MCSig a LhsL -> Maybe (CxtS h MCSig a IdentL) Source #
InjF MCSig IdentL FunctionExpL Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MCSig a IdentL -> CxtS h MCSig a FunctionExpL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MCSig :&: p) a FunctionExpL -> Maybe (Cxt h (Sum MCSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MCSig a FunctionExpL -> Maybe (CxtS h MCSig a IdentL) Source #
InjF MCSig IdentL PositionalArgExpL Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MCSig a IdentL -> CxtS h MCSig a PositionalArgExpL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MCSig :&: p) a PositionalArgExpL -> Maybe (Cxt h (Sum MCSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MCSig a PositionalArgExpL -> Maybe (CxtS h MCSig a IdentL) Source #
InjF MCSig IdentL CExpressionL Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MCSig a IdentL -> CxtS h MCSig a CExpressionL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MCSig :&: p) a CExpressionL -> Maybe (Cxt h (Sum MCSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MCSig a CExpressionL -> Maybe (CxtS h MCSig a IdentL) Source #
InjF MCSig MultiLocalVarDeclL BlockItemL Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MCSig a MultiLocalVarDeclL -> CxtS h MCSig a BlockItemL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MCSig :&: p) a BlockItemL -> Maybe (Cxt h (Sum MCSig :&: p) a MultiLocalVarDeclL) Source # projF :: forall h (a :: Type -> Type). CxtS h MCSig a BlockItemL -> Maybe (CxtS h MCSig a MultiLocalVarDeclL) Source #
InjF MCSig AssignL BlockItemL Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MCSig a AssignL -> CxtS h MCSig a BlockItemL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MCSig :&: p) a BlockItemL -> Maybe (Cxt h (Sum MCSig :&: p) a AssignL) Source # projF :: forall h (a :: Type -> Type). CxtS h MCSig a BlockItemL -> Maybe (CxtS h MCSig a AssignL) Source #
InjF MCSig CStatementL BlockItemL Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MCSig a CStatementL -> CxtS h MCSig a BlockItemL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MCSig :&: p) a BlockItemL -> Maybe (Cxt h (Sum MCSig :&: p) a CStatementL) Source # projF :: forall h (a :: Type -> Type). CxtS h MCSig a BlockItemL -> Maybe (CxtS h MCSig a CStatementL) Source #
InjF MCSig CExpressionL LocalVarInitL Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MCSig a CExpressionL -> CxtS h MCSig a LocalVarInitL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MCSig :&: p) a LocalVarInitL -> Maybe (Cxt h (Sum MCSig :&: p) a CExpressionL) Source # projF :: forall h (a :: Type -> Type). CxtS h MCSig a LocalVarInitL -> Maybe (CxtS h MCSig a CExpressionL) Source #
InsertAt' MCSig BlockItemL CStatement Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Semantics Methods insertAt' :: MonadAnnotater a m => NodeEvaluationPoint -> AnnTerm a MCSig BlockItemL -> (CStatement :&: a) (AnnTerm a MCSig) i -> m (AnnTerm a MCSig i) Source # canInsertAt' :: NodeEvaluationPoint -> Proxy BlockItemL -> (CStatement :&: a) (AnnTerm a MCSig) i -> Bool Source #
type CfgState MCSig Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Cfg type CfgState MCSig
type ContainerFunctors MCSig Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Cfg type ContainerFunctors MCSig = '[PairF, TripleF, ListF, MaybeF, EitherF]
type SuspendedComputationSorts MCSig Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Cfg type SuspendedComputationSorts MCSig = '[FunctionDefL]
type ComputationSorts MCSig Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Cfg type ComputationSorts MCSig = '[CStatementL, CExpressionL, CCompoundBlockItemL, [BlockItemL]]
type InjectableSorts MCSig MultiLocalVarDeclL Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types type InjectableSorts MCSig MultiLocalVarDeclL = '[CCompoundBlockItemL]

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

Constructors

i ~ LhsL => CExpressionIsLhs (e CExpressionL)

Instances

Instances details

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

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

Constructors

i ~ RhsL => CExpressionIsRhs (e CExpressionL)

Instances

Instances details

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

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

Constructors

i ~ AssignOpL => CAssignOpIsAssignOp (e CAssignOpL)

Instances

Instances details

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