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. data IdPred

   refined	Refined

   A predicate which is satisfied for all types. Arguments passed to validate in validate IdPred x are not evaluated.

   >>> isRight (refine @IdPred @Int undefined)
   True
   

   >>> isLeft (refine @IdPred @Int undefined)
   False
   

2. IdPred :: IdPred

   refined	Refined

   No documentation available.

3. newtype Identity a

   classy-prelude	ClassyPrelude

   Identity functor and monad. (a non-strict monad)

   Examples

   >>> fmap (+1) (Identity 0)
   Identity 1
   

   >>> Identity [1, 2, 3] <> Identity [4, 5, 6]
   Identity [1,2,3,4,5,6]
   

   >>> do
   x <- Identity 10
   y <- Identity (x + 5)
   pure (x + y)
   Identity 25
   

4. Identity :: a -> Identity a

   classy-prelude	ClassyPrelude

   No documentation available.

5. data IdSym (x :: FunKind a a)

   defun-core	DeFun.Function

   No documentation available.

6. newtype Ident

   esqueleto	Database.Esqueleto.Internal.Internal

   Identifier used for table names.

7. type IdentInfo = (SqlBackend, IdentState)

   esqueleto	Database.Esqueleto.Internal.Internal

   Information needed to escape and use identifiers.

8. newtype IdentState

   esqueleto	Database.Esqueleto.Internal.Internal

   List of identifiers already in use and supply of temporary identifiers.

9. IdentState :: HashSet Text -> IdentState

   esqueleto	Database.Esqueleto.Internal.Internal

   No documentation available.

10. module GHC.Builtin.PrimOps.Ids

    PrimOp's Ids

Page 192 of many | Previous | Next