Control.RMonad.Trans.Set

Documentation

newtype SetT m a

Constructors

SetT

Fields

runSetT :: m (Set a)

Instances

RMonadTrans SetT

(RMonad (SetT m), RMonad m) => RMonadPlus (SetT m)

RMonad m => RMonad (SetT m)

(RMonad (SetT m), RMonadIO m) => RMonadIO (SetT m)

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