Control.RMonad.Trans.Set

Documentation

newtype SetT m a

Constructors

SetT

Fields

runSetT :: m (Set a)

Instances

RMonadTrans SetT

RMonad m => RMonadPlus (SetT m)

RMonad m => RMonad (SetT m)

RMonadIO m => RMonadIO (SetT m)

(Ord a, Suitable m a, Suitable m (Set a)) => Suitable (SetT m) a