Hoogle Search

Within LTS Haskell 24.52 (ghc-9.10.3)

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

  1. polyEqF :: PolyEq u v => u -> v -> Maybe (u :~: v)

    parameterized-utils Data.Parameterized.TH.GADT

    No documentation available.

  2. structuralEquality :: TypeQ -> [(TypePat, ExpQ)] -> ExpQ

    parameterized-utils Data.Parameterized.TH.GADT

    structuralEquality declares a structural equality predicate.

  3. structuralTypeEquality :: TypeQ -> [(TypePat, ExpQ)] -> ExpQ

    parameterized-utils Data.Parameterized.TH.GADT

    structuralTypeEquality f returns a function with the type: forall x y . f x -> f y -> Maybe (x :~: y)

  4. class TestEqualityFC (t :: k -> Type -> l -> Type)

    parameterized-utils Data.Parameterized.TraversableFC

    A parameterized class for types which can be tested for parameterized equality, when given an equality test for subterms.

  5. testEqualityFC :: TestEqualityFC t => (forall (x :: k) (y :: k) . () => f x -> f y -> Maybe (x :~: y)) -> forall (x :: l) (y :: l) . () => t f x -> t f y -> Maybe (x :~: y)

    parameterized-utils Data.Parameterized.TraversableFC

    No documentation available.

  6. data NotEqualTo (n :: Nat)

    refined Refined

    A Predicate ensuring that the value is not equal to the specified type-level number n. 

    >>> isRight (refine @(NotEqualTo 6) @Int 5)
True

    >>> isLeft (refine @(NotEqualTo 5) @Int 5)
True

  7. NotEqualTo :: NotEqualTo (n :: Nat)

    refined Refined

    No documentation available.

  8. data SizeEqualTo (n :: Nat)

    refined Refined

    A Predicate ensuring that the value has a length which is equal to the specified type-level number. 

    >>> isRight (refine @(SizeEqualTo 4) @[Int] [1,2,3,4])
True

    >>> isLeft (refine @(SizeEqualTo 35) @[Int] [1,2,3,4])
True

    >>> isRight (refine @(SizeEqualTo 4) @Text "four")
True

    >>> isLeft (refine @(SizeEqualTo 35) @Text "four")
True

  9. SizeEqualTo :: SizeEqualTo (n :: Nat)

    refined Refined

    No documentation available.

  10. audioSpecFreq :: AudioSpec -> !CInt

    sdl2 SDL.Audio

    DSP frequency (samples per second)

Page 381 of many | Previous | Next