mgeneric-0.0.0.0: Generics with multiple parameters

Safe HaskellNone
LanguageHaskell2010

Data.MGeneric.TH

Documentation

viewData :: Dec -> Maybe (Cxt, Name, [TyVarBndr], [Con], [Name]) Source

viewCon :: Con -> (Name, [Type]) Source

index :: Eq a => [a] -> a -> Maybe Int Source

nthNat :: Int -> TypeQ Source

viewAppType :: Type -> (Type, [Type]) Source

typeEncoding :: [Name] -> Type -> Name Source

encodeField :: [Name] -> Type -> TypeQ Source

foldBinary :: (a -> a -> a) -> a -> [a] -> a Source

deriveMGeneric :: Name -> Q [Dec] Source