Hoogle Search

Within LTS Haskell 24.26 (ghc-9.10.3)

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

Exact lookup

1. MetaCannotDependOn :: MetaId -> Term -> Nat -> TypeError

   Agda	Agda.TypeChecking.Monad.Base

   The arguments are the meta variable, the proposed solution, and the parameter that it wants to depend on.

2. SortCannotDependOnItsIndex :: QName -> Type -> TypeError

   Agda	Agda.TypeChecking.Monad.Base

   No documentation available.

3. genDoublePermutations2 :: Int -> Array Int [Int]

   aftovolio	Aftovolio.PermutationsArrMini2

   No documentation available.

4. genDoublePermutationsArr2 :: Array Int (Array Int [Int])

   aftovolio	Aftovolio.PermutationsArrMini2

   No documentation available.

5. genDoublePermutationsArrL2 :: Array Int [Array Int Int]

   aftovolio	Aftovolio.PermutationsArrMini2

   No documentation available.

6. genDoublePermutationsArrLN2 :: Int -> Array Int [Array Int Int]

   aftovolio	Aftovolio.PermutationsArrMini2

   No documentation available.

7. genDoublePermutationsArrN2 :: Int -> Array Int (Array Int [Int])

   aftovolio	Aftovolio.PermutationsArrMini2

   No documentation available.

8. genDoublePermutationsL2 :: [Array Int Int]

   aftovolio	Aftovolio.PermutationsArrMini2

   No documentation available.

9. genDoublePermutationsLN2 :: Int -> [Array Int Int]

   aftovolio	Aftovolio.PermutationsArrMini2

   No documentation available.

10. isEndOfLine :: Char -> Bool

    binary-parsers	Data.Binary.Parser.Char8

    A predicate that matches either a carriage return '\r' or newline '\n' character.

Page 35 of many | Previous | Next