Control.Effects.Set

Documentation

choose :: (c ~ ContT (Set r) m, AutoLift c n, Monad m, Ord r) => Proxy c -> [a] -> n a

set :: (Monad m, Ord a) => Handler (Set a) m a (Set a)