| Copyright | (c) Sirui Lu 2024 |
|---|---|
| License | BSD-3-Clause (see the LICENSE file) |
| Maintainer | siruilu@cs.washington.edu |
| Stability | Experimental |
| Portability | GHC only |
| Safe Haskell | None |
| Language | Haskell2010 |
Grisette.Internal.TH.Derivation.UnifiedOpCommon
Description
Synopsis
- newtype UnaryOpUnifiedConfig = UnaryOpUnifiedConfig {}
- defaultUnaryOpUnifiedFun :: [Name] -> Type -> (Type, Kind) -> Q (Maybe Exp)
Documentation
newtype UnaryOpUnifiedConfig Source #
Configuration for the derivation rules for a unified operation.
Constructors
| UnaryOpUnifiedConfig | |
Instances
| UnaryOpFunConfig UnaryOpUnifiedConfig Source # | |
Defined in Grisette.Internal.TH.Derivation.UnifiedOpCommon Methods genUnaryOpFun :: DeriveConfig -> UnaryOpUnifiedConfig -> [Name] -> Int -> [(Type, Kind)] -> [(Type, Kind)] -> [(Type, Kind)] -> (Name -> Bool) -> [ConstructorInfo] -> Q Dec Source # | |