distributed-closure-0.3.5: Serializable closures for distributed programming.

Data.Profunctor.Strong.Static

class StaticProfunctor p => StaticStrong p where Source #

Minimal complete definition

staticFirst', staticSecond'

Methods

staticFirst' :: (Typeable a, Typeable b, Typeable c) => p a b -> p (a, c) (b, c) Source #

staticSecond' :: (Typeable a, Typeable b, Typeable c) => p a b -> p (c, a) (c, b) Source #

Instances

staticFirst' :: (Typeable * a, Typeable * b, Typeable * c) => WrappedArrowClosure a b -> WrappedArrowClosure (a, c) (b, c) Source #

staticSecond' :: (Typeable * a, Typeable * b, Typeable * c) => WrappedArrowClosure a b -> WrappedArrowClosure (c, a) (c, b) Source #