Rerefined.Predicate.Succeed
data Succeed Source #
The unit predicate. Always succeeds.
Defined in Rerefined.Predicate.Succeed
Methods
predicateName :: Proxy# Succeed -> Int -> ShowS Source #
validate :: Proxy# Succeed -> a -> Maybe (RefineFailure String) Source #