Hoogle Search

Within LTS Haskell 24.35 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

Exact lookup

1. eraseTypes :: forall (ins :: [Type]) (out :: [Type]) . Registry ins out -> Registry '[ERASED_TYPES] '[ERASED_TYPES]

   registry	Data.Registry.Registry

   Remove the parameters list of the registry and replace it with an empty type This makes it easier to read compilation errors where less types are being displayed On the other hand the resulting registry cannot be type-checked anymore when trying to get values out of it

2. class AreSubset (ins :: [Type]) (out :: [Type]) (targets :: [Type])

   registry	Data.Registry.Solver

   Compute if each element of a list of types is contained in another list when trying to append 2 registries together where target is the list of inputs of the first registry

3. class IsSameSet (types1 :: [Type]) (types2 :: [Type])

   registry	Data.Registry.Solver

   Compute if each element of a list of types is the same as another in a different order

4. class IsSubset (ins :: [Type]) (out :: [Type]) target

   registry	Data.Registry.Solver

   Compute if each element of a list of types is contained in another list when trying to add the function target

5. type family Subset (r1 :: Row k) (r2 :: Row k)

   row-types	Data.Row

   Is the first row a subset of the second? Or, does the second row contain every binding that the first one does?

6. type family Subset (r1 :: Row k) (r2 :: Row k)

   row-types	Data.Row.Internal

   Is the first row a subset of the second? Or, does the second row contain every binding that the first one does?

7. type family Subset (r1 :: Row k) (r2 :: Row k)

   row-types	Data.Row.Records

   Is the first row a subset of the second? Or, does the second row contain every binding that the first one does?

8. eraseToHashMap :: forall c (r :: Row Type) s b . (IsString s, Eq s, Hashable s, Forall r c) => (forall a . c a => a -> b) -> Rec r -> HashMap s b

   row-types	Data.Row.Records

   Turns a record into a HashMap from values representing the labels to the values of the record.

9. type family Subset (r1 :: Row k) (r2 :: Row k)

   row-types	Data.Row.Variants

   Is the first row a subset of the second? Or, does the second row contain every binding that the first one does?

10. ComplementSet :: Set a -> RCSet a

    sbv	Data.SBV

    No documentation available.

Page 159 of many | Previous | Next