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.

Exact lookup

1. IDREF :: String -> IDREF

   HaXml	Text.XML.HaXml.Schema.PrimitiveTypes

   No documentation available.

2. newtype IDREFS

   HaXml	Text.XML.HaXml.Schema.PrimitiveTypes

   No documentation available.

3. IDREFS :: String -> IDREFS

   HaXml	Text.XML.HaXml.Schema.PrimitiveTypes

   No documentation available.

4. IDREF :: TokenizedType

   HaXml	Text.XML.HaXml.Types

   No documentation available.

5. IDREFS :: TokenizedType

   HaXml	Text.XML.HaXml.Types

   No documentation available.

6. newtype Identifier a

   casing	Text.Casing

   An opaque type that represents a parsed identifier.

7. Identifier :: [a] -> Identifier a

   casing	Text.Casing

   No documentation available.

8. class Magma a => Idempotent a

   numhask	NumHask.Algebra.Group

   An Idempotent Magma is a magma where every element is Idempotent.

   a ⊕ a = a
   

9. type Idx (n :: Nat) (ctx :: Ctx k) (r :: k) = (ValidIx n ctx, Idx' FromLeft ctx n ctx r)

   parameterized-utils	Data.Parameterized.Context

   Constraint synonym used for getting an Index into a Ctx. n is the zero-based, left-counted index into the list of types ctx which has the type r.

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

Page 191 of many | Previous | Next