distributed-closure-0.4.0: Serializable closures for distributed programming.
Data.Profunctor.Choice.Static
class StaticProfunctor p => StaticChoice p where Source #
Minimal complete definition
staticLeft', staticRight'
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
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 #