Hedgehog.Internal.Distributive

Documentation

class Distributive g where

Minimal complete definition

distribute

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

Associated Types

type Transformer (f :: (* -> *) -> * -> *) (MaybeT :: (* -> *) -> * -> *) (m :: * -> *) :: Constraint

Methods

distribute :: Transformer f MaybeT m => MaybeT (f m) a -> f (MaybeT m) a

Distributive Tree

Associated Types

type Transformer (f :: (* -> *) -> * -> *) (Tree :: (* -> *) -> * -> *) (m :: * -> *) :: Constraint

Methods

distribute :: Transformer f Tree m => Tree (f m) a -> f (Tree m) a

Distributive Gen

Associated Types

type Transformer (f :: (* -> *) -> * -> *) (Gen :: (* -> *) -> * -> *) (m :: * -> *) :: Constraint

Methods

distribute :: Transformer f Gen m => Gen (f m) a -> f (Gen m) a

Distributive Test

Associated Types

type Transformer (f :: (* -> *) -> * -> *) (Test :: (* -> *) -> * -> *) (m :: * -> *) :: Constraint

Methods

distribute :: Transformer f Test m => Test (f m) a -> f (Test m) a

Monoid w => Distributive (WriterT w)

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 (ExceptT x)

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

Distributive (ReaderT * r)

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