module Rerefined.Predicate.Fail where

import Rerefined.Predicate.Common

-- | Always fails.
data Fail deriving Proxy# Fail -> Int -> ShowS
(Proxy# Fail -> Int -> ShowS) -> Predicate Fail
forall {k} (p :: k). (Proxy# p -> Int -> ShowS) -> Predicate p
$cpredicateName :: Proxy# Fail -> Int -> ShowS
predicateName :: Proxy# Fail -> Int -> ShowS
Predicate via Typeably Fail

instance Refine Fail a where
    validate :: Proxy# Fail -> a -> Maybe (RefineFailure String)
validate Proxy# Fail
p a
_ = Proxy# Fail
-> String -> [RefineFailure String] -> Maybe (RefineFailure String)
forall {k} (p :: k).
Predicate p =>
Proxy# p
-> String -> [RefineFailure String] -> Maybe (RefineFailure String)
validateFail Proxy# Fail
p String
"fail" []