| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Data.Profunctor.Choice.Static
Documentation
class StaticProfunctor p => StaticChoice (p :: Type -> Type -> Type) where Source #
Methods
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 Methods 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 # | |