HORIZON HASKELLDocslts/ghc-9.10.xc74966e2026-09-27Search names, modules, packages, or :: a typeCtrl K

GHC 9.10.3 · lts/ghc-9.10.x · c74966e · 2026-09-27

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