Safe Haskell	None
Language	Haskell2010

Data.Profunctor.Static

Synopsis

class Typeable p => StaticProfunctor p where
- staticDimap :: (Typeable a, Typeable b, Typeable c, Typeable d) => Closure (a -> b) -> Closure (c -> d) -> p b c -> p a d
- staticLmap :: (Typeable a, Typeable b, Typeable c) => Closure (a -> b) -> p b c -> p a c
- staticRmap :: (Typeable a, Typeable c, Typeable d) => Closure (c -> d) -> p a c -> p a d

Documentation

class Typeable p => StaticProfunctor p where Source #

Instances of StaticProfunctor should satisfy the following laws:

staticDimap (static id) (static id) = static id
staticLmap (static id) = static id
staticRmap (static id) = static id
staticDimap f g = staticLmap f . staticRmap g

Minimal complete definition

staticDimap | staticLmap, staticRmap

Methods

staticDimap :: (Typeable a, Typeable b, Typeable c, Typeable d) => Closure (a -> b) -> Closure (c -> d) -> p b c -> p a d Source #

staticLmap :: (Typeable a, Typeable b, Typeable c) => Closure (a -> b) -> p b c -> p a c Source #

staticRmap :: (Typeable a, Typeable c, Typeable d) => Closure (c -> d) -> p a c -> p a d Source #

Instances

StaticProfunctor WrappedArrowClosure Source #

Instance details

Defined in Data.Profunctor.Static

Methods

staticDimap :: (Typeable a, Typeable b, Typeable c, Typeable d) => Closure (a -> b) -> Closure (c -> d) -> WrappedArrowClosure b c -> WrappedArrowClosure a d Source #

staticLmap :: (Typeable a, Typeable b, Typeable c) => Closure (a -> b) -> WrappedArrowClosure b c -> WrappedArrowClosure a c Source #

staticRmap :: (Typeable a, Typeable c, Typeable d) => Closure (c -> d) -> WrappedArrowClosure a c -> WrappedArrowClosure a d Source #