Home
last modified time | relevance | path

Searched refs:Commute (Results 1 – 25 of 616) sorted by relevance

12345678910>>...25

/dports/devel/hs-darcs/darcs-2.16.4/src/Darcs/Patch/
H A DCommute.hs1 module Darcs.Patch.Commute
2 ( Commute(..)
40 class Commute p where constructor
43 instance Commute p => Commute (FL p) where
53 commuteRLFL :: Commute p => (RL p :> FL p) wX wY
57 instance Commute p => Commute (RL p) where
65 commuteRL :: Commute p => (RL p :> p) wX wY -> Maybe ((p :> RL p) wX wY)
70 commuteFL :: Commute p => (p :> FL p) wX wY -> Maybe ((FL p :> p) wX wY)
74 selfCommuter :: Commute p => CommuteFn p p
H A DPermutations.hs34 import Darcs.Patch.Commute ( Commute, commute, commuteFL, commuteRL )
51 partitionFL :: Commute p
61 partitionFL' :: Commute p
85 partitionRL :: forall p wX wY. Commute p
103 genCommuteWhatWeCanFL :: Commute q =>
118 genCommuteWhatWeCanRL :: Commute p =>
162 removeSubsequenceFL :: (Eq2 p, Commute p) => FL p wA wB
220 permutationsRL :: Commute p => RL p wX wY -> [RL p wX wY]
224 instance (Eq2 p, Commute p) => Eq2 (FL p) where
233 instance (Eq2 p, Commute p) => Eq2 (RL p) where
[all …]
H A DChoices.hs78 import Darcs.Patch.Commute ( Commute, commute, commuteRL )
154 instance Commute p => Commute (LabelledPatch p) where
163 instance Commute p => Commute (PatchChoice p) where
200 separateFirstMiddleFromLast :: Commute p
211 getChoices :: Commute p
221 pushLasts :: Commute p
238 refineChoices :: (Commute p, Monad m)
328 forceFirsts :: Commute p
335 forceFirst :: Commute p
404 forceLasts :: Commute p
[all …]
H A DUnwind.hs11 import Darcs.Patch.Commute
12 ( Commute, commute, selfCommuter
82 :: (Commute prim, Invert prim, Eq2 prim)
93 :: (Commute prim, Invert prim, Eq2 prim)
101 :: (Commute prim, Invert prim, Eq2 prim)
109 :: (Commute prim, Invert prim, Eq2 prim)
130 :: (Commute prim, Invert prim, Eq2 prim)
151 :: (Commute prim, Invert prim, Eq2 prim)
162 :: (Commute prim, Invert prim, Eq2 prim)
196 :: (Commute prim, Invert prim, Eq2 prim)
[all …]
H A DTouchesFiles.hs34 import Darcs.Patch.Commute (Commute)
57 :: (Apply p, Commute p, PatchInspect p, ApplyState p ~ Tree)
64 :: (Apply p, Commute p, PatchInspect p, ApplyState p ~ Tree)
74 :: (Apply p, Commute p, PatchInspect p, ApplyState p ~ Tree)
81 :: (Apply p, Commute p, PatchInspect p, ApplyState p ~ Tree)
87 :: (Apply p, Commute p, PatchInspect p, ApplyState p ~ Tree)
H A DIdent.hs26 import Darcs.Patch.Commute ( Commute, commute, commuteFL, commuteRL )
140 instance (Commute p, Ident p) => IdEq2 (FL p) where
161 merge2FL :: (Commute p, Merge p, Ident p)
188 fastRemoveFL :: forall p wX wY wZ. (Commute p, Ident p)
208 fastRemoveRL :: forall p wX wY wZ. (Commute p, Ident p)
227 fastRemoveSubsequenceRL :: (Commute p, Ident p)
238 findCommonFL :: (Commute p, Ident p)
260 commuteToPrefix :: (Commute p, Ident p)
271 commuteToPostfix :: forall p wX wY. (Commute p, Ident p)
288 commuteWhatWeCanToPostfix :: forall p wX wY. (Commute p, Ident p)
[all …]
H A DDepends.hs62 import Darcs.Patch.Commute ( Commute )
103 taggedIntersection :: forall rt p wX wY . Commute p
196 cleanLatestTag :: Commute p
276 findCommonAndUncommon :: forall rt p wX wY . Commute p
300 findCommonWithThem :: Commute p
314 findUncommon :: Commute p
322 countUsThem :: Commute p
332 mergeThem :: (Commute p, Merge p)
341 patchSetIntersection :: Commute p
354 patchSetUnion :: (Commute p, Merge p, Eq2 p)
[all …]
H A DRepoPatch.hs6 , Commute(..)
28 import Darcs.Patch.Commute ( Commute(..) )
48 , Commute p
H A DCommuteNoConflicts.hs8 import Darcs.Patch.Commute ( Commute )
38 class Commute p => CommuteNoConflicts p where constructor
/dports/textproc/xsv-rs/xsv-0.13.0/cargo-crates/streaming-stats-0.2.0/src/
H A Dlib.rs52 pub trait Commute : Sized { interface
67 pub fn merge_all<T: Commute, I: Iterator<Item=T>>(mut it: I) -> Option<T> { in merge_all() argument
74 impl<T: Commute> Commute for Option<T> {
83 impl<T: Commute, E> Commute for Result<T, E> {
106 impl<T: Commute> Commute for Vec<T> {
122 use Commute;
/dports/devel/hs-darcs/darcs-2.16.4/src/Darcs/Patch/V2/
H A DNon.hs47 import Darcs.Patch.Commute ( commuteFL )
56 import Darcs.Patch.Commute ( Commute(..) )
126 instance (Commute p, Eq2 p, Eq2 (PrimOf p)) => Eq (Non p wX) where
143 commuteOrAddToCtx :: (Commute p, ToFromPrim p) => p wX wY -> Non p wY
160 commuteOrAddToCtxRL :: (Apply p, Commute p, Invert p, ToFromPrim p) => RL p wX wY -> Non p wY
205 remNonHelper :: (Nonable p, Effect p, Apply p, Commute p, Invert p, Eq2 p, ToFromPrim p,
228 commuteOrRemFromCtx :: (Commute p, Invert p, Eq2 p, ToFromPrim p) => p wX wY -> Non p wX
242 (*>) :: (Commute p, Invert p, ToFromPrim p) => Non p wX -> p wX wY
247 (>*) :: (Commute p, ToFromPrim p) => p wX wY -> Non p wY
256 (*>>) :: (WL l, Apply p, Commute p, Invert p, ToFromPrim p, PrimPatchBase p) => Non p wX
[all …]
/dports/devel/grex/grex-1.3.0/cargo-crates/ndarray-0.15.3/src/
H A Dimpl_ops.rs234 (Commute { $a:expr } or { $b:expr }) => {
342 impl_scalar_lhs_op!(bool, Commute, &, BitAnd, bitand, "bit and");
343 impl_scalar_lhs_op!(bool, Commute, |, BitOr, bitor, "bit or");
344 impl_scalar_lhs_op!(bool, Commute, ^, BitXor, bitxor, "bit xor");
346 impl_scalar_lhs_op!(f32, Commute, +, Add, add, "addition");
348 impl_scalar_lhs_op!(f32, Commute, *, Mul, mul, "multiplication");
352 impl_scalar_lhs_op!(f64, Commute, +, Add, add, "addition");
354 impl_scalar_lhs_op!(f64, Commute, *, Mul, mul, "multiplication");
358 impl_scalar_lhs_op!(Complex<f32>, Commute, +, Add, add, "addition");
360 impl_scalar_lhs_op!(Complex<f32>, Commute, *, Mul, mul, "multiplication");
[all …]
/dports/devel/hs-darcs/darcs-2.16.4/harness/Darcs/Test/Patch/Merge/
H A DChecked.hs7 import Darcs.Patch.Commute
23 (Merge p, Effect p, Eq2 p, Eq2 (PrimOf p), Commute p, Commute (PrimOf p), Invert (PrimOf p))
74 squashCons :: (Commute p, Eq2 p, Invert p) => p wX wY -> FL p wY wZ -> FL p wX wZ
81 squash :: (Commute p, Eq2 p, Invert p) => FL p wX wY -> FL p wX wY
85 squashes :: (Commute p, Eq2 p, Invert p) => FL p wX wY -> EqCheck wX wY
/dports/devel/hs-darcs/darcs-2.16.4/src/Darcs/Patch/V3/
H A DContexted.hs38 import Darcs.Patch.Commute
103 prop_ctxInvariants :: (Commute p, Invert p, SignedIdent p) => Contexted p wX -> Bool
110 prop_ctxNotCom :: Commute p => Contexted p wX -> Bool
130 prop_ctxEq :: (Commute p, Eq2 p, Ident p) => Contexted p wX -> Contexted p wX -> Bool
147 ctxNoConflict :: (CleanMerge p, Commute p, Ident p)
182 ctxAdd :: (Commute p, Invert p, Ident p)
192 ctxAddRL :: (Commute p, Invert p, Ident p)
198 ctxAddInvFL :: (Commute p, Invert p, Ident p)
203 ctxAddFL :: (Commute p, Invert p, Ident p)
213 commutePast :: Commute p
[all …]
/dports/devel/hs-darcs/darcs-2.16.4/src/Darcs/Patch/Prim/FileUUID/
H A DCommute.hs2 module Darcs.Patch.Prim.FileUUID.Commute () where
11 import Darcs.Patch.Commute ( Commute(..) )
30 instance Commute Prim where
/dports/devel/hs-darcs/darcs-2.16.4/src/Darcs/Patch/Prim/
H A DV1.hs10 import Darcs.Patch.Prim.V1.Commute ()
17 import Darcs.Patch.Commute ( Commute(..), commuteFL )
67 (Commute prim, Invert prim, Eq2 prim, PrimCanonize prim, PrimClassify prim)
/dports/devel/hs-darcs/darcs-2.16.4/src/Darcs/Patch/Rebase/
H A DSuspended.hs15 import Darcs.Patch.Commute ( Commute(..) )
105 :: (PrimPatchBase p, Commute p, FromPrim p, Effect p)
113 :: (PrimPatchBase p, Commute p, FromPrim p, Effect p)
146 :: (PrimPatchBase p, Commute p, FromPrim p, Effect p)
154 :: (PrimPatchBase p, Commute p, FromPrim p, Effect p)
/dports/lang/gnu-apl/apl-1.8/src/testcases/
H A DCommute.tc1 ⍝ Commute.tc
22 ⍝ Commute
/dports/devel/llvm-cheri/llvm-project-37c49ff00e3eadce5d8703fdc4497f28458c64a8/llvm/test/Transforms/InstCombine/
H A Dsmin-icmp.ll23 ; Commute min operands.
51 ; Commute min operands.
79 ; Commute min operands.
107 ; Commute min operands.
135 ; Commute min operands.
163 ; Commute min operands.
191 ; Commute min operands.
219 ; Commute min operands.
246 ; Commute min operands.
271 ; Commute min operands.
[all …]
/dports/devel/llvm-devel/llvm-project-f05c95f10fc1d8171071735af8ad3a9e87633120/llvm/test/Transforms/InstCombine/
H A Dsmin-icmp.ll23 ; Commute min operands.
51 ; Commute min operands.
79 ; Commute min operands.
107 ; Commute min operands.
135 ; Commute min operands.
163 ; Commute min operands.
191 ; Commute min operands.
219 ; Commute min operands.
246 ; Commute min operands.
271 ; Commute min operands.
[all …]
/dports/devel/llvm12/llvm-project-12.0.1.src/llvm/test/Transforms/InstCombine/
H A Dsmin-icmp.ll23 ; Commute min operands.
51 ; Commute min operands.
79 ; Commute min operands.
107 ; Commute min operands.
135 ; Commute min operands.
163 ; Commute min operands.
191 ; Commute min operands.
219 ; Commute min operands.
246 ; Commute min operands.
271 ; Commute min operands.
[all …]
/dports/devel/llvm10/llvm-10.0.1.src/test/Transforms/InstCombine/
H A Dsmin-icmp.ll23 ; Commute min operands.
51 ; Commute min operands.
79 ; Commute min operands.
107 ; Commute min operands.
135 ; Commute min operands.
163 ; Commute min operands.
191 ; Commute min operands.
219 ; Commute min operands.
246 ; Commute min operands.
271 ; Commute min operands.
[all …]
/dports/devel/llvm11/llvm-11.0.1.src/test/Transforms/InstCombine/
H A Dsmin-icmp.ll23 ; Commute min operands.
51 ; Commute min operands.
79 ; Commute min operands.
107 ; Commute min operands.
135 ; Commute min operands.
163 ; Commute min operands.
191 ; Commute min operands.
219 ; Commute min operands.
246 ; Commute min operands.
271 ; Commute min operands.
[all …]
/dports/devel/tinygo/tinygo-0.14.1/llvm-project/llvm/test/Transforms/InstCombine/
H A Dsmin-icmp.ll23 ; Commute min operands.
51 ; Commute min operands.
79 ; Commute min operands.
107 ; Commute min operands.
135 ; Commute min operands.
163 ; Commute min operands.
191 ; Commute min operands.
219 ; Commute min operands.
246 ; Commute min operands.
271 ; Commute min operands.
[all …]
/dports/devel/wasi-compiler-rt13/llvm-project-13.0.1.src/llvm/test/Transforms/InstCombine/
H A Dsmin-icmp.ll23 ; Commute min operands.
51 ; Commute min operands.
79 ; Commute min operands.
107 ; Commute min operands.
135 ; Commute min operands.
163 ; Commute min operands.
191 ; Commute min operands.
219 ; Commute min operands.
246 ; Commute min operands.
271 ; Commute min operands.
[all …]

12345678910>>...25