Hoogle Search
Within LTS Haskell 24.63 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
-
genvalidity Data.GenValidity Shrink a term to any of its immediate valid subterms, and also recursively shrink all subterms, and then filtering out the results that are not valid.
shrinkValidStructurally = filter isValid . shrinkValidStructurallyWithoutExtraFiltering
This is probably the function that you are looking for. -
genvalidity Data.GenValidity Shrink a term to any of its immediate valid subterms, and also recursively shrink all subterms. This shrinking function is _not_ guaranteed to shrink to valid values. This is probably _not_ the function that you are looking for when overriding shrinkValid _unless_ the type in question has no _extra_ validity constraints on top of the validity of its sub parts.
structurallyValidSubterms :: (Generic a, GValidSubterms (Rep a) a) => a -> [a]genvalidity Data.GenValidity All immediate validSubterms of a term.
cc_ann_id :: ConfiguredComponent -> AnnotatedId ComponentIdCabal Distribution.Backpack.ConfiguredComponent Unique identifier of component, plus extra useful info.
cc_cid :: ConfiguredComponent -> ComponentIdCabal Distribution.Backpack.ConfiguredComponent Uniquely identifies a configured component.
cc_pkgid :: ConfiguredComponent -> PackageIdCabal Distribution.Backpack.ConfiguredComponent The package this component came from.
module Distribution.Backpack.
DescribeUnitId No documentation available.
module Distribution.Backpack.
FullUnitId No documentation available.
-
Cabal Distribution.Backpack.FullUnitId No documentation available.
FullUnitId :: ComponentId -> OpenModuleSubst -> FullUnitIdCabal Distribution.Backpack.FullUnitId No documentation available.