Hoogle Search

Within LTS Haskell 24.46 (ghc-9.10.3)

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

Exact lookup

1. isSingletonTypeModuloRelevance :: (PureTCM m, MonadBlock m) => Type -> m Bool

   Agda	Agda.TypeChecking.Records

   Check whether a type has a unique inhabitant (irrelevant parts ignored). Can be blocked by a metavar.

2. toSingleton :: BoolSet -> Maybe Bool

   Agda	Agda.Utils.BoolSet

   toSingleton s == Just b iff s == singleton b.

3. groupNamesSingleton :: [GroupName CaveKind]

   Allure	Content.CaveKind

   No documentation available.

4. groupNamesSingleton :: [GroupName FactionKind]

   Allure	Content.FactionKind

   No documentation available.

5. groupNamesSingleton :: [GroupName ItemKind]

   Allure	Content.ItemKind

   No documentation available.

6. actorsGNSingleton :: [GroupName ItemKind]

   Allure	Content.ItemKindActor

   No documentation available.

7. blastsGNSingleton :: [GroupName ItemKind]

   Allure	Content.ItemKindBlast

   No documentation available.

8. embedsGNSingleton :: [GroupName ItemKind]

   Allure	Content.ItemKindEmbed

   No documentation available.

9. organsGNSingleton :: [GroupName ItemKind]

   Allure	Content.ItemKindOrgan

   No documentation available.

10. temporariesGNSingleton :: [GroupName ItemKind]

    Allure	Content.ItemKindTemporary

    No documentation available.

Page 69 of many | Previous | Next