HORIZON HASKELLDocslts/ghc-9.14.x3e2d5682026-10-11Search names, modules, packages, or :: a typeCtrl K

GHC 9.14.1 · lts/ghc-9.14.x · 3e2d568 · 2026-10-11

Moduleassoc-1.1.1Haskell2010

Data.Bifunctor.Assoc

  • 1 class
  • Packageassoc-1.1.1
  • Exports1
  • LanguageHaskell2010
  • LicenceBSD-3-Clause
  • SourceAssoc.hs
classclass Bifunctor p => Assoc (p :: Type -> Type -> Type) where
#

"Semigroup-y" Bifunctors.

assoc . unassoc = id
unassoc . assoc = id
assoc . bimap (bimap f g) h = bimap f (bimap g h) . assoc

This library doesn't provide Monoidal class, with left and right unitors. Are they useful in practice?

Methods

  • assoc :: p (p a b) c -> p a (p b c)
  • unassoc :: p a (p b c) -> p (p a b) c
Instances3Assoc
  • Assoc EitherDefined in assoc-1.1.1 · Data.Bifunctor.Assoc
  • Assoc Tuple2Defined in assoc-1.1.1 · Data.Bifunctor.Assoc
  • Assoc ConstDefined in assoc-1.1.1 · Data.Bifunctor.Assoc