Safe Haskell	None
Language	Haskell2010

Data.Profunctor.Traced

Documentation

Constructors

Traced ((a, m) -> b)

Instances details

Profunctor (Traced m) Source #
Instance details Defined in Data.Profunctor.Traced Methods dimap :: (a -> b) -> (c -> d) -> Traced m b c -> Traced m a d # lmap :: (a -> b) -> Traced m b c -> Traced m a c # rmap :: (b -> c) -> Traced m a b -> Traced m a c # (#.) :: forall a b c q. Coercible c b => q b c -> Traced m a b -> Traced m a c # (.#) :: forall a b c q. Coercible b a => Traced m b c -> q a b -> Traced m a c #
Choice (Traced m) Source #
Instance details Defined in Data.Profunctor.Traced Methods left' :: Traced m a b -> Traced m (Either a c) (Either b c) # right' :: Traced m a b -> Traced m (Either c a) (Either c b) #
Strong (Traced m) Source #
Instance details Defined in Data.Profunctor.Traced Methods first' :: Traced m a b -> Traced m (a, c) (b, c) # second' :: Traced m a b -> Traced m (c, a) (c, b) #