contracheck-applicative-0.2.0: Validation types/typeclass based on the contravariance.
Safe HaskellNone
LanguageHaskell2010

Control.Validation.Internal.SOP

Description

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

Synopsis

Documentation

errMsgPOP :: forall e a e'. HasDatatypeInfo a => Proxy a -> (DatatypeName -> ConstructorName -> FieldName -> e -> e') -> POP (K (e -> e')) (Code a) Source #

Helper functions to supply the datatype-info

errMsgPOP' :: forall e a e'. SListI2 (Code a) => (ConstructorName -> FieldName -> e -> e') -> NP ConstructorInfo (Code a) -> POP (K (e -> e')) (Code a) Source #

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 #

sopLensTo :: (Functor f, Generic a) => Optic f a (Rep 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 #