Hoogle Search

Within LTS Haskell 24.66 (ghc-9.10.3)

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

Exact lookup

1. isSingletonType' :: (PureTCM m, MonadBlock m) => Bool -> Type -> Set QName -> m (Maybe Term)

   Agda	Agda.TypeChecking.Records

   No documentation available.

2. 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.

3. toSingleton :: BoolSet -> Maybe Bool

   Agda	Agda.Utils.BoolSet

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

4. groupNamesSingleton :: [GroupName CaveKind]

   Allure	Content.CaveKind

   No documentation available.

5. groupNamesSingleton :: [GroupName FactionKind]

   Allure	Content.FactionKind

   No documentation available.

6. groupNamesSingleton :: [GroupName ItemKind]

   Allure	Content.ItemKind

   No documentation available.

7. actorsGNSingleton :: [GroupName ItemKind]

   Allure	Content.ItemKindActor

   No documentation available.

8. blastsGNSingleton :: [GroupName ItemKind]

   Allure	Content.ItemKindBlast

   No documentation available.

9. embedsGNSingleton :: [GroupName ItemKind]

   Allure	Content.ItemKindEmbed

   No documentation available.

10. organsGNSingleton :: [GroupName ItemKind]

    Allure	Content.ItemKindOrgan

    No documentation available.

Page 69 of many | Previous | Next