| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Data.Profunctor.Choice.Static
Documentation
class StaticProfunctor p => StaticChoice p where #
Minimal complete definition
Methods
staticLeft' :: (Typeable a, Typeable b, Typeable c) => p a b -> p (Either a c) (Either b c) #
staticRight' :: (Typeable a, Typeable b, Typeable c) => p a b -> p (Either c a) (Either c b) #
Instances