Control.Monad.Disj

MonadDisj class

class MonadDisj m

contradictory

contradictoryIf

contradiction

contradictionIf

disjunctions

disjunctionOfList

The DisjT monad transformer

data DisjT m a

disjT

runDisjT

Convencience exports