Colog.Contra

Contents

Description

This module contains LogAction orphan instances of contravariant classes.

Orphan instances

Applicative m => Decidable (LogAction m) Source #
Instance details 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) Source #
Instance details Methods divide :: (a -> (b, c)) -> LogAction m b -> LogAction m c -> LogAction m a # conquer :: LogAction m a #