Hoogle Search

Within LTS Haskell 24.32 (ghc-9.10.3)

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

Exact lookup

1. __DUMMY_SORT__ :: HasCallStack => Sort

   Agda	Agda.Syntax.Internal

   No documentation available.

2. _eqtSort :: EqualityTypeData -> Sort

   Agda	Agda.Syntax.Internal

   Sort of this type.

3. _getSort :: Type'' t a -> Sort' t

   Agda	Agda.Syntax.Internal

   No documentation available.

4. dummySort :: CallStack -> Sort

   Agda	Agda.Syntax.Internal

   A dummy sort created at location. Note: use macro DUMMY_SORT !

5. eqtSort :: EqualityView -> Sort

   Agda	Agda.Syntax.Internal

   No documentation available.

6. getSort :: LensSort a => a -> Sort

   Agda	Agda.Syntax.Internal

   No documentation available.

7. isSort :: Term -> Maybe Sort

   Agda	Agda.Syntax.Internal

   No documentation available.

8. isStrictDataSort :: Sort' t -> Bool

   Agda	Agda.Syntax.Internal

   Is this a strict universe inhabitable by data types?

9. lensSort :: LensSort a => Lens' a Sort

   Agda	Agda.Syntax.Internal

   No documentation available.

10. pathSort :: PathView -> Sort

    Agda	Agda.Syntax.Internal

    Sort of this type.

Page 168 of many | Previous | Next