Data.Profunctor.Strong.Static

Documentation

class StaticProfunctor p => StaticStrong p where

Minimal complete definition

staticFirst', staticSecond'

Methods

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

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

Instances

StaticStrong WrappedArrowClosure

Methods

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

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