Safe Haskell | None |
---|---|
Language | Haskell2010 |
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
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 T' s a = forall f. Applicative f => Optic f s a Source #