Home
last modified time | relevance | path

Searched refs:PName (Results 1 – 25 of 393) sorted by relevance

12345678910>>...16

/dports/security/hs-cryptol/cryptol-2.11.0/src/Cryptol/
H A DParser.y288 decl :: { Decl PName }
326 let_decl :: { Decl PName }
360 apats_indices :: { ([Pattern PName], [Pattern PName]) }
364 opt_apats_indices :: { ([Pattern PName], [Pattern PName]) }
368 decls :: { [Decl PName] }
372 vdecls :: { [Decl PName] }
457 ifBranches :: { [(Expr PName, Expr PName)] }
461 ifBranch :: { (Expr PName, Expr PName) }
541 rec_expr :: { Either (Expr PName) [Named (Expr PName)] }
780 parseHelpName :: String -> Maybe PName
[all …]
/dports/security/hs-cryptol/cryptol-2.11.0/src/Cryptol/Parser/
H A DNoPat.hs53 simpleBind :: Located PName -> Expr PName -> Bind PName
61 sel :: Pattern PName -> PName -> Selector -> Bind PName
69 noPat :: Pattern PName -> NoPatM (Pattern PName, [Bind PName])
134 splitSimpleP :: Pattern PName -> (Located PName, [Type PName])
143 noPatE :: Expr PName -> NoPatM (Expr PName)
183 noPatFun :: Maybe PName -> Int -> [Pattern PName] -> Expr PName -> NoPatM (Expr PName)
201 noPatM :: Match PName -> NoPatM [Match PName]
208 noMatchB :: Bind PName -> NoPatM (Bind PName)
220 noMatchD :: Decl PName -> NoPatM [Decl PName]
479 checkSigs :: PName -> [Located (Schema PName)] -> NoPatM (Maybe (Schema PName))
[all …]
H A DParserUtils.hs189 mkSchema :: [TParam PName] -> [Prop PName] -> Type PName -> Schema PName
358 unOp :: Expr PName -> Expr PName -> Expr PName
362 binOp :: Expr PName -> Located PName -> Expr PName -> Expr PName
381 …Range -> Expr PName -> Maybe (Expr PName) -> Expr PName -> Maybe (Type PName) -> ParseM (Expr PNam…
389 Range -> Expr PName -> Expr PName -> ParseM (Expr PName)
399 Range -> Expr PName -> Expr PName -> Maybe (Type PName) -> ParseM (Expr PName)
483 mkTySyn :: Located PName -> [TParam PName] -> Type PName -> ParseM (Decl PName)
491 mkPropSyn :: Located PName -> [TParam PName] -> Type PName -> ParseM (Decl PName)
541 LPName -> ([Pattern PName], [Pattern PName]) -> Expr PName -> Decl PName
558 mkIndexedExpr :: ([Pattern PName], [Pattern PName]) -> Expr PName -> Expr PName
[all …]
H A DName.hs25 data PName = UnQual !Ident type
38 instance NFData PName
41 mkUnqual :: Ident -> PName
44 mkQual :: ModName -> Ident -> PName
47 getModName :: PName -> Maybe ModName
51 getIdent :: PName -> Ident
60 isGeneratedName :: PName -> Bool
66 instance PP PName where
69 instance PPName PName where
/dports/cad/opencascade/opencascade-7.6.0/inc/
H A DStdLPersistent_Value.hxx53 Standard_CString PName() const { return "PDF_TagSource"; } in PName() function in StdLPersistent_Value::TagSource
58 Standard_CString PName() const { return "PDF_Reference"; } in PName() function in StdLPersistent_Value::Reference
63 Standard_CString PName() const { return "PDF_Comment"; } in PName() function in StdLPersistent_Value::Comment
71 Standard_CString PName() const { return "PDataStd_UAttribute"; } in PName() function in StdLPersistent_Value::UAttribute
79 Standard_CString PName() const { return "PDataStd_Integer"; } in PName() function in StdLPersistent_Value::Integer
87 Standard_CString PName() const { return "PDataStd_Name"; } in PName() function in StdLPersistent_Value::Name
95 Standard_CString PName() const { return "PDataStd_AsciiString"; } in PName() function in StdLPersistent_Value::AsciiString
101 inline Standard_CString StdObjMgt_Attribute<TDF_TagSource>::Simple<Standard_Integer>::PName() const in PName() function in StdObjMgt_Attribute::Simple
106 …ard_CString StdObjMgt_Attribute<TDF_Reference>::Simple<Handle(StdObjMgt_Persistent)>::PName() const in PName() function in StdObjMgt_Attribute::Simple
111 …_CString StdObjMgt_Attribute<TDataStd_Comment>::Simple<Handle(StdObjMgt_Persistent)>::PName() const in PName() function in StdObjMgt_Attribute::Simple
H A DShapePersistent_Geom.hxx68 virtual Standard_CString PName() const in PName() function
91 virtual Standard_CString PName() const in PName() function in ShapePersistent_Geom::subBase
109 virtual Standard_CString PName() const in PName() function
120 virtual Standard_CString PName() const in PName() function
146 virtual Standard_CString PName() const in PName() function in ShapePersistent_Geom::instance
190 ::PName() const { return "PGeom_Point"; } in PName() function in ShapePersistent_Geom::subBase_empty::basic
220 ::PName() const { return "PGeom_Vector"; } in PName() function in ShapePersistent_Geom::subBase_gp::basic
230 ::PName() const { return "PGeom_Direction"; } in PName() function in ShapePersistent_Geom::instance::Direction
355 ::PName() const { return "PGeom_Geometry"; } in PName() function in ShapePersistent_Geom::geometryBase
363 ::PName() const { return "PGeom_Curve"; } in PName() function in ShapePersistent_Geom::geometryBase
[all …]
H A DShapePersistent_HSequence.hxx52 virtual Standard_CString PName() const in PName() function in ShapePersistent_HSequence::node
95 virtual Standard_CString PName() const in PName() function in ShapePersistent_HSequence::instance
122 ::PName() const;
126 ::PName() const;
133 ::PName() const;
137 ::PName() const;
144 ::PName() const;
148 ::PName() const;
155 ::PName() const;
159 ::PName() const;
H A DStdPersistent_DataXtd.hxx63 inline Standard_CString StdLPersistent_Void::instance<TDataXtd_Shape>::PName() const in PName() function in StdLPersistent_Void::instance
67 inline Standard_CString StdLPersistent_Void::instance<TDataXtd_Point>::PName() const in PName() function in StdLPersistent_Void::instance
71 inline Standard_CString StdLPersistent_Void::instance<TDataXtd_Axis>::PName() const in PName() function in StdLPersistent_Void::instance
75 inline Standard_CString StdLPersistent_Void::instance<TDataXtd_Plane>::PName() const in PName() function in StdLPersistent_Void::instance
79 inline Standard_CString StdLPersistent_Void::instance<TDataXtd_Placement>::PName() const in PName() function in StdLPersistent_Void::instance
84 inline Standard_CString StdObjMgt_Attribute<TDataXtd_Geometry>::Simple<Standard_Integer>::PName() c… in PName() function in StdObjMgt_Attribute::Simple
89 inline Standard_CString StdObjMgt_Attribute<TDataXtd_Position>::Simple<gp_Pnt>::PName() const in PName() function in StdObjMgt_Attribute::Simple
H A DShapePersistent_Geom2d.hxx61 ::PName() const { return "PGeom2d_Geometry"; } in PName() function in ShapePersistent_Geom::geometryBase
68 ::PName() const { return "PGeom2d_Point"; } in PName() function in ShapePersistent_Geom::subBase_empty::geometryBase
77 ::PName() const { return "PGeom2d_CartesianPoint"; } in PName() function in ShapePersistent_Geom::instance::Point
97 ::PName() const;
112 ::PName() const;
127 ::PName() const;
142 ::PName() const;
161 ::PName() const { return "PGeom2d_Curve"; } in PName() function in ShapePersistent_Geom::geometryBase
H A DShapePersistent_BRep.hxx58 virtual Standard_CString PName() const { return "PBRep_PointRepresentation"; } in PName() function in ShapePersistent_BRep::PointRepresentation
81 virtual Standard_CString PName() const { return "PBRep_PointOnCurve"; } in PName() function in ShapePersistent_BRep::PointOnCurve
96 virtual Standard_CString PName() const { return "PBRep_PointsOnSurface"; } in PName() function in ShapePersistent_BRep::PointsOnSurface
128 virtual Standard_CString PName() const { return "PBRep_PointOnSurface"; } in PName() function in ShapePersistent_BRep::PointOnSurface
173 virtual Standard_CString PName() const { return "PBRep_GCurve"; } in PName() function in ShapePersistent_BRep::GCurve
188 virtual Standard_CString PName() const { return "PBRep_Curve3D"; } in PName() function in ShapePersistent_BRep::Curve3D
203 virtual Standard_CString PName() const { return "PBRep_CurveOnSurface"; } in PName() function in ShapePersistent_BRep::CurveOnSurface
243 virtual Standard_CString PName() const { return "PBRep_Polygon3D"; } in PName() function in ShapePersistent_BRep::Polygon3D
359 inline Standard_CString PName() const in PName() function in ShapePersistent_BRep::pTVertex
396 inline Standard_CString PName() const in PName() function in ShapePersistent_BRep::pTEdge
[all …]
/dports/cad/opencascade/opencascade-7.6.0/src/StdLPersistent/
H A DStdLPersistent_Value.hxx53 Standard_CString PName() const { return "PDF_TagSource"; } in PName() function in StdLPersistent_Value::TagSource
58 Standard_CString PName() const { return "PDF_Reference"; } in PName() function in StdLPersistent_Value::Reference
63 Standard_CString PName() const { return "PDF_Comment"; } in PName() function in StdLPersistent_Value::Comment
71 Standard_CString PName() const { return "PDataStd_UAttribute"; } in PName() function in StdLPersistent_Value::UAttribute
79 Standard_CString PName() const { return "PDataStd_Integer"; } in PName() function in StdLPersistent_Value::Integer
87 Standard_CString PName() const { return "PDataStd_Name"; } in PName() function in StdLPersistent_Value::Name
95 Standard_CString PName() const { return "PDataStd_AsciiString"; } in PName() function in StdLPersistent_Value::AsciiString
101 inline Standard_CString StdObjMgt_Attribute<TDF_TagSource>::Simple<Standard_Integer>::PName() const in PName() function in StdObjMgt_Attribute::Simple
106 …ard_CString StdObjMgt_Attribute<TDF_Reference>::Simple<Handle(StdObjMgt_Persistent)>::PName() const in PName() function in StdObjMgt_Attribute::Simple
111 …_CString StdObjMgt_Attribute<TDataStd_Comment>::Simple<Handle(StdObjMgt_Persistent)>::PName() const in PName() function in StdObjMgt_Attribute::Simple
/dports/devel/py-cadquery-pywrap/pywrap-e8c7bc9/opencascade/
H A DStdLPersistent_Value.hxx53 Standard_CString PName() const { return "PDF_TagSource"; } in PName() function in StdLPersistent_Value::TagSource
58 Standard_CString PName() const { return "PDF_Reference"; } in PName() function in StdLPersistent_Value::Reference
63 Standard_CString PName() const { return "PDF_Comment"; } in PName() function in StdLPersistent_Value::Comment
71 Standard_CString PName() const { return "PDataStd_UAttribute"; } in PName() function in StdLPersistent_Value::UAttribute
79 Standard_CString PName() const { return "PDataStd_Integer"; } in PName() function in StdLPersistent_Value::Integer
87 Standard_CString PName() const { return "PDataStd_Name"; } in PName() function in StdLPersistent_Value::Name
95 Standard_CString PName() const { return "PDataStd_AsciiString"; } in PName() function in StdLPersistent_Value::AsciiString
101 inline Standard_CString StdObjMgt_Attribute<TDF_TagSource>::Simple<Standard_Integer>::PName() const in PName() function in StdObjMgt_Attribute::Simple
106 …ard_CString StdObjMgt_Attribute<TDF_Reference>::Simple<Handle(StdObjMgt_Persistent)>::PName() const in PName() function in StdObjMgt_Attribute::Simple
111 …_CString StdObjMgt_Attribute<TDataStd_Comment>::Simple<Handle(StdObjMgt_Persistent)>::PName() const in PName() function in StdObjMgt_Attribute::Simple
H A DShapePersistent_Geom.hxx68 virtual Standard_CString PName() const in PName() function
91 virtual Standard_CString PName() const in PName() function in ShapePersistent_Geom::subBase
109 virtual Standard_CString PName() const in PName() function
120 virtual Standard_CString PName() const in PName() function
146 virtual Standard_CString PName() const in PName() function in ShapePersistent_Geom::instance
190 ::PName() const { return "PGeom_Point"; } in PName() function in ShapePersistent_Geom::subBase_empty::basic
220 ::PName() const { return "PGeom_Vector"; } in PName() function in ShapePersistent_Geom::subBase_gp::basic
230 ::PName() const { return "PGeom_Direction"; } in PName() function in ShapePersistent_Geom::instance::Direction
355 ::PName() const { return "PGeom_Geometry"; } in PName() function in ShapePersistent_Geom::geometryBase
363 ::PName() const { return "PGeom_Curve"; } in PName() function in ShapePersistent_Geom::geometryBase
[all …]
H A DShapePersistent_HSequence.hxx52 virtual Standard_CString PName() const in PName() function in ShapePersistent_HSequence::node
89 virtual Standard_CString PName() const in PName() function in ShapePersistent_HSequence::instance
116 ::PName() const;
120 ::PName() const;
127 ::PName() const;
131 ::PName() const;
138 ::PName() const;
142 ::PName() const;
149 ::PName() const;
153 ::PName() const;
H A DStdPersistent_DataXtd.hxx63 inline Standard_CString StdLPersistent_Void::instance<TDataXtd_Shape>::PName() const in PName() function in StdLPersistent_Void::instance
67 inline Standard_CString StdLPersistent_Void::instance<TDataXtd_Point>::PName() const in PName() function in StdLPersistent_Void::instance
71 inline Standard_CString StdLPersistent_Void::instance<TDataXtd_Axis>::PName() const in PName() function in StdLPersistent_Void::instance
75 inline Standard_CString StdLPersistent_Void::instance<TDataXtd_Plane>::PName() const in PName() function in StdLPersistent_Void::instance
79 inline Standard_CString StdLPersistent_Void::instance<TDataXtd_Placement>::PName() const in PName() function in StdLPersistent_Void::instance
84 inline Standard_CString StdObjMgt_Attribute<TDataXtd_Geometry>::Simple<Standard_Integer>::PName() c… in PName() function in StdObjMgt_Attribute::Simple
89 inline Standard_CString StdObjMgt_Attribute<TDataXtd_Position>::Simple<gp_Pnt>::PName() const in PName() function in StdObjMgt_Attribute::Simple
H A DShapePersistent_BRep.hxx53 virtual Standard_CString PName() const { return "PBRep_PointRepresentation"; } in PName() function in ShapePersistent_BRep::PointRepresentation
76 virtual Standard_CString PName() const { return "PBRep_PointOnCurve"; } in PName() function in ShapePersistent_BRep::PointOnCurve
91 virtual Standard_CString PName() const { return "PBRep_PointsOnSurface"; } in PName() function in ShapePersistent_BRep::PointsOnSurface
119 virtual Standard_CString PName() const { return "PBRep_PointOnSurface"; } in PName() function in ShapePersistent_BRep::PointOnSurface
159 virtual Standard_CString PName() const { return "PBRep_GCurve"; } in PName() function in ShapePersistent_BRep::GCurve
174 virtual Standard_CString PName() const { return "PBRep_Curve3D"; } in PName() function in ShapePersistent_BRep::Curve3D
189 virtual Standard_CString PName() const { return "PBRep_CurveOnSurface"; } in PName() function in ShapePersistent_BRep::CurveOnSurface
225 virtual Standard_CString PName() const { return "PBRep_Polygon3D"; } in PName() function in ShapePersistent_BRep::Polygon3D
333 inline Standard_CString PName() const in PName() function in ShapePersistent_BRep::pTVertex
365 inline Standard_CString PName() const in PName() function in ShapePersistent_BRep::pTEdge
[all …]
H A DShapePersistent_Geom2d.hxx61 ::PName() const { return "PGeom2d_Geometry"; } in PName() function in ShapePersistent_Geom::geometryBase
68 ::PName() const { return "PGeom2d_Point"; } in PName() function in ShapePersistent_Geom::subBase_empty::geometryBase
77 ::PName() const { return "PGeom2d_CartesianPoint"; } in PName() function in ShapePersistent_Geom::instance::Point
97 ::PName() const;
112 ::PName() const;
127 ::PName() const;
142 ::PName() const;
161 ::PName() const { return "PGeom2d_Curve"; } in PName() function in ShapePersistent_Geom::geometryBase
/dports/cad/opencascade/opencascade-7.6.0/src/ShapePersistent/
H A DShapePersistent_Geom.hxx68 virtual Standard_CString PName() const in PName() function
91 virtual Standard_CString PName() const in PName() function in ShapePersistent_Geom::subBase
109 virtual Standard_CString PName() const in PName() function
120 virtual Standard_CString PName() const in PName() function
146 virtual Standard_CString PName() const in PName() function in ShapePersistent_Geom::instance
190 ::PName() const { return "PGeom_Point"; } in PName() function in ShapePersistent_Geom::subBase_empty::basic
220 ::PName() const { return "PGeom_Vector"; } in PName() function in ShapePersistent_Geom::subBase_gp::basic
230 ::PName() const { return "PGeom_Direction"; } in PName() function in ShapePersistent_Geom::instance::Direction
355 ::PName() const { return "PGeom_Geometry"; } in PName() function in ShapePersistent_Geom::geometryBase
363 ::PName() const { return "PGeom_Curve"; } in PName() function in ShapePersistent_Geom::geometryBase
[all …]
H A DShapePersistent_HSequence.hxx52 virtual Standard_CString PName() const in PName() function in ShapePersistent_HSequence::node
95 virtual Standard_CString PName() const in PName() function in ShapePersistent_HSequence::instance
122 ::PName() const;
126 ::PName() const;
133 ::PName() const;
137 ::PName() const;
144 ::PName() const;
148 ::PName() const;
155 ::PName() const;
159 ::PName() const;
H A DShapePersistent_HSequence.cxx75 ::PName() const { return "PColgp_HSequenceOfXYZ"; } in PName() function in ShapePersistent_HSequence::instance
79 ::PName() const { return "PColgp_SeqNodeOfHSequenceOfXYZ"; } in PName() function in ShapePersistent_HSequence::node
86 ::PName() const { return "PColgp_HSequenceOfPnt"; } in PName() function in ShapePersistent_HSequence::instance
90 ::PName() const { return "PColgp_SeqNodeOfHSequenceOfPnt"; } in PName() function in ShapePersistent_HSequence::node
97 ::PName() const { return "PColgp_HSequenceOfDir"; } in PName() function in ShapePersistent_HSequence::instance
101 ::PName() const { return "PColgp_SeqNodeOfHSequenceOffDir"; } in PName() function in ShapePersistent_HSequence::node
108 ::PName() const { return "PColgp_HSequenceOfVec"; } in PName() function in ShapePersistent_HSequence::instance
112 ::PName() const { return "PColgp_SeqNodeOfHSequenceOfVec"; } in PName() function in ShapePersistent_HSequence::node
H A DShapePersistent_Geom2d.hxx61 ::PName() const { return "PGeom2d_Geometry"; } in PName() function in ShapePersistent_Geom::geometryBase
68 ::PName() const { return "PGeom2d_Point"; } in PName() function in ShapePersistent_Geom::subBase_empty::geometryBase
77 ::PName() const { return "PGeom2d_CartesianPoint"; } in PName() function in ShapePersistent_Geom::instance::Point
97 ::PName() const;
112 ::PName() const;
127 ::PName() const;
142 ::PName() const;
161 ::PName() const { return "PGeom2d_Curve"; } in PName() function in ShapePersistent_Geom::geometryBase
H A DShapePersistent_BRep.hxx58 virtual Standard_CString PName() const { return "PBRep_PointRepresentation"; } in PName() function in ShapePersistent_BRep::PointRepresentation
81 virtual Standard_CString PName() const { return "PBRep_PointOnCurve"; } in PName() function in ShapePersistent_BRep::PointOnCurve
96 virtual Standard_CString PName() const { return "PBRep_PointsOnSurface"; } in PName() function in ShapePersistent_BRep::PointsOnSurface
128 virtual Standard_CString PName() const { return "PBRep_PointOnSurface"; } in PName() function in ShapePersistent_BRep::PointOnSurface
173 virtual Standard_CString PName() const { return "PBRep_GCurve"; } in PName() function in ShapePersistent_BRep::GCurve
188 virtual Standard_CString PName() const { return "PBRep_Curve3D"; } in PName() function in ShapePersistent_BRep::Curve3D
203 virtual Standard_CString PName() const { return "PBRep_CurveOnSurface"; } in PName() function in ShapePersistent_BRep::CurveOnSurface
243 virtual Standard_CString PName() const { return "PBRep_Polygon3D"; } in PName() function in ShapePersistent_BRep::Polygon3D
359 inline Standard_CString PName() const in PName() function in ShapePersistent_BRep::pTVertex
396 inline Standard_CString PName() const in PName() function in ShapePersistent_BRep::pTEdge
[all …]
/dports/lang/cocor/cocor-1.7_3/sources/
H A Dcrt.h30 typedef char *PName; typedef
119 int FindTerm(PName name);
121 int NewTerm(PName name);
137 int FindClass(PName name);
188 int FindNTerm(PName name);
189 int NewNTerm(PName name);
205 int FindPragma(PName name);
206 int NewPragma(PName name);
223 int FindName(PName name);
224 void NewName(PName name, PName user_name);
[all …]
/dports/cad/opencascade/opencascade-7.6.0/src/StdPersistent/
H A DStdPersistent_DataXtd.hxx63 inline Standard_CString StdLPersistent_Void::instance<TDataXtd_Shape>::PName() const in PName() function in StdLPersistent_Void::instance
67 inline Standard_CString StdLPersistent_Void::instance<TDataXtd_Point>::PName() const in PName() function in StdLPersistent_Void::instance
71 inline Standard_CString StdLPersistent_Void::instance<TDataXtd_Axis>::PName() const in PName() function in StdLPersistent_Void::instance
75 inline Standard_CString StdLPersistent_Void::instance<TDataXtd_Plane>::PName() const in PName() function in StdLPersistent_Void::instance
79 inline Standard_CString StdLPersistent_Void::instance<TDataXtd_Placement>::PName() const in PName() function in StdLPersistent_Void::instance
84 inline Standard_CString StdObjMgt_Attribute<TDataXtd_Geometry>::Simple<Standard_Integer>::PName() c… in PName() function in StdObjMgt_Attribute::Simple
89 inline Standard_CString StdObjMgt_Attribute<TDataXtd_Position>::Simple<gp_Pnt>::PName() const in PName() function in StdObjMgt_Attribute::Simple
/dports/textproc/sigil/Sigil-1.8.0/src/Dialogs/
H A DMetaEditor.cpp147 choices << PName(aval) + _GS + aval; in buildChoices()
163 cat = PName("title-type"); in loadChoices()
166 cat = PName("dir"); in loadChoices()
169 cat = PName("collection-type"); in loadChoices()
172 cat = PName("role"); in loadChoices()
191 cat = PName("xml:lang"); in loadChoices()
208 cat = PName("opf:event"); in loadE2Choices()
211 cat = PName("opf:scheme"); in loadE2Choices()
214 cat = PName("opf:role"); in loadE2Choices()
233 cat = PName("xml:lang"); in loadE2Choices()
[all …]

12345678910>>...16