Pandora.Paradigm.Structure.Interface.Set

Documentation

type Set t f a = (Traversable (->) (->) t, Setoid a, Setoid (t a), Morphable (Find f) t)

subset :: forall t f a. (Set t f a, Morphing (Find f) t ~ ((Predicate <:.:> Maybe) := (->))) => Convergence Boolean := t a

cardinality :: Traversable (->) (->) t => t a -> Numerator