CurryInfo: redblacktree-3.0.0 / Data.Set.RBTree.intersection

definition: Info
 
intersection :: SetRBT a -> SetRBT a -> SetRBT a
intersection s1 s2 = foldr insert (RBT.newTreeLike s1)
                     (filter (`member` s2) (toList s1))
demand: Info
 no demanded arguments
deterministic: Info
 deterministic operation
documentation: Info
 
Computes the intersection of two (red-black tree) sets.
This is done by inserting all elements of the first set
contained in the second set into a new set, which order
is taken from the first set.
failfree: Info
 <FAILING>
indeterministic: Info
 referentially transparent operation
infix: Info
 no fixity defined
iotype: Info
 {(_,_) |-> _}
name: Info
 intersection
precedence: Info
 no precedence defined
result-values: Info
 _
signature: Info
 Data.RedBlackTree.RedBlackTree a -> Data.RedBlackTree.RedBlackTree a
-> Data.RedBlackTree.RedBlackTree a
solution-complete: Info
 operation might suspend on free variables
terminating: Info
 yes
totally-defined: Info
 possibly non-reducible on same data term