Hoogle Search

Within LTS Haskell 24.39 (ghc-9.10.3)

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

  1. idE :: Expr

    code-conjure Conjure.Expr

    The function id for the Int type encoded as an Expr. (See also id'.) 

    > idE :$ xx
id x :: Int

    > idE :$ zero
id 0 :: Int

    > evaluate $ idE :$ zero :: Maybe Int
Just 0

  2. idInt :: Expr

    code-conjure Conjure.Expr

    The function id encoded as an Expr. (cf. id')

  3. idInts :: Expr

    code-conjure Conjure.Expr

    The function id encoded as an Expr. (cf. id')

  4. idString :: Expr

    code-conjure Conjure.Expr

    The function id encoded as an Expr. (cf. id')

  5. idIO :: (a -> IO ()) -> a -> a

    code-conjure Conjure.Utils

    WARNING: uses unsafePerformIO and should only be used for debugging! 

    > idIO print 10
10
10

  6. identity :: (C sh, Floating a) => sh -> Square sh a

    comfort-blas Numeric.BLAS.Matrix.RowMajor 

    >>> Matrix.identity (Shape.ZeroBased 0) :: Matrix.Square (Shape.ZeroBased Int) Real_
StorableArray.fromList (ZeroBased {... 0},ZeroBased {... 0}) []

>>> Matrix.identity (Shape.ZeroBased 3) :: Matrix.Square (Shape.ZeroBased Int) Real_
StorableArray.fromList (ZeroBased {... 3},ZeroBased {... 3}) [1.0,0.0,0.0,0.0,1.0,0.0,0.0,0.0,1.0]

  7. idm :: Monoid m => m

    configuration-tools Configuration.Utils.CommandLine

    Trivial option modifier.

  8. identity :: (Num a, Bits a) => IntTrie a

    data-inttrie Data.IntTrie

    The identity trie. 

    apply identity = id

  9. idecideAll :: forall k (p :: k ~> Type) (as :: f k) . Universe f => (forall (a :: k) . () => Elem f as a -> Sing a -> Decision (p @@ a)) -> Sing as -> Decision (All f p @@ as)

    decidable Data.Type.Predicate.Quantification

    decideAll, but providing an Elem.

  10. idecideAny :: forall k (p :: k ~> Type) (as :: f k) . Universe f => (forall (a :: k) . () => Elem f as a -> Sing a -> Decision (p @@ a)) -> Sing as -> Decision (Any f p @@ as)

    decidable Data.Type.Predicate.Quantification

    decideAny, but providing an Elem.

Page 315 of many | Previous | Next