Conjunction monoid built with .&&..
Use `property @Every` as an accessor which doesn't leak existential variables.
Note: monoid laws are satisfied up to isSuccess unless one is using checkCoverage.
GHC 10.0.0.20260917 · lts/ghc-10.0.x · 77a8662 · 2026-10-31
Conjunction monoid built with .&&..
Use `property @Every` as an accessor which doesn't leak existential variables.
Note: monoid laws are satisfied up to isSuccess unless one is using checkCoverage.
Disjunction monoid built with .||..
Use `property @Some` as an accessor which doesn't leak existential variables.
Note: monoid laws are satisfied up to isSuccess unless one is using checkCoverage.