Colog.Contra

This module contains LogAction orphan instances of contravariant classes.

Orphan instances

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