Hoogle Search

Within LTS Haskell 24.52 (ghc-9.10.3)

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

Exact lookup

1. PrimImpl :: Type -> PrimFun -> PrimitiveImpl

   Agda	Agda.TypeChecking.Monad.Base

   No documentation available.

2. pattern Primitive :: IsAbstract -> PrimitiveId -> [Clause] -> FunctionInverse -> Maybe CompiledClauses -> IsOpaque -> Defn

   Agda	Agda.TypeChecking.Monad.Base

   No documentation available.

3. data PrimitiveData

   Agda	Agda.TypeChecking.Monad.Base

   No documentation available.

4. PrimitiveData :: IsAbstract -> PrimitiveId -> [Clause] -> FunctionInverse -> Maybe CompiledClauses -> IsOpaque -> PrimitiveData

   Agda	Agda.TypeChecking.Monad.Base

   No documentation available.

5. PrimitiveDefn :: PrimitiveData -> Defn

   Agda	Agda.TypeChecking.Monad.Base

   Primitive or builtin functions.

6. data PrimitiveImpl

   Agda	Agda.TypeChecking.Monad.Base

   Primitives

7. pattern PrimitiveSort :: BuiltinSort -> Sort -> Defn

   Agda	Agda.TypeChecking.Monad.Base

   No documentation available.

8. data PrimitiveSortData

   Agda	Agda.TypeChecking.Monad.Base

   No documentation available.

9. PrimitiveSortData :: BuiltinSort -> Sort -> PrimitiveSortData

   Agda	Agda.TypeChecking.Monad.Base

   No documentation available.

10. PrimitiveSortDefn :: PrimitiveSortData -> Defn

    Agda	Agda.TypeChecking.Monad.Base

    No documentation available.

Page 1142 of many | Previous | Next