Hoogle Search

Within LTS Haskell 24.53 (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) => Type -> m (Maybe Term)

   Agda	Agda.TypeChecking.Records

   Check whether a type has a unique inhabitant and return it. Can be blocked by a metavar.

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

   Agda	Agda.TypeChecking.Records

   No documentation available.

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

4. toSingleton :: BoolSet -> Maybe Bool

   Agda	Agda.Utils.BoolSet

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

5. groupNamesSingleton :: [GroupName CaveKind]

   Allure	Content.CaveKind

   No documentation available.

6. groupNamesSingleton :: [GroupName FactionKind]

   Allure	Content.FactionKind

   No documentation available.

7. groupNamesSingleton :: [GroupName ItemKind]

   Allure	Content.ItemKind

   No documentation available.

8. actorsGNSingleton :: [GroupName ItemKind]

   Allure	Content.ItemKindActor

   No documentation available.

9. blastsGNSingleton :: [GroupName ItemKind]

   Allure	Content.ItemKindBlast

   No documentation available.

10. embedsGNSingleton :: [GroupName ItemKind]

    Allure	Content.ItemKindEmbed

    No documentation available.

Page 69 of many | Previous | Next