Rerefined.Refined1

Refined1 definition.

Not intended for external use. For unsafe refines, use Unsafe.

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)

Functor f => Functor (Refined1 p f)

Defined in Rerefined.Refined1

Methods

fmap :: (a -> b) -> Refined1 p f a -> Refined1 p f b

(<$) :: a -> Refined1 p f b -> 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.