Safe Haskell	None
Language	Haskell2010

Control.Validation.Internal.SOP

Description

This is an internal module and subject to change. Should not be used in production

Synopsis

errMsgPOP :: forall e a e'. HasDatatypeInfo a => Proxy a -> (DatatypeName -> ConstructorName -> FieldName -> e -> e') -> POP (K (e -> e')) (Code a)
errMsgPOP' :: forall e a e'. SListI2 (Code a) => (ConstructorName -> FieldName -> e -> e') -> NP ConstructorInfo (Code a) -> POP (K (e -> e')) (Code a)
errMsgNP :: forall e xs e'. SListI xs => (ConstructorName -> FieldName -> e -> e') -> ConstructorInfo xs -> NP (K (e -> e')) xs
type Optic f s a = (a -> f a) -> s -> f s
type T' s a = forall f. Applicative f => Optic f s a
sopLensTo :: (Functor f, Generic a) => Optic f a (Rep a)
tZ :: T' (NS g (x ': xs)) (g x)
tS :: T' (NS g (x ': xs)) (NS g xs)
tI :: T' (I a) a
tH :: T' (NP g (x ': xs)) (g x)
tT :: T' (NP g (x ': xs)) (NP g xs)

Documentation

Helper functions to supply the datatype-info

errMsgNP :: forall e xs e'. SListI xs => (ConstructorName -> FieldName -> e -> e') -> ConstructorInfo xs -> NP (K (e -> e')) xs Source #

type Optic f s a = (a -> f a) -> s -> f s Source #

type T' s a = forall f. Applicative f => Optic f s a Source #

tZ :: T' (NS g (x ': xs)) (g x) Source #

tS :: T' (NS g (x ': xs)) (NS g xs) Source #

tI :: T' (I a) a Source #

tH :: T' (NP g (x ': xs)) (g x) Source #

tT :: T' (NP g (x ': xs)) (NP g xs) Source #