Hoogle Search

Within LTS Haskell 24.45 (ghc-9.10.3)

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

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

    genvalidity-property Test.Validity.Property

    No documentation available.

  2. 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)

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

    genvalidity-property Test.Validity.Property

    No documentation available.

  4. 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

  5. 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

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

    genvalidity-property Test.Validity.Property

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

    ieee754 Numeric.IEEE

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

  8. 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 )

  9. identifyForm :: forall (m :: Type -> Type) a . Monad m => Text -> (Markup -> MForm m (FormResult a, WidgetFor (HandlerSite m) ())) -> Markup -> MForm m (FormResult a, WidgetFor (HandlerSite m) ())

    yesod-form Yesod.Form.Functions

    Creates a hidden field on the form that identifies it. This identification is then used to distinguish between missing and wrong form data when a single handler contains more than one form. For instance, if you have the following code on your handler: 

    ((fooRes, fooWidget), fooEnctype) <- runFormPost fooForm
((barRes, barWidget), barEnctype) <- runFormPost barForm
    Then replace it with 
    ((fooRes, fooWidget), fooEnctype) <- runFormPost $ identifyForm "foo" fooForm
((barRes, barWidget), barEnctype) <- runFormPost $ identifyForm "bar" barForm
    Note that it's your responsibility to ensure that the identification strings are unique (using the same one twice on a single handler will not generate any errors). This allows you to create a variable number of forms and still have them work even if their number or order change between the HTML generation and the form submission.

  10. identA :: HasAttributes c => Lens' c BufferId

    yi-core Yi.Buffer.Misc

    No documentation available.

Page 282 of many | Previous | Next