Rerefined.Refined1

Documentation

newtype Refined1 p f a

f a refined with predicate p.

Constructors

Refined1 (f a)

Instances

Lift (f a) => Lift (Refined1 p f a :: Type)

Defined in Rerefined.Refined1

Methods

lift :: Quote m => Refined1 p f a -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => Refined1 p f a -> Code m (Refined1 p f a)

Show (f a) => Show (Refined1 p f a)

Defined in Rerefined.Refined1

Methods

showsPrec :: Int -> Refined1 p f a -> ShowS

show :: Refined1 p f a -> String

showList :: [Refined1 p f a] -> ShowS

unrefine1 :: Refined1 p f a -> f a

Strip the refinement from a Refined1.

This is kept as a separate function for prettier Show Refined1 output.