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

Hydra.Impl.Haskell.Dsl.Lib.Sets

Documentation

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

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

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