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

Hydra.Dsl.Lib.Sets

Documentation

contains :: Datum (a -> Set a -> Bool) Source #

difference :: Datum (Set a -> Set a -> Set a) Source #

empty :: Datum (Set a) Source #

fromList :: Datum ([a] -> Set a) Source #

insert :: Datum (a -> Set a -> Set a) Source #

intersection :: Datum (Set a -> Set a -> Set a) Source #

isEmpty :: Datum (Set a -> Bool) Source #

map :: Datum ((a -> b) -> Set a -> Set b) Source #

remove :: Datum (a -> Set a -> Set a) Source #

singleton :: Datum (a -> Set a) Source #

size :: Datum (Set a -> Int) Source #

toList :: Datum (Set a -> [a]) Source #

union :: Datum (Set a -> Set a -> Set a) Source #