hydra-0.5.1: Type-aware transformations for data and programs
Safe HaskellSafe-Inferred
LanguageHaskell2010

Hydra.Lib.Sets

Description

Haskell implementations of hydralibsets primitives

Documentation

contains :: Ord x => x -> Set x -> Bool Source #

difference :: Ord x => Set x -> Set x -> Set x Source #

empty :: Set x Source #

fromList :: Ord x => [x] -> Set x Source #

insert :: Ord x => x -> Set x -> Set x Source #

intersection :: Ord x => Set x -> Set x -> Set x Source #

isEmpty :: Set x -> Bool Source #

map :: Ord y => (x -> y) -> Set x -> Set y Source #

remove :: Ord x => x -> Set x -> Set x Source #

singleton :: x -> Set x Source #

size :: Set x -> Int Source #

toList :: Ord x => Set x -> [x] Source #

union :: Ord x => Set x -> Set x -> Set x Source #