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

Hydra.Dsl.Lib.Sets

Documentation

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

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

empty :: TTerm (Set a) Source #

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

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

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

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

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

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

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

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

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

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