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