Data.Profunctor.Choice.Static

Documentation

class StaticProfunctor p => StaticChoice p where

Minimal complete definition

staticLeft', staticRight'

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

StaticChoice WrappedArrowClosure

Methods

staticLeft' :: (Typeable * a, Typeable * b, Typeable * c) => WrappedArrowClosure a b -> WrappedArrowClosure (Either a c) (Either b c)

staticRight' :: (Typeable * a, Typeable * b, Typeable * c) => WrappedArrowClosure a b -> WrappedArrowClosure (Either c a) (Either c b)