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. class LensSort a

   Agda	Agda.Syntax.Internal

   No documentation available.

2. PiSort :: Dom' t t -> Sort' t -> Abs (Sort' t) -> Sort' t

   Agda	Agda.Syntax.Internal

   Sort of the pi type.

3. UnivSort :: Sort' t -> Sort' t

   Agda	Agda.Syntax.Internal

   Sort of another sort.

4. __DUMMY_SORT__ :: HasCallStack => Sort

   Agda	Agda.Syntax.Internal

   No documentation available.

5. _eqtSort :: EqualityTypeData -> Sort

   Agda	Agda.Syntax.Internal

   Sort of this type.

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

   Agda	Agda.Syntax.Internal

   No documentation available.

7. dummySort :: CallStack -> Sort

   Agda	Agda.Syntax.Internal

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

8. eqtSort :: EqualityView -> Sort

   Agda	Agda.Syntax.Internal

   No documentation available.

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

   Agda	Agda.Syntax.Internal

   No documentation available.

10. isSort :: Term -> Maybe Sort

    Agda	Agda.Syntax.Internal

    No documentation available.

Page 168 of many | Previous | Next