FiniteCategories-0.1.0.0: Finite categories and usual categorical constructions on them.
CopyrightGuillaume Sabbagh 2021
LicenseGPL-3
Maintainerguillaumesabbagh@protonmail.com
Stabilityexperimental
Portabilityportable
Safe HaskellSafe-Inferred
LanguageHaskell2010

Utils.SetList

Description

Utilitary functions for sets with list as underlying representation.

It has the advantage of not requiring the Ord typeclass at all.

Synopsis

Documentation

isIncludedIn :: Eq a => [a] -> [a] -> Bool Source #

Returns a boolean indicating if the set of elements of a list are included in an another.

doubleInclusion :: Eq a => [a] -> [a] -> Bool Source #

Returns a boolean indicating if the set of elements of two lists are equal.

powerList :: Eq a => [a] -> [[a]] Source #

Returns the list of all sublists of a list.