Pandora.Paradigm.Structure.Interface.Set

Documentation

member :: forall e a. (Setoid a, Monotonic a e) => a -> e -> Boolean

subset :: (Monotonic a (t a), Traversable t, Setoid a, Setoid (t a)) => t a -> t a -> Boolean

cardinality :: Traversable t => t a -> Natural