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.

  1. 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.Universe

    decideAny, but providing an Elem.

  2. idle :: Delta da => Base da -> Machine da da

    delta-types Data.Delta.Embedding.Internal

    Identity machine starting from a base type.

  3. identicalIEEE :: forall a (d :: Dimension) . IEEE a => Quantity d a -> Quantity d a -> Bool

    dimensional Numeric.Units.Dimensional.Float

    Return True if two floating-point quantities are exactly (bitwise) equal.

  4. identifier :: (Monad m, TokenParsing m) => m Id

    ede Text.EDE.Internal.Parser

    No documentation available.

  5. idId :: Identifier -> Maybe String

    epub-metadata Codec.Epub.Data.Metadata

    id attribute

  6. idScheme :: Identifier -> Maybe String

    epub-metadata Codec.Epub.Data.Metadata

    scheme from attribute or meta tag

  7. idText :: Identifier -> String

    epub-metadata Codec.Epub.Data.Metadata

    identifier tag text

  8. idType :: Identifier -> Maybe String

    epub-metadata Codec.Epub.Data.Metadata

    identifier-type property from meta tag

  9. identity :: Ix a => ((a, a), (a, a)) -> Relation a a

    ersatz Ersatz.Relation

    Constructs the identity relation <math>.

  10. identitySubst :: forall (e :: S -> Type) (i :: S) . InjectName e => Substitution e i i

    free-foil Control.Monad.Foil

    Identity substitution maps all names to expresion-variables.

Page 317 of many | Previous | Next