autoproof-0.0.0.0: Propositional logic library
Copyright(c) Artem Mavrin 2021
LicenseBSD3
Maintainerartemvmavrin@gmail.com
Stabilityexperimental
PortabilityPOSIX
Safe HaskellSafe
LanguageHaskell2010

AutoProof.Internal.Utils.SetUtils

Description

Miscellaneous set-related functions.

Synopsis

Documentation

toSet :: (Ord a, Foldable t) => t a -> Set a Source #

Convert a foldable collection into a set.