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.
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
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
class
IsSubset (ins :: [Type]) (out :: [Type]) targetregistry Data.Registry.Solver Compute if each element of a list of types is contained in another list when trying to add the function target
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?
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?
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?
-
row-types Data.Row.Records Turns a record into a HashMap from values representing the labels to the values of the record.
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?
ComplementSet :: Set a -> RCSet asbv Data.SBV No documentation available.
type
ConstraintSet = Symbolic ()sbv Data.SBV A constraint set is a symbolic program that returns no values. The idea is that the constraints/min-max goals will serve as the collection of constraints that will be used for sat/optimize calls.