rerefined-0.1.0: Refinement types, again
Safe HaskellSafe-Inferred
LanguageGHC2021

Rerefined.Predicate.Fail

Synopsis

Documentation

data Fail Source #

Always fails.

Instances

Instances details
Predicate Fail Source # 
Instance details

Defined in Rerefined.Predicate.Fail

Methods

predicateName :: Proxy# Fail -> Int -> ShowS Source #

Refine Fail a Source # 
Instance details

Defined in Rerefined.Predicate.Fail

Methods

validate :: Proxy# Fail -> a -> Maybe (RefineFailure String) Source #