| /dports/security/hs-cryptol/cryptol-2.11.0/src/Cryptol/TypeCheck/ |
| H A D | PP.hs | 12 ( NameMap, WithNames(..)
33 data WithNames a = WithNames a NameMap function
35 ppWithNamesPrec :: PP (WithNames a) => NameMap -> Int -> a -> Doc
36 ppWithNamesPrec names prec t = ppPrec prec (WithNames t names)
38 ppWithNames :: PP (WithNames a) => NameMap -> a -> Doc
41 dump :: PP (WithNames a) => a -> String
|
| H A D | AST.hs | 202 instance PP (WithNames Expr) where
203 ppPrec prec (WithNames expr nm) =
334 instance PP (WithNames Match) where
335 ppPrec _ (WithNames mat nm) =
343 instance PP (WithNames DeclGroup) where
344 ppPrec _ (WithNames dg nm) =
356 instance PP (WithNames Decl) where
357 ppPrec _ (WithNames Decl { .. } nm) =
365 instance PP (WithNames DeclDef) where
375 instance PP (WithNames Module) where
[all …]
|
| H A D | Type.hs | 862 instance PP (WithNames TParam) where
893 instance PP (WithNames Schema) where
894 ppPrec _ (WithNames s ns)
913 instance PP (WithNames TySyn) where
914 ppPrec _ (WithNames ts ns) =
930 instance PP (WithNames Newtype) where
947 instance PP (WithNames Type) where
948 ppPrec prec ty0@(WithNames ty nmMap) =
1020 do let ieLeft = WithNames ieLeft' nmMap
1037 instance PP (WithNames TVar) where
[all …]
|
| /dports/security/hs-cryptol/cryptol-2.11.0/src/Cryptol/ |
| H A D | TypeCheck.hs | 24 , WithNames(..)
50 import Cryptol.TypeCheck.PP(WithNames(..),NameMap)
136 text "[warning] at" <+> pp r <.> colon $$ nest 2 (pp (WithNames w nm))
140 text "[error] at" <+> pp r <.> colon $$ nest 2 (pp (WithNames e nm))
|
| /dports/devel/aws-sdk-cpp/aws-sdk-cpp-1.9.129/aws-cpp-sdk-monitoring/include/aws/monitoring/model/ |
| H A D | StopMetricStreamsRequest.h | 78 …inline StopMetricStreamsRequest& WithNames(const Aws::Vector<Aws::String>& value) { SetNames(value… in WithNames() function
86 …inline StopMetricStreamsRequest& WithNames(Aws::Vector<Aws::String>&& value) { SetNames(std::move(… in WithNames() function
|
| H A D | StartMetricStreamsRequest.h | 78 …inline StartMetricStreamsRequest& WithNames(const Aws::Vector<Aws::String>& value) { SetNames(valu… in WithNames() function
86 …inline StartMetricStreamsRequest& WithNames(Aws::Vector<Aws::String>&& value) { SetNames(std::move… in WithNames() function
|
| /dports/devel/aws-sdk-cpp/aws-sdk-cpp-1.9.129/aws-cpp-sdk-ssm/include/aws/ssm/model/ |
| H A D | DeleteParametersRequest.h | 66 …inline DeleteParametersRequest& WithNames(const Aws::Vector<Aws::String>& value) { SetNames(value)… in WithNames() function
72 …inline DeleteParametersRequest& WithNames(Aws::Vector<Aws::String>&& value) { SetNames(std::move(v… in WithNames() function
|
| H A D | GetParametersRequest.h | 71 …inline GetParametersRequest& WithNames(const Aws::Vector<Aws::String>& value) { SetNames(value); r… in WithNames() function
78 …inline GetParametersRequest& WithNames(Aws::Vector<Aws::String>&& value) { SetNames(std::move(valu… in WithNames() function
|
| /dports/devel/aws-sdk-cpp/aws-sdk-cpp-1.9.129/aws-cpp-sdk-frauddetector/include/aws/frauddetector/model/ |
| H A D | BatchGetVariableRequest.h | 61 …inline BatchGetVariableRequest& WithNames(const Aws::Vector<Aws::String>& value) { SetNames(value)… in WithNames() function
66 …inline BatchGetVariableRequest& WithNames(Aws::Vector<Aws::String>&& value) { SetNames(std::move(v… in WithNames() function
|
| /dports/devel/aws-sdk-cpp/aws-sdk-cpp-1.9.129/aws-cpp-sdk-codebuild/include/aws/codebuild/model/ |
| H A D | BatchGetProjectsRequest.h | 71 …inline BatchGetProjectsRequest& WithNames(const Aws::Vector<Aws::String>& value) { SetNames(value)… in WithNames() function
78 …inline BatchGetProjectsRequest& WithNames(Aws::Vector<Aws::String>&& value) { SetNames(std::move(v… in WithNames() function
|
| /dports/devel/aws-sdk-cpp/aws-sdk-cpp-1.9.129/aws-cpp-sdk-glue/include/aws/glue/model/ |
| H A D | BatchGetWorkflowsRequest.h | 66 …inline BatchGetWorkflowsRequest& WithNames(const Aws::Vector<Aws::String>& value) { SetNames(value… in WithNames() function
72 …inline BatchGetWorkflowsRequest& WithNames(Aws::Vector<Aws::String>&& value) { SetNames(std::move(… in WithNames() function
|
| H A D | BatchGetBlueprintsRequest.h | 61 …inline BatchGetBlueprintsRequest& WithNames(const Aws::Vector<Aws::String>& value) { SetNames(valu… in WithNames() function
66 …inline BatchGetBlueprintsRequest& WithNames(Aws::Vector<Aws::String>&& value) { SetNames(std::move… in WithNames() function
|
| /dports/devel/aws-sdk-cpp/aws-sdk-cpp-1.9.129/aws-cpp-sdk-appstream/include/aws/appstream/model/ |
| H A D | DescribeStacksRequest.h | 61 …inline DescribeStacksRequest& WithNames(const Aws::Vector<Aws::String>& value) { SetNames(value); … in WithNames() function
66 …inline DescribeStacksRequest& WithNames(Aws::Vector<Aws::String>&& value) { SetNames(std::move(val… in WithNames() function
|
| H A D | ListAssociatedStacksResult.h | 54 …inline ListAssociatedStacksResult& WithNames(const Aws::Vector<Aws::String>& value) { SetNames(val… in WithNames() function
59 …inline ListAssociatedStacksResult& WithNames(Aws::Vector<Aws::String>&& value) { SetNames(std::mov… in WithNames() function
|
| H A D | DescribeFleetsRequest.h | 61 …inline DescribeFleetsRequest& WithNames(const Aws::Vector<Aws::String>& value) { SetNames(value); … in WithNames() function
66 …inline DescribeFleetsRequest& WithNames(Aws::Vector<Aws::String>&& value) { SetNames(std::move(val… in WithNames() function
|
| H A D | ListAssociatedFleetsResult.h | 54 …inline ListAssociatedFleetsResult& WithNames(const Aws::Vector<Aws::String>& value) { SetNames(val… in WithNames() function
59 …inline ListAssociatedFleetsResult& WithNames(Aws::Vector<Aws::String>&& value) { SetNames(std::mov… in WithNames() function
|
| H A D | DescribeImageBuildersRequest.h | 61 …inline DescribeImageBuildersRequest& WithNames(const Aws::Vector<Aws::String>& value) { SetNames(v… in WithNames() function
66 …inline DescribeImageBuildersRequest& WithNames(Aws::Vector<Aws::String>&& value) { SetNames(std::m… in WithNames() function
|
| H A D | DescribeImagesRequest.h | 62 …inline DescribeImagesRequest& WithNames(const Aws::Vector<Aws::String>& value) { SetNames(value); … in WithNames() function
67 …inline DescribeImagesRequest& WithNames(Aws::Vector<Aws::String>&& value) { SetNames(std::move(val… in WithNames() function
|
| /dports/devel/aws-sdk-cpp/aws-sdk-cpp-1.9.129/aws-cpp-sdk-gamelift/include/aws/gamelift/model/ |
| H A D | DescribeGameSessionQueuesRequest.h | 74 …inline DescribeGameSessionQueuesRequest& WithNames(const Aws::Vector<Aws::String>& value) { SetNam… in WithNames() function
81 …inline DescribeGameSessionQueuesRequest& WithNames(Aws::Vector<Aws::String>&& value) { SetNames(st… in WithNames() function
|
| H A D | DescribeMatchmakingRuleSetsRequest.h | 74 …inline DescribeMatchmakingRuleSetsRequest& WithNames(const Aws::Vector<Aws::String>& value) { SetN… in WithNames() function
81 …inline DescribeMatchmakingRuleSetsRequest& WithNames(Aws::Vector<Aws::String>&& value) { SetNames(… in WithNames() function
|
| H A D | DescribeMatchmakingConfigurationsRequest.h | 74 …inline DescribeMatchmakingConfigurationsRequest& WithNames(const Aws::Vector<Aws::String>& value) … in WithNames() function
81 …inline DescribeMatchmakingConfigurationsRequest& WithNames(Aws::Vector<Aws::String>&& value) { Set… in WithNames() function
|
| /dports/devel/aws-sdk-cpp/aws-sdk-cpp-1.9.129/aws-cpp-sdk-elasticloadbalancingv2/include/aws/elasticloadbalancingv2/model/ |
| H A D | DescribeSSLPoliciesRequest.h | 64 …inline DescribeSSLPoliciesRequest& WithNames(const Aws::Vector<Aws::String>& value) { SetNames(val… in WithNames() function
69 …inline DescribeSSLPoliciesRequest& WithNames(Aws::Vector<Aws::String>&& value) { SetNames(std::mov… in WithNames() function
|
| H A D | DescribeLoadBalancersRequest.h | 118 …inline DescribeLoadBalancersRequest& WithNames(const Aws::Vector<Aws::String>& value) { SetNames(v… in WithNames() function
123 …inline DescribeLoadBalancersRequest& WithNames(Aws::Vector<Aws::String>&& value) { SetNames(std::m… in WithNames() function
|
| /dports/devel/aws-sdk-cpp/aws-sdk-cpp-1.9.129/aws-cpp-sdk-xray/include/aws/xray/model/ |
| H A D | Alias.h | 105 inline Alias& WithNames(const Aws::Vector<Aws::String>& value) { SetNames(value); return *this;} in WithNames() function
110 …inline Alias& WithNames(Aws::Vector<Aws::String>&& value) { SetNames(std::move(value)); return *th… in WithNames() function
|
| H A D | ServiceId.h | 105 …inline ServiceId& WithNames(const Aws::Vector<Aws::String>& value) { SetNames(value); return *this… in WithNames() function
110 …inline ServiceId& WithNames(Aws::Vector<Aws::String>&& value) { SetNames(std::move(value)); return… in WithNames() function
|