| Copyright | (c) 2010-2011 Patrick Bahr Tom Hvitved (c) 2023 Yamada Ryo |
|---|---|
| License | MPL-2.0 (see the file LICENSE) |
| Maintainer | [email protected] |
| Stability | experimental |
| Portability | portable |
| Safe Haskell | Safe-Inferred |
| Language | GHC2021 |
Data.Effect.HFunctor.TH.Internal
Contents
Description
Synopsis
- deriveHFunctor :: (Infinite (Q Type) -> Q Type) -> DataInfo -> Q [Dec]
- wrapLam :: (Exp -> Q Exp) -> Q Exp
- mapTupleE :: (Type -> Exp -> Q Exp) -> Type -> Exp -> Maybe (Q Exp)
- decomposeTupleT :: Type -> Maybe [Type]
- newNames :: Int -> String -> Q [Name]
- iter :: (Eq t, Num t, Quote m) => t -> m Exp -> m Exp -> m Exp
Documentation
deriveHFunctor :: (Infinite (Q Type) -> Q Type) -> DataInfo -> Q [Dec] Source #
Derive an instance of HFunctor for a type constructor of any higher-order
kind taking at least two arguments.