Home
last modified time | relevance | path

Searched refs:TypeEnv (Results 1 – 25 of 89) sorted by relevance

1234

/dports/devel/hs-ormolu/ormolu-0.4.0.0/_cabal_deps/ghc-lib-parser-9.2.1.20211101/compiler/GHC/Types/
H A DTypeEnv.hs1 module GHC.Types.TypeEnv
2 ( TypeEnv
39 type TypeEnv = NameEnv TyThing type
41 emptyTypeEnv :: TypeEnv
43 typeEnvTyCons :: TypeEnv -> [TyCon]
45 typeEnvIds :: TypeEnv -> [Id]
61 mkTypeEnv :: [TyThing] -> TypeEnv
84 extendTypeEnv :: TypeEnv -> TyThing -> TypeEnv
87 extendTypeEnvList :: TypeEnv -> [TyThing] -> TypeEnv
90 extendTypeEnvWithIds :: TypeEnv -> [Id] -> TypeEnv
[all …]
/dports/security/hs-cryptol/cryptol-2.11.0/src/Cryptol/Eval/
H A DType.hs100 newtype TypeEnv = type
101 TypeEnv constructor
104 instance Monoid TypeEnv where
105 mempty = TypeEnv mempty
107 instance Semigroup TypeEnv where
108 l <> r = TypeEnv
111 lookupTypeVar :: TVar -> TypeEnv -> Maybe (Either Nat' TValue)
114 bindTypeVar :: TVar -> Either Nat' TValue -> TypeEnv -> TypeEnv
118 evalType :: TypeEnv -> Type -> Either Nat' TValue
180 evalValType :: TypeEnv -> Type -> TValue
[all …]
H A DEnv.hs39 , envTypes :: !TypeEnv
/dports/www/pomerium/pomerium-0.8.3/vendor/github.com/open-policy-agent/opa/ast/
H A Denv.go13 type TypeEnv struct { struct
15 next *TypeEnv argument
19 func NewTypeEnv() *TypeEnv {
20 return &TypeEnv{
26 func (env *TypeEnv) Get(x interface{}) types.Type { argument
141 func (env *TypeEnv) getRef(ref Ref) types.Type { argument
151 func (env *TypeEnv) getRefFallback(ref Ref) types.Type { argument
164 func (env *TypeEnv) getRefRec(node *typeTreeNode, ref, tail Ref) types.Type { argument
185 func (env *TypeEnv) getRefRecExtent(node *typeTreeNode) types.Type { argument
211 func (env *TypeEnv) wrap() *TypeEnv { argument
H A Dcheck.go21 type exprChecker func(*TypeEnv, *Expr) *Error
49 func (tc *typeChecker) CheckBody(env *TypeEnv, body Body) (*TypeEnv, Errors) {
96 func (tc *typeChecker) CheckTypes(env *TypeEnv, sorted []util.T) (*TypeEnv, Errors) {
109 func (tc *typeChecker) checkClosures(env *TypeEnv, expr *Expr) Errors {
137 func (tc *typeChecker) checkLanguageBuiltins(env *TypeEnv, builtins map[string]*Builtin) *TypeEnv {
149 func (tc *typeChecker) checkRule(env *TypeEnv, rule *Rule) {
218 func (tc *typeChecker) checkExpr(env *TypeEnv, expr *Expr) *Error {
510 env *TypeEnv
515 func newRefChecker(env *TypeEnv, f rewriteVars) *refChecker { argument
555 func (rc *refChecker) checkApply(curr *TypeEnv, ref Ref) *Error {
[all …]
H A Dcompile.go79 TypeEnv *TypeEnv member
169 TypeEnv() *TypeEnv methodSpec
209 TypeEnv: NewTypeEnv(),
229 c.TypeEnv = checker.checkLanguageBuiltins(nil, c.builtins)
313 c.TypeEnv = checker.checkLanguageBuiltins(c.TypeEnv, builtins)
811 env, errs := checker.CheckTypes(c.TypeEnv, sorted)
815 c.TypeEnv = env
1255 typeEnv *TypeEnv
1345 func (qc *queryCompiler) TypeEnv() *TypeEnv { func
1435 qc.typeEnv, errs = checker.CheckBody(qc.compiler.TypeEnv, body)
/dports/sysutils/istio/istio-1.6.7/vendor/github.com/open-policy-agent/opa/ast/
H A Denv.go13 type TypeEnv struct { struct
15 next *TypeEnv argument
19 func NewTypeEnv() *TypeEnv {
20 return &TypeEnv{
26 func (env *TypeEnv) Get(x interface{}) types.Type { argument
137 func (env *TypeEnv) getRef(ref Ref) types.Type { argument
147 func (env *TypeEnv) getRefFallback(ref Ref) types.Type { argument
160 func (env *TypeEnv) getRefRec(node *typeTreeNode, ref, tail Ref) types.Type { argument
181 func (env *TypeEnv) getRefRecExtent(node *typeTreeNode) types.Type { argument
207 func (env *TypeEnv) wrap() *TypeEnv { argument
H A Dcheck.go19 type exprChecker func(*TypeEnv, *Expr) *Error
41 func (tc *typeChecker) CheckBody(env *TypeEnv, body Body) (*TypeEnv, Errors) {
86 func (tc *typeChecker) CheckTypes(env *TypeEnv, sorted []util.T) (*TypeEnv, Errors) {
98 func (tc *typeChecker) checkClosures(env *TypeEnv, expr *Expr) Errors {
126 func (tc *typeChecker) checkLanguageBuiltins() *TypeEnv {
134 func (tc *typeChecker) checkRule(env *TypeEnv, rule *Rule) {
198 func (tc *typeChecker) checkExpr(env *TypeEnv, expr *Expr) *Error {
258 func (tc *typeChecker) checkExprEq(env *TypeEnv, expr *Expr) *Error {
469 env *TypeEnv
474 func newRefChecker(env *TypeEnv) *refChecker { argument
[all …]
H A Dcompile.go77 TypeEnv *TypeEnv member
157 TypeEnv() *TypeEnv methodSpec
181 TypeEnv: NewTypeEnv(),
195 c.TypeEnv = checker.checkLanguageBuiltins()
594 env, errs := checker.CheckTypes(c.TypeEnv, sorted)
598 c.TypeEnv = env
882 typeEnv *TypeEnv
946 func (qc *queryCompiler) TypeEnv() *TypeEnv { func
1025 qc.typeEnv, errs = checker.CheckBody(qc.compiler.TypeEnv, body)
/dports/devel/hs-ormolu/ormolu-0.4.0.0/_cabal_deps/ghc-lib-parser-9.2.1.20211101/compiler/GHC/Unit/Module/
H A DModDetails.hs13 import GHC.Types.TypeEnv
22 , md_types :: !TypeEnv
/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/ghc-lib-parser-8.10.7.20210828/compiler/main/
H A DHscTypes.hs2183 type TypeEnv = NameEnv TyThing type
2185 emptyTypeEnv :: TypeEnv
2187 typeEnvTyCons :: TypeEnv -> [TyCon]
2189 typeEnvIds :: TypeEnv -> [Id]
2190 typeEnvPatSyns :: TypeEnv -> [PatSyn]
2192 typeEnvClasses :: TypeEnv -> [Class]
2205 mkTypeEnv :: [TyThing] -> TypeEnv
2227 extendTypeEnv :: TypeEnv -> TyThing -> TypeEnv
2230 extendTypeEnvList :: TypeEnv -> [TyThing] -> TypeEnv
2233 extendTypeEnvWithIds :: TypeEnv -> [Id] -> TypeEnv
[all …]
/dports/lang/ghc/ghc-8.10.7/compiler/main/
H A DHscTypes.hs2183 type TypeEnv = NameEnv TyThing type
2185 emptyTypeEnv :: TypeEnv
2187 typeEnvTyCons :: TypeEnv -> [TyCon]
2189 typeEnvIds :: TypeEnv -> [Id]
2190 typeEnvPatSyns :: TypeEnv -> [PatSyn]
2192 typeEnvClasses :: TypeEnv -> [Class]
2205 mkTypeEnv :: [TyThing] -> TypeEnv
2227 extendTypeEnv :: TypeEnv -> TyThing -> TypeEnv
2230 extendTypeEnvList :: TypeEnv -> [TyThing] -> TypeEnv
2233 extendTypeEnvWithIds :: TypeEnv -> [Id] -> TypeEnv
[all …]
H A DTidyPgm.hs197 lookupFinalId :: TypeEnv -> Id -> Id
203 mkFinalClsInsts :: TypeEnv -> [ClsInst] -> [ClsInst]
206 mkFinalPatSyns :: TypeEnv -> [PatSyn] -> [PatSyn]
209 extendTypeEnvWithPatSyns :: [PatSyn] -> TypeEnv -> TypeEnv
/dports/devel/hs-ormolu/ormolu-0.4.0.0/_cabal_deps/ghc-lib-parser-9.2.1.20211101/compiler/GHC/Unit/
H A DExternal.hs26 import GHC.Types.TypeEnv
30 type PackageTypeEnv = TypeEnv
/dports/devel/hs-hlint/hlint-3.3.4/_cabal_deps/ghc-lib-parser-9.0.1.20210324/compiler/GHC/Driver/
H A DTypes.hs2229 type TypeEnv = NameEnv TyThing function
2231 emptyTypeEnv :: TypeEnv
2233 typeEnvTyCons :: TypeEnv -> [TyCon]
2235 typeEnvIds :: TypeEnv -> [Id]
2236 typeEnvPatSyns :: TypeEnv -> [PatSyn]
2238 typeEnvClasses :: TypeEnv -> [Class]
2251 mkTypeEnv :: [TyThing] -> TypeEnv
2273 extendTypeEnv :: TypeEnv -> TyThing -> TypeEnv
2276 extendTypeEnvList :: TypeEnv -> [TyThing] -> TypeEnv
2279 extendTypeEnvWithIds :: TypeEnv -> [Id] -> TypeEnv
[all …]
/dports/devel/hs-ormolu/ormolu-0.4.0.0/_cabal_deps/ghc-lib-parser-9.2.1.20211101/compiler/GHC/Driver/Env/
H A DTypes.hs15 import GHC.Types.TypeEnv
113 hsc_type_env_var :: Maybe (Module, IORef TypeEnv)
/dports/sysutils/istio/istio-1.6.7/vendor/istio.io/gogo-genproto/googleapis/google/api/expr/v1alpha1/
H A Dconformance_service.pb.go203 …TypeEnv []*Decl `protobuf:"bytes,2,rep,name=type_env,json=typeEnv,proto3" json:"type_env,omitempty… member
256 return m.TypeEnv
936 if len(m.TypeEnv) > 0 {
937 for iNdEx := len(m.TypeEnv) - 1; iNdEx >= 0; iNdEx-- {
939 size, err := m.TypeEnv[iNdEx].MarshalToSizedBuffer(dAtA[:i])
1277 if len(m.TypeEnv) > 0 {
1278 for _, e := range m.TypeEnv {
1795 m.TypeEnv = append(m.TypeEnv, &Decl{})
1796 if err := m.TypeEnv[len(m.TypeEnv)-1].Unmarshal(dAtA[iNdEx:postIndex]); err != nil {
/dports/devel/hs-ormolu/ormolu-0.4.0.0/_cabal_deps/ghc-lib-parser-9.2.1.20211101/compiler/GHC/Tc/
H A DTypes.hs124 import GHC.Types.TypeEnv
273 if_rec_types :: Maybe (Module, IfG TypeEnv)
307 if_implicits_env :: Maybe TypeEnv,
397 tcg_type_env :: TypeEnv,
408 tcg_type_env_var :: TcRef TypeEnv,
/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/ghc-lib-parser-8.10.7.20210828/compiler/typecheck/
H A DTcRnTypes.hs247 if_rec_types :: Maybe (Module, IfG TypeEnv)
281 if_implicits_env :: Maybe TypeEnv,
425 tcg_type_env :: TypeEnv,
436 tcg_type_env_var :: TcRef TypeEnv,
/dports/lang/ghc/ghc-8.10.7/compiler/typecheck/
H A DTcRnTypes.hs247 if_rec_types :: Maybe (Module, IfG TypeEnv)
281 if_implicits_env :: Maybe TypeEnv,
425 tcg_type_env :: TypeEnv,
436 tcg_type_env_var :: TcRef TypeEnv,
/dports/devel/hs-hlint/hlint-3.3.4/_cabal_deps/ghc-lib-parser-9.0.1.20210324/compiler/GHC/Tc/
H A DTypes.hs252 if_rec_types :: Maybe (Module, IfG TypeEnv)
286 if_implicits_env :: Maybe TypeEnv,
428 tcg_type_env :: TypeEnv,
439 tcg_type_env_var :: TcRef TypeEnv,
/dports/databases/prometheus-postgresql-adapter/prometheus-postgresql-adapter-0.6.0/vendor/google.golang.org/genproto/googleapis/api/expr/v1alpha1/
H A Dconformance_service.pb.go190 …TypeEnv []*Decl `protobuf:"bytes,2,rep,name=type_env,json=typeEnv,proto3" json:"type_env,omitempty… member
238 return m.TypeEnv
/dports/security/vault/vault-1.8.2/vendor/google.golang.org/genproto/googleapis/api/expr/v1alpha1/
H A Dconformance_service.pb.go192 …TypeEnv []*Decl `protobuf:"bytes,2,rep,name=type_env,json=typeEnv,proto3" json:"type_env,omitempty… member
239 return m.TypeEnv
/dports/net/evans/evans-0.9.1/vendor/google.golang.org/genproto/googleapis/api/expr/v1alpha1/
H A Dconformance_service.pb.go192 …TypeEnv []*Decl `protobuf:"bytes,2,rep,name=type_env,json=typeEnv,proto3" json:"type_env,omitempty… member
239 return m.TypeEnv
/dports/net/evans/evans-0.9.1/vendor/google.golang.org/genproto/googleapis/api/expr/conformance/v1alpha1/
H A Dconformance_service.pb.go192 …TypeEnv []*v1alpha1.Decl `protobuf:"bytes,2,rep,name=type_env,json=typeEnv,proto3" json:"type_env,… member
239 return m.TypeEnv

1234