/dports/security/hs-cryptol/cryptol-2.11.0/src/Cryptol/TypeCheck/ |
H A D | Subst.hs | 276 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 D | InferTypes.hs | 224 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 D | Error.hs | 193 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 D | Default.hs | 13 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 D | Solve.hs | 27 (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 D | Instantiate.hs | 19 import Cryptol.TypeCheck.Subst (listParamSubst, apSubst) 178 newGoals (CtInst e) (map (apSubst su) ps) 179 let t1 = apSubst su t
|
H A D | Unify.hs | 92 (su2,ps2) <- mguMany (apSubst su1 ts1) (apSubst su1 ts2)
|
H A D | Monad.hs | 145 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 D | Sanity.hs | 20 import Cryptol.TypeCheck.Subst (apSubst, singleTParamSubst) 231 return $ Forall as (apSubst su ps) (apSubst su t1)
|
H A D | Infer.hs | 45 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 D | TypeOf.hs | 123 TVar x -> apSubst s (TVar x)
|
H A D | Kind.hs | 30 import Cryptol.TypeCheck.Subst(listSubst,apSubst) 283 kNewGoals (CtPartialTypeFun (atName absT)) (apSubst su <$> ps)
|
H A D | CheckModuleInstance.hs | 151 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 D | Improve.hs | 35 Just (suNew,psNew) -> go (suNew @@ su) (psNew ++ apSubst suNew subs) 36 (apSubst su ps)
|
H A D | Selector.hs | 17 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 D | InstantiateModule.hs | 16 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 D | Specialize.hs | 320 | 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 D | spellfix.c | 594 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 D | spellfix.c | 594 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 D | spellfix.c | 600 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 D | spellfix.c | 600 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 D | spellfix.c | 600 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 D | Command.hs | 1748 return (def1, T.apSubst su (T.sType sig))
|