Hoogle Search
Within LTS Haskell 24.34 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
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.
constructDeviceProductId :: (IsDevice o, MonadIO m) => Text -> m (GValueConstruct o)gi-gdk4 GI.Gdk.Objects.Device Construct a GValueConstruct with valid value for the “product-id” property. This is rarely needed directly, but it is used by new.
deviceGetProductId :: (HasCallStack, MonadIO m, IsDevice a) => a -> m (Maybe Text)gi-gdk4 GI.Gdk.Objects.Device Returns the product ID of this device. This ID is retrieved from the device, and does not change. See deviceGetVendorId for more information.
getDeviceProductId :: (MonadIO m, IsDevice o) => o -> m (Maybe Text)gi-gdk4 GI.Gdk.Objects.Device Get the value of the “product-id” property. When overloading is enabled, this is equivalent to
get device #productId