Colog.Contra

This module contains LogAction instances of contravariant classes.

Orphan instances

Contravariant (LogAction m)

Methods

contramap :: (a -> b) -> LogAction m b -> LogAction m a

(>$) :: b -> LogAction m b -> LogAction m a

Applicative m => Decidable (LogAction m)

Methods

lose :: (a -> Void) -> LogAction m a

choose :: (a -> Either b c) -> LogAction m b -> LogAction m c -> LogAction m a

Applicative m => Divisible (LogAction m)

Methods

divide :: (a -> (b, c)) -> LogAction m b -> LogAction m c -> LogAction m a

conquer :: LogAction m a