Safe Haskell	Safe-Inferred
Language	GHC2021

Rerefined.Predicate.Fail

Synopsis

Documentation

Always fails.

Instances details

Predicate Fail Source #
Instance details Defined in Rerefined.Predicate.Fail Associated Types type PredicateName d Fail :: Symbol Source #
Refine Fail a Source #
Instance details Defined in Rerefined.Predicate.Fail Methods validate :: Proxy# Fail -> a -> Maybe RefineFailure Source #
type PredicateName d Fail Source #
Instance details Defined in Rerefined.Predicate.Fail type PredicateName d Fail = "\8869"