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.

  1. shrinkValidStructurally :: (Validity a, Generic a, GValidRecursivelyShrink (Rep a), GValidSubterms (Rep a) a) => a -> [a]

    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.

  2. shrinkValidStructurallyWithoutExtraFiltering :: (Generic a, GValidRecursivelyShrink (Rep a), GValidSubterms (Rep a) a) => a -> [a]

    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.

  3. structurallyValidSubterms :: (Generic a, GValidSubterms (Rep a) a) => a -> [a]

    genvalidity Data.GenValidity

    All immediate validSubterms of a term.

  4. cc_ann_id :: ConfiguredComponent -> AnnotatedId ComponentId

    Cabal Distribution.Backpack.ConfiguredComponent

    Unique identifier of component, plus extra useful info.

  5. cc_cid :: ConfiguredComponent -> ComponentId

    Cabal Distribution.Backpack.ConfiguredComponent

    Uniquely identifies a configured component.

  6. cc_pkgid :: ConfiguredComponent -> PackageId

    Cabal Distribution.Backpack.ConfiguredComponent

    The package this component came from.

  7. module Distribution.Backpack.DescribeUnitId

    No documentation available.

  8. module Distribution.Backpack.FullUnitId

    No documentation available.

  9. data FullUnitId

    Cabal Distribution.Backpack.FullUnitId

    No documentation available.

  10. FullUnitId :: ComponentId -> OpenModuleSubst -> FullUnitId

    Cabal Distribution.Backpack.FullUnitId

    No documentation available.

Page 427 of many | Previous | Next