Rerefined.Refined

Documentation

newtype Refined p a

a refined with predicate p.

Constructors

Refined a

Instances

Lift a => Lift (Refined p a :: Type)

Defined in Rerefined.Refined

Methods

lift :: Quote m => Refined p a -> m Exp

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

Show a => Show (Refined p a)

Defined in Rerefined.Refined

Methods

showsPrec :: Int -> Refined p a -> ShowS

show :: Refined p a -> String

showList :: [Refined p a] -> ShowS

unrefine :: Refined p a -> a

Strip the refinement from a Refined.

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