Safe Haskell	None
Language	GHC2024

Debug.TraceEmbrace.Config.Validation

Documentation

type family Columnar (f :: Type -> Type) (r :: k) a where ... Source #

Equations

Columnar Identity (r :: k) a = Refined r a
Columnar Maybe (_1 :: k) a = Maybe a

mapLeft :: (a -> b) -> Either a c -> Either b c Source #

refineS :: forall {k} (p :: k) x. Predicate p x => String -> x -> Either String (Refined p x) Source #

required :: forall {k} {p :: k} {a}. Predicate p a => String -> Maybe a -> Either String (Refined p a) Source #