Rerefined.Refine

Refined

data Refined p a

a refined with predicate p.

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

refine :: forall p a. Refine p a => a -> Either (RefineFailure String) (Refined p a)

Refine a with predicate p.

unrefine :: Refined p a -> a

Strip the refinement from a Refined.

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

Refined1

data Refined1 p f a

f a refined with predicate p.

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

refine1 :: forall p f a. Refine1 p f => f a -> Either (RefineFailure String) (Refined1 p f a)

Refine f a with functor predicate p.

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.

Errors

data RefineFailure a

Predicate validation failure.

Polymorphic over the message type because I want to use Text, but want it doesn't have the convenient Show internals that String does.

Instances

Show a => Show (RefineFailure a)

Defined in Rerefined.Predicate

Methods

showsPrec :: Int -> RefineFailure a -> ShowS

show :: RefineFailure a -> String

showList :: [RefineFailure a] -> ShowS

prettyRefineFailure :: (Semigroup a, IsString a) => RefineFailure a -> a