Home
last modified time | relevance | path

Searched refs:apSubst (Results 1 – 23 of 23) sorted by relevance

/dports/security/hs-cryptol/cryptol-2.11.0/src/Cryptol/TypeCheck/
H A DSubst.hs276 apSubst s = fmap' (apSubst s) function
279 apSubst s = fmap' (apSubst s) function
282 apSubst s (x, y) = (,) !$ apSubst s x !$ apSubst s y function
300 apSubst su = fmap' (apSubst su) function
303 apSubst su = fmap' (apSubst su) function
381 … EComp len t e mss -> EComp !$ (apSubst su len) !$ (apSubst su t) !$ (go e) !$ (apSubst su mss)
387 apSubst su (From x len t e) = From x !$ (apSubst su len) !$ (apSubst su t) !$ (apSubst su e) function
388 apSubst su (Let b) = Let !$ (apSubst su b) function
391 apSubst su (NonRecursive d) = NonRecursive !$ (apSubst su d) function
392 apSubst su (Recursive ds) = Recursive !$ (apSubst su ds) function
[all …]
H A DInferTypes.hs224 apSubst su src =
229 CtInst e -> CtInst (apSubst su e)
250 apSubst su gs = case anyJust apG (fromGoals gs) of function
260 apSubst su g = Goal { goalSource = apSubst su (goalSource g) function
262 , goal = apSubst su (goal g)
266 apSubst su h = h { hasGoal = apSubst su (hasGoal h) } function
269 apSubst su g
273 , dctAsmps = apSubst su (dctAsmps g)
274 , dctGoals = apSubst su (dctGoals g)
H A DError.hs193 apSubst su warn =
197 DefaultingTo d ty -> DefaultingTo d $! (apSubst su ty)
207 apSubst su err =
215 TypeMismatch src t1 t2 -> TypeMismatch src !$ (apSubst su t1) !$ (apSubst su t2)
216 RecursiveType src t1 t2 -> RecursiveType src !$ (apSubst su t1) !$ (apSubst su t2)
217 UnsolvedGoals gs -> UnsolvedGoals !$ apSubst su gs
218 UnsolvableGoals gs -> UnsolvableGoals !$ apSubst su gs
219 UnsolvedDelayedCt g -> UnsolvedDelayedCt !$ (apSubst su g)
222 TypeVariableEscaped src !$ (apSubst su t) .$ xs
223 NotForAll src x t -> NotForAll src x !$ (apSubst su t)
[all …]
H A DDefault.hs13 import Cryptol.TypeCheck.Subst(Subst,apSubst,listSubst,substBinds,uncheckedSingleSubst)
138 , newOthers ++ others ++ nub (apSubst su fins)
195 in ( (x,ty) : [ (y,apSubst su1 t) | (y,t) <- yes ]
201 , [ (y, (apSubst su1 ts1, vs1)) | (y,(ts1,vs1)) <- more ]
220 do guard (null (concatMap pSplitAnd (apSubst su props)))
226 ty' = apSubst su ty
H A DSolve.hs27 (apSubst, isEmptySubst, substToList,
89 go (newSu @@ su) [] (subs ++ apSubst newSu unsolved)
170 in null (concatMap pSplitAnd (apSubst su (sProps sch)))
216 | otherwise = case quickSolver mempty (apSubst su gs) of
319 (apSubst su1 asmps0) newGs
345 , [ g { goal = apSubst newSu (goal g) } | g <- gs1 ]
H A DInstantiate.hs19 import Cryptol.TypeCheck.Subst (listParamSubst, apSubst)
178 newGoals (CtInst e) (map (apSubst su) ps)
179 let t1 = apSubst su t
H A DUnify.hs92 (su2,ps2) <- mguMany (apSubst su1 ts1) (apSubst su1 ts2)
H A DMonad.hs145 warns = fmap' (fmap' (apSubst theSu)) (iWarnings finalRW)
154 (apSubst defSu result)
158 , UnsolvedGoals [apSubst theSu g]
162 errs -> inferFailed warns [(r,apSubst theSu e) | (r,e) <- errs]
568 return (apSubst su t)
964 kInstantiateT t as = return (apSubst su t)
H A DSanity.hs20 import Cryptol.TypeCheck.Subst (apSubst, singleTParamSubst)
231 return $ Forall as (apSubst su ps) (apSubst su t1)
H A DInfer.hs45 import Cryptol.TypeCheck.Subst (listSubst,apSubst,(@@),isEmptySubst)
864 qs = concatMap (pSplitAnd . apSubst su) here
866 genE e = foldr ETAbs (foldr EProofAbs (apSubst su e) qs) asPs
871 $ apSubst su $ sType $ dSignature d
954 let asmps = concatMap pSplitAnd (apSubst su asmps1)
H A DTypeOf.hs123 TVar x -> apSubst s (TVar x)
H A DKind.hs30 import Cryptol.TypeCheck.Subst(listSubst,apSubst)
283 kNewGoals (CtPartialTypeFun (atName absT)) (apSubst su <$> ps)
H A DCheckModuleInstance.hs151 Just (n,sD) -> do e <- makeValParamDef n sD (apSubst su sP)
/dports/security/hs-cryptol/cryptol-2.11.0/src/Cryptol/TypeCheck/Solver/
H A DImprove.hs35 Just (suNew,psNew) -> go (suNew @@ su) (psNew ++ apSubst suNew subs)
36 (apSubst su ps)
H A DSelector.hs17 import Cryptol.TypeCheck.Subst (listParamSubst, apSubst)
76 $ apSubst su $ ntConstraints nt
77 return $ Just $ apSubst su t
/dports/security/hs-cryptol/cryptol-2.11.0/src/Cryptol/ModuleSystem/
H A DInstantiateModule.hs16 import Cryptol.TypeCheck.Subst(listParamSubst, apSubst)
57 goals = map (fmap (apSubst su)) (mParamConstraints func)
81 , dSignature = apSubst su
/dports/security/hs-cryptol/cryptol-2.11.0/src/Cryptol/Transform/
H A DSpecialize.hs320 | otherwise = return $ Forall [] [] (apSubst sub ty)
328 instantiateExpr ts n (apSubst (singleTParamSubst param t) e)
/dports/databases/sqlcipher/sqlcipher-3.4.2/ext/misc/
H A Dspellfix.c594 EditDist3Cost **apSubst; /* Array of substitution costs for this element */ member
791 sqlite3_free(p->a[i].apSubst); in editDist3FromStringDelete()
842 apNew = sqlite3_realloc64(pFrom->apSubst, in editDist3FromStringNew()
845 pFrom->apSubst = apNew; in editDist3FromStringNew()
1001 p = f.a[i1].apSubst[k]; in editDist3Core()
/dports/databases/sqlite-ext-spellfix/sqlite-ext-spellfix-3.8.11.1_1/sqlite-src-3081101/ext/misc/
H A Dspellfix.c594 EditDist3Cost **apSubst; /* Array of substitution costs for this element */ member
791 sqlite3_free(p->a[i].apSubst); in editDist3FromStringDelete()
842 apNew = sqlite3_realloc(pFrom->apSubst, in editDist3FromStringNew()
845 pFrom->apSubst = apNew; in editDist3FromStringNew()
981 p = f.a[i1].apSubst[k]; in editDist3Core()
/dports/databases/sqlite3/sqlite-src-3350500/ext/misc/
H A Dspellfix.c600 EditDist3Cost **apSubst; /* Array of substitution costs for this element */ member
884 sqlite3_free(p->a[i].apSubst); in editDist3FromStringDelete()
935 apNew = sqlite3_realloc64(pFrom->apSubst, in editDist3FromStringNew()
938 pFrom->apSubst = apNew; in editDist3FromStringNew()
1092 p = f.a[i1].apSubst[k]; in editDist3Core()
/dports/www/qt5-webengine/qtwebengine-everywhere-src-5.15.2/src/3rdparty/chromium/third_party/sqlite/src/ext/misc/
H A Dspellfix.c600 EditDist3Cost **apSubst; /* Array of substitution costs for this element */ member
884 sqlite3_free(p->a[i].apSubst); in editDist3FromStringDelete()
935 apNew = sqlite3_realloc64(pFrom->apSubst, in editDist3FromStringNew()
938 pFrom->apSubst = apNew; in editDist3FromStringNew()
1092 p = f.a[i1].apSubst[k]; in editDist3Core()
/dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/sqlite/src/ext/misc/
H A Dspellfix.c600 EditDist3Cost **apSubst; /* Array of substitution costs for this element */ member
884 sqlite3_free(p->a[i].apSubst); in editDist3FromStringDelete()
935 apNew = sqlite3_realloc64(pFrom->apSubst, in editDist3FromStringNew()
938 pFrom->apSubst = apNew; in editDist3FromStringNew()
1092 p = f.a[i1].apSubst[k]; in editDist3Core()
/dports/security/hs-cryptol/cryptol-2.11.0/src/Cryptol/REPL/
H A DCommand.hs1748 return (def1, T.apSubst su (T.sType sig))