Hoogle Search

Within LTS Haskell 24.66 (ghc-9.10.3)

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

  1. class DecidableEq (f :: k -> Type)

    parameterized-utils Data.Parameterized.DecidableEq

    Decidable equality.

  2. fin0Void :: Iso' (Fin 0) Void

    parameterized-utils Data.Parameterized.Fin

    No documentation available.

  3. decideLeq :: forall (a :: Nat) (b :: Nat) . NatRepr a -> NatRepr b -> Either (LeqProof a b) (LeqProof a b -> Void)

    parameterized-utils Data.Parameterized.NatRepr

    (<=) is a decidable relation on nats.

  4. widthVal :: forall (n :: Nat) . NatRepr n -> Int

    parameterized-utils Data.Parameterized.NatRepr

    Return the value of the nat representation.

  5. valid :: (Hashable k, Ord k, Ord p) => HashPSQ k p v -> Bool

    psqueues Data.HashPSQ

    O(n^2) Internal function to check if the HashPSQ is valid, i.e. if all invariants hold. This should always be the case.

  6. valid :: Ord p => IntPSQ p v -> Bool

    psqueues Data.IntPSQ

    O(n^2) Internal function to check if the IntPSQ is valid, i.e. if all invariants hold. This should always be the case.

  7. valid :: (Ord k, Ord p) => OrdPSQ k p v -> Bool

    psqueues Data.OrdPSQ

    O(n^2) Internal function to check if the OrdPSQ is valid, i.e. if all invariants hold. This should always be the case.

  8. validate :: Predicate p x => Proxy p -> x -> Maybe RefineException

    refined Refined

    Check the value x according to the predicate p, producing an error RefineException if the value does not satisfy. Note: validate is not intended to be used directly; instead, it is intended to provide the minimal means necessary for other utilities to be derived. As such, the Maybe here should be interpreted to mean the presence or absence of a RefineException, and nothing else.

  9. ButtonMiddle :: MouseButton

    sdl2 SDL.Event

    No documentation available.

  10. WindowHiddenEvent :: WindowHiddenEventData -> EventPayload

    sdl2 SDL.Event

    No documentation available.

Page 930 of many | Previous | Next