Hoogle Search

Within LTS Haskell 24.33 (ghc-9.10.3)

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

Exact lookup

1. _singletonsRegistry :: SingletonsRegistry (todo :: [Type]) (ins :: [Type]) (out :: [Type]) -> Registry ins out

   registry	Data.Registry.Rio

   No documentation available.

2. makeSingletons :: forall (ins :: [Type]) (out :: [Type]) . MakeSingletons ls => SingletonsRegistry ls ins out -> SingletonsRegistry ('[] :: [Type]) ins out

   registry	Data.Registry.Rio

   No documentation available.

3. makeSingletonsRegistry :: forall (todo :: [Type]) (ins :: [Type]) (out :: [Type]) . Registry ins out -> SingletonsRegistry todo ins out

   registry	Data.Registry.Rio

   Prepare a Registry for making singletons on a specific list of types

4. startSingletonsRegistry :: forall (ins :: [Type]) (out :: [Type]) . Registry ins out -> SingletonsRegistry out ins out

   registry	Data.Registry.Rio

   Prepare a Registry for making singletons

5. unSingleton :: forall (l :: Symbol) a . KnownSymbol l => Rec (l .== a) -> (Label l, a)

   row-types	Data.Row.Records

   Turns a singleton record into a pair of the label and value.

6. unSingleton :: forall (l :: Symbol) a . KnownSymbol l => Var (l .== a) -> (Label l, a)

   row-types	Data.Row.Variants

   A quick destructor for singleton variants.

7. bvOrSingleton :: forall e (w :: Nat) . (OrdF e, HashableF e, HasAbsValue e) => e (BaseBVType w) -> BVOrSet e w

   what4	What4.Expr.App

   No documentation available.

8. bvOrSingleton :: forall e (w :: Nat) . (OrdF e, HashableF e, HasAbsValue e) => e (BaseBVType w) -> BVOrSet e w

   what4	What4.Expr.Builder

   No documentation available.

9. asSingleton :: forall (w :: Nat) . BVDomain w -> Maybe Integer

   what4	What4.Utils.BVDomain

   Return value if this is a singleton.

10. asSingleton :: forall (w :: Nat) . Domain w -> Maybe Integer

    what4	What4.Utils.BVDomain.Arith

    Return value if this is a singleton.

Page 67 of many | Previous | Next