| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Data.Profunctor.Strong.Static
Documentation
class StaticProfunctor p => StaticStrong p where Source #
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
| StaticStrong WrappedArrowClosure Source # | |
Defined in Data.Profunctor.Strong.Static Methods 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 # | |