Hoogle Search

Within LTS Haskell 24.6 (ghc-9.10.2)

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

  1. data SumEncoding

    safe-json Data.Aeson.Safe

    Specifies how to encode constructors of a sum datatype.

  2. module Data.TypeRig.Summable

    No documentation available.

  3. class Invariant f => Summable (f :: Type -> Type)

    type-rig Data.TypeRig.Summable

    Composability via type sum Either and empty type Void.

  4. Sum3Rand :: UnaryOp

    vivid-supercollider Vivid.SC.SynthDef.Types

    No documentation available.

  5. SumSqr :: BinaryOp

    vivid-supercollider Vivid.SC.SynthDef.Types

    a * a + b * b

  6. type family SumObjects (k :: Type -> Type -> Type) a b

    constrained-categories Control.Category.Constrained.Prelude

    No documentation available.

  7. class (CoCartesian r, Cartesian t, Functor f r t, Object t f ZeroObject r) => SumToProduct (f :: Type -> Type) (r :: Type -> Type -> Type) (t :: Type -> Type -> Type)

    constrained-categories Control.Category.Constrained.Prelude

    It is fairly common for functors (typically, container-like) to map Either to tuples in a natural way, thus "separating the variants". This is related to Foldable (with list and tuple monoids), but rather more effective.

  8. class (CoCartesian r, Cartesian t, Functor f r t, Object t f ZeroObject r) => SumToProduct (f :: Type -> Type) (r :: Type -> Type -> Type) (t :: Type -> Type -> Type)

    constrained-categories Control.Functor.Constrained

    It is fairly common for functors (typically, container-like) to map Either to tuples in a natural way, thus "separating the variants". This is related to Foldable (with list and tuple monoids), but rather more effective.

  9. module Generic.Data.Function.FoldMap.SumConsByte

    foldMap for sum types, where constructors are encoded by index (distance from first/leftmost constructor) in a single byte, which is prepended to their contents. TODO. Clumsy and limited. And yet, still handy enough I think.

  10. type family SumArity (a :: Type -> Type) :: Natural

    generic-data-functions Generic.Data.Function.FoldMap.SumConsByte

    No documentation available.

Page 33 of many | Previous | Next