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. PIrrPat :: Pat -> Pat

   Agda	Agda.Utils.Haskell.Syntax

   No documentation available.

2. PLit :: Literal -> Pat

   Agda	Agda.Utils.Haskell.Syntax

   No documentation available.

3. PVar :: Name -> Pat

   Agda	Agda.Utils.Haskell.Syntax

   No documentation available.

4. PWildCard :: Pat

   Agda	Agda.Utils.Haskell.Syntax

   No documentation available.

5. data Pat

   Agda	Agda.Utils.Haskell.Syntax

   No documentation available.

6. PatSyn :: Pat -> Pat -> Decl

   Agda	Agda.Utils.Haskell.Syntax

   No documentation available.

7. PatTypeSig :: Pat -> Type -> Pat

   Agda	Agda.Utils.Haskell.Syntax

   No documentation available.

8. type Prefix a = [a]

   Agda	Agda.Utils.List

   No documentation available.

9. module Agda.Utils.POMonoid

   Partially ordered monoids.

10. class (PartialOrd a, Semigroup a, Monoid a) => POMonoid a

    Agda	Agda.Utils.POMonoid

    Partially ordered monoid. Law: composition must be monotone.

    related x POLE x' && related y POLE y' ==>
    related (x <> y) POLE (x' <> y')
    

Page 1149 of many | Previous | Next