Safe Haskell | Safe-Inferred |
---|---|

Language | GHC2021 |

A *referral* consists of a product and a new vendor

## Synopsis

- data Referral (up :: Type -> Type) (down :: Type -> Type) (action :: Type -> Type) product = Referral {}
- alter :: (forall x. Effect up action x -> Job up' action' x) -> Referral up down action product -> Referral up' down action' product
- alter' :: (forall x. Effect up action x -> Effect up' action' x) -> Referral up down action product -> Referral up' down action' product

# Type

data Referral (up :: Type -> Type) (down :: Type -> Type) (action :: Type -> Type) product #

The conclusion of a vendor's handling of a client request

#### Instances

Foldable (Referral up down action) | |

Defined in SupplyChain.Core.VendorAndReferral fold :: Monoid m => Referral up down action m -> m # foldMap :: Monoid m => (a -> m) -> Referral up down action a -> m # foldMap' :: Monoid m => (a -> m) -> Referral up down action a -> m # foldr :: (a -> b -> b) -> b -> Referral up down action a -> b # foldr' :: (a -> b -> b) -> b -> Referral up down action a -> b # foldl :: (b -> a -> b) -> b -> Referral up down action a -> b # foldl' :: (b -> a -> b) -> b -> Referral up down action a -> b # foldr1 :: (a -> a -> a) -> Referral up down action a -> a # foldl1 :: (a -> a -> a) -> Referral up down action a -> a # toList :: Referral up down action a -> [a] # null :: Referral up down action a -> Bool # length :: Referral up down action a -> Int # elem :: Eq a => a -> Referral up down action a -> Bool # maximum :: Ord a => Referral up down action a -> a # minimum :: Ord a => Referral up down action a -> a # | |

Traversable (Referral up down action) | |

Defined in SupplyChain.Core.VendorAndReferral traverse :: Applicative f => (a -> f b) -> Referral up down action a -> f (Referral up down action b) # sequenceA :: Applicative f => Referral up down action (f a) -> f (Referral up down action a) # mapM :: Monad m => (a -> m b) -> Referral up down action a -> m (Referral up down action b) # sequence :: Monad m => Referral up down action (m a) -> m (Referral up down action a) # | |

Functor (Referral up down action) | |