Hoogle Search
Within LTS Haskell 24.32 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
tupleToProduct :: Name -> Int -> Expth-lego THLego.Lambdas No documentation available.
module ELynx.Tools.
Reproduction Creation date: Tue Nov 19 15:07:09 2019. Use of standard input is not supported.
-
elynx-tools ELynx.Tools.Reproduction Necessary information for a reproducible run. Notably, the input files are checked for consistency!
-
elynx-tools ELynx.Tools.Reproduction No documentation available.
getReproductionHash :: Reproducible a => Reproduction a -> Stringelynx-tools ELynx.Tools.Reproduction A unique hash of the reproduction data type.
writeReproduction :: (Eq a, Show a, Reproducible a, ToJSON a) => String -> a -> IO ()elynx-tools ELynx.Tools.Reproduction Write an ELynx reproduction file.
splitDataProductType_maybe :: Type -> Maybe (TyCon, [Type], DataCon, [Scaled Type])ghc-lib-parser GHC.Core.DataCon Extract the type constructor, type argument, data constructor and it's representation argument types from a type if it is a product type. Precisely, we return Just for any data type that is all of:
- Concrete (i.e. constructors visible)
- Single-constructor
- ... which has no existentials
-
ghc-lib-parser GHC.Tc.Errors.Types We couldn't derive an instance either because the type was not an enum type or because it did have more than one constructor.
defineProductConstructor :: Name -> Q [Dec]product-isomorphic Data.Functor.ProductIsomorphic.TH Make template of ProductConstructor instance from type constructor name.
defineTupleProductConstructor :: Int -> Q [Dec]product-isomorphic Data.Functor.ProductIsomorphic.TH Make template of ProductConstructor instance of tuple type.