Hoogle Search

Within LTS Haskell 24.60 (ghc-9.10.3)

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

Exact lookup

1. WitSubset :: (forall (a :: k) . () => Elem f as a -> Decision (p @@ a)) -> WitSubset (f :: Type -> Type) (p :: k ~> Type) (as :: f k)

   decidable	Data.Type.Universe.Subset

   No documentation available.

2. imergeSubset :: forall (f :: Type -> Type) k (p :: k ~> Type) (q :: k ~> Type) (r :: k ~> Type) (as :: f k) . (forall (a :: k) . () => Elem f as a -> Decision (p @@ a) -> Decision (q @@ a) -> Decision (r @@ a)) -> (Subset f p @@ as) -> (Subset f q @@ as) -> Subset f r @@ as

   decidable	Data.Type.Universe.Subset

   Combine two subsets based on a decision function

3. makeSubset :: forall (f :: Type -> Type) k (p :: k ~> Type) (as :: f k) . Universe f => (forall (a :: k) . () => Elem f as a -> Sing a -> Decision (p @@ a)) -> Sing as -> Subset f p @@ as

   decidable	Data.Type.Universe.Subset

   Create a Subset from a predicate.

4. mergeSubset :: forall (f :: Type -> Type) k (p :: k ~> Type) (q :: k ~> Type) (r :: k ~> Type) (as :: f k) . (forall (a :: k) . () => Decision (p @@ a) -> Decision (q @@ a) -> Decision (r @@ a)) -> (Subset f p @@ as) -> (Subset f q @@ as) -> Subset f r @@ as

   decidable	Data.Type.Universe.Subset

   Combine two subsets based on a decision function

5. runWitSubset :: WitSubset (f :: Type -> Type) (p :: k ~> Type) (as :: f k) -> forall (a :: k) . () => Elem f as a -> Decision (p @@ a)

   decidable	Data.Type.Universe.Subset

   No documentation available.

6. data DeltaSet a

   delta-types	Data.Delta.Set

   Delta type for a Set where collections of elements are inserted or deleted.

7. data DeltaSet1 a

   delta-types	Data.Delta.Set

   Delta type for Set where a single element is deleted or added.

8. deltaSetFromList :: Ord a => [DeltaSet1 a] -> DeltaSet a

   delta-types	Data.Delta.Set

   Collect insertions or deletions of elements into a DeltaSet. To save space, combinations of Insert and Delete for the same element are simplified when possible. These simplifications always preserve the property

   apply (deltaSetFromList ds) = apply ds
   

9. diffSet :: Ord a => Set a -> Set a -> DeltaSet a

   delta-types	Data.Delta.Set

   The smallest delta that changes the second argument to the first argument.

   new = apply (diffSet new old) old
   

   diffSet (Set.fromList "ac") (Set.fromList "ab") = deltaSetFromList [Insert 'c', Delete 'b']
   

10. listFromDeltaSet :: DeltaSet a -> [DeltaSet1 a]

    delta-types	Data.Delta.Set

    Flatten a DeltaSet to a list of DeltaSet1. In the result list, the set of a appearing as Insert a is disjoint from the set of a appearing as Delete a.

Page 185 of many | Previous | Next