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.

Exact lookup

1. idecideNone :: forall (f :: Type -> Type) k (p :: k ~> Type) (as :: f k) . Universe f => (forall (a :: k) . () => Elem f as a -> Sing a -> Decision (p @@ a)) -> Sing as -> Decision (None f p @@ as)

   decidable	Data.Type.Predicate.Quantification

   decideNone, but providing an Elem.

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

   decideAll, but providing an Elem.

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

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

   delta-types	Data.Delta.Embedding.Internal

   Identity machine starting from a base type.

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

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

   ede	Text.EDE.Internal.Parser

   No documentation available.

7. idId :: Identifier -> Maybe String

   epub-metadata	Codec.Epub.Data.Metadata

   id attribute

8. idScheme :: Identifier -> Maybe String

   epub-metadata	Codec.Epub.Data.Metadata

   scheme from attribute or meta tag

9. idText :: Identifier -> String

   epub-metadata	Codec.Epub.Data.Metadata

   identifier tag text

10. idType :: Identifier -> Maybe String

    epub-metadata	Codec.Epub.Data.Metadata

    identifier-type property from meta tag

Page 316 of many | Previous | Next