Pandora.Paradigm.Structure.Interface.Set
member :: forall e a. (Setoid a, Monotonic e a) => a -> e -> Boolean Source #
subset :: (Monotonic (t a) a, Traversable t, Setoid a, Setoid (t a)) => t a -> t a -> Boolean Source #
cardinality :: Traversable t => t a -> Natural Source #