rerefined-0.6.0: Refinement types, again
Safe HaskellNone
LanguageGHC2021

Rerefined.Predicate.Succeed

Synopsis

Documentation

data Succeed Source #

The unit predicate. Always succeeds.

Instances

Instances details
Predicate Succeed Source # 
Instance details

Defined in Rerefined.Predicate.Succeed

Associated Types

type PredicateName d Succeed 
Instance details

Defined in Rerefined.Predicate.Succeed

type PredicateName d Succeed = "\8868"
Refine Succeed a Source # 
Instance details

Defined in Rerefined.Predicate.Succeed

Methods

validate :: Proxy# Succeed -> a -> Maybe RefineFailure Source #

type PredicateName d Succeed Source # 
Instance details

Defined in Rerefined.Predicate.Succeed

type PredicateName d Succeed = "\8868"