Hoogle Search

Within LTS Haskell 24.65 (ghc-9.10.3)

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

Exact lookup

1. identityOnArbitrary :: (Show a, Eq a, Arbitrary a) => (a -> a -> a) -> a -> Property

   genvalidity-property	Test.Validity.Operations.Identity

   identityOnArbitrary ((*) :: Int -> Int -> Int) 1
   

   identityOnArbitrary ((+) :: Int -> Int -> Int) 0
   

2. identityOnGen :: (Show a, Eq a) => (a -> a -> a) -> a -> Gen a -> (a -> [a]) -> Property

   genvalidity-property	Test.Validity.Operations.Identity

3. idempotent :: (Show a, Eq a, GenValid a) => (a -> a) -> Property

   genvalidity-property	Test.Validity.Property

   No documentation available.

4. idempotentOnArbitrary :: (Show a, Eq a, Arbitrary a) => (a -> a) -> Property

   genvalidity-property	Test.Validity.Property

   id is idempotent for any type:

   idempotentOnArbitrary (id :: Int -> Int)
   

   const, given any input, is idempotent for any type as well:

   \int -> idempotentOnArbitrary (const int :: Int -> Int)
   

5. idempotentOnGen :: (Show a, Eq a) => (a -> a) -> Gen a -> (a -> [a]) -> Property

   genvalidity-property	Test.Validity.Property

   No documentation available.

6. identity :: (Show a, Eq a, GenValid a) => (a -> a -> a) -> a -> Property

   genvalidity-property	Test.Validity.Property

   identity ((*) :: Int -> Int -> Int) 1
   

   identity ((+) :: Int -> Int -> Int) 0
   

7. identityOnArbitrary :: (Show a, Eq a, Arbitrary a) => (a -> a -> a) -> a -> Property

   genvalidity-property	Test.Validity.Property

   identityOnArbitrary ((*) :: Int -> Int -> Int) 1
   

   identityOnArbitrary ((+) :: Int -> Int -> Int) 0
   

8. identityOnGen :: (Show a, Eq a) => (a -> a -> a) -> a -> Gen a -> (a -> [a]) -> Property

   genvalidity-property	Test.Validity.Property

9. identicalIEEE :: IEEE a => a -> a -> Bool

   ieee754	Numeric.IEEE

   Return True if two values are exactly (bitwise) equal.

10. identity :: Num a => Int -> Matrix a

    matrix	Data.Matrix

    O(rows*cols). Identity matrix of the given order.

    identity n =
    n
    1 ( 1 0 ... 0 0 )
    2 ( 0 1 ... 0 0 )
    (     ...     )
    ( 0 0 ... 1 0 )
    n ( 0 0 ... 0 1 )
    

Page 282 of many | Previous | Next