Hoogle Search

Within LTS Haskell 24.34 (ghc-9.10.3)

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

  1. csum :: (CFoldable f, Num a, Dom f a) => f a -> a

    subcategories Control.Subcategory.Foldable

    No documentation available.

  2. BadChecksum :: FileOffset -> TarException

    tar-conduit Data.Conduit.Tar.Types

    No documentation available.

  3. Assumed :: String -> ParamMatch

    tasty-sugar Test.Tasty.Sugar

    This parameter value was not specified in the filename of the expected file, so the value is being synthetically supplied. This is used for parameters that have known values but none is present: an Expectation is created for each possible parameter value, identifying each as Assumed.

  4. type GSumCo (gen :: Type -> Type) a r = GSumCo_ gen Rep a r ()

    test-fun Test.Fun

    The list of cogenerators for a generic type, one for each constructor.

  5. type GSumCo (gen :: Type -> Type) a r = GSumCo_ gen Rep a r ()

    test-fun Test.Fun.Internal.Generic

    The list of cogenerators for a generic type, one for each constructor.

  6. class GSumCoArb (gen :: Type -> Type) (f :: Type -> Type)

    test-fun Test.Fun.Internal.Generic

    No documentation available.

  7. type family GSumCo_ (gen :: Type -> Type) (f :: Type -> Type) r t

    test-fun Test.Fun.Internal.Generic

    No documentation available.

  8. gsumCoarb :: GSumCoArb gen f => Proxy r -> t -> GSumCo_ gen f r t

    test-fun Test.Fun.Internal.Generic

    No documentation available.

  9. getSum :: Sum a -> a

    testing-feat Test.Feat.Enumerate

    No documentation available.

  10. type AssertNoSumRecordInstance (constraint :: Type -> Constraint) a = Assert Not HasSum Rep a 'Text "🚫 Cannot derive " ':<>: 'ShowType constraint ':<>: 'Text " instance for " ':<>: 'ShowType a ':<>: 'Text " via RecordInstance due to sum type" ':$$: 'Text "💡 Sum types should use a manual instance or derive one via ShowInstance."

    text-display Data.Text.Display.Generic

    Constraint to prevent misuse of RecordInstance deriving via mechanism.

    Example

    data MySum = A | B | C deriving stock (Generic) deriving (Display) via (RecordInstance MySum)

    • 🚫 Cannot derive Display instance for MySum via RecordInstance due to sum type
💡 Sum types should use a manual instance or derive one via ShowInstance.
• When deriving the instance for (Display MySum)

Page 180 of many | Previous | Next