Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
class StaticProfunctor p => StaticChoice p where Source #
staticLeft' :: (Typeable a, Typeable b, Typeable c) => p a b -> p (Either a c) (Either b c) Source #
staticRight' :: (Typeable a, Typeable b, Typeable c) => p a b -> p (Either c a) (Either c b) Source #
Instances
StaticChoice WrappedArrowClosure Source # | |
Defined in Data.Profunctor.Choice.Static staticLeft' :: (Typeable a, Typeable b, Typeable c) => WrappedArrowClosure a b -> WrappedArrowClosure (Either a c) (Either b c) Source # staticRight' :: (Typeable a, Typeable b, Typeable c) => WrappedArrowClosure a b -> WrappedArrowClosure (Either c a) (Either c b) Source # |