| Safe Haskell | Safe-Inferred |
|---|---|
| Language | GHC2021 |
Rerefined.Refine
Synopsis
- refine :: forall p a. Refine p a => a -> Either (RefineFailure String) (Refined p a)
- refine1 :: forall p f a. Refine1 p f => f a -> Either (RefineFailure String) (Refined1 p f a)
- prettyRefineFailure :: (Semigroup a, IsString a) => RefineFailure a -> a
Documentation
refine :: forall p a. Refine p a => a -> Either (RefineFailure String) (Refined p a) Source #
Refine a with predicate p.
refine1 :: forall p f a. Refine1 p f => f a -> Either (RefineFailure String) (Refined1 p f a) Source #
Refine f a with functor predicate p.
prettyRefineFailure :: (Semigroup a, IsString a) => RefineFailure a -> a Source #