rerefined-0.7.0: Refinement types, again
Safe HaskellNone
LanguageGHC2021

Rerefined.Predicate.Fail

Synopsis

Documentation

data Fail Source #

Always fails.

Instances

Instances details
Predicate Fail Source # 
Instance details

Defined in Rerefined.Predicate.Fail

Associated Types

type PredicateName d Fail 
Instance details

Defined in Rerefined.Predicate.Fail

type PredicateName d Fail = "\8869"
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"