Safe Haskell	None
Language	Haskell98

Hedgehog.Internal.Distributive

Documentation

class Distributive g where #

Associated Types

type Transformer (f :: (* -> *) -> * -> *) (g :: (* -> *) -> * -> *) (m :: * -> *) :: Constraint #

Methods

distribute :: Transformer f g m => g (f m) a -> f (g m) a #

Distribute one monad transformer over another.

Instances

Distributive MaybeT #
Instance details Defined in Hedgehog.Internal.Distributive Associated Types type Transformer f MaybeT m :: Constraint # Methods distribute :: Transformer f MaybeT m => MaybeT (f m) a -> f (MaybeT m) a #
Distributive Tree #
Instance details Defined in Hedgehog.Internal.Tree Associated Types type Transformer f Tree m :: Constraint # Methods distribute :: Transformer f Tree m => Tree (f m) a -> f (Tree m) a #
Distributive GenT #
Instance details Defined in Hedgehog.Internal.Gen Associated Types type Transformer f GenT m :: Constraint # Methods distribute :: Transformer f GenT m => GenT (f m) a -> f (GenT m) a #
Distributive TestT #
Instance details Defined in Hedgehog.Internal.Property Associated Types type Transformer f TestT m :: Constraint # Methods distribute :: Transformer f TestT m => TestT (f m) a -> f (TestT m) a #
Distributive PropertyT #
Instance details Defined in Hedgehog.Internal.Property Associated Types type Transformer f PropertyT m :: Constraint # Methods distribute :: Transformer f PropertyT m => PropertyT (f m) a -> f (PropertyT m) a #
Distributive (ExceptT x) #
Instance details Defined in Hedgehog.Internal.Distributive Associated Types type Transformer f (ExceptT x) m :: Constraint # Methods distribute :: Transformer f (ExceptT x) m => ExceptT x (f m) a -> f (ExceptT x m) a #
Monoid w => Distributive (WriterT w) #
Instance details Defined in Hedgehog.Internal.Distributive Associated Types type Transformer f (WriterT w) m :: Constraint # Methods distribute :: Transformer f (WriterT w) m => WriterT w (f m) a -> f (WriterT w m) a #
Distributive (ReaderT r) #
Instance details Defined in Hedgehog.Internal.Distributive Associated Types type Transformer f (ReaderT r) m :: Constraint # Methods distribute :: Transformer f (ReaderT r) m => ReaderT r (f m) a -> f (ReaderT r m) a #