Documentation

checkWriter :: forall m a b w. (MonadWriter w m, CoArbitrary Gen b, CoArbitrary Gen w, Constructible a, Constructible w, Constructible (m a), Constructible (m b), Constructible (m (a, w -> w)), TestEq (m ()), TestEq (m (a, w)), TestEq (m w), TestEq (m ((a, w), w))) => [(String, Property)] Source #

checkWriter_ :: [(String, Property)] Source #

checkWriter' :: [(String, Property)] Source #