natural-transformation

A natural transformation package.

https://github.com/ku-fpg/natural-transformation

LTS Haskell 24.27:0.4.1@rev:2
Stackage Nightly 2026-01-09:0.4.1@rev:3
Latest on Hackage:0.4.1@rev:3

See all snapshots natural-transformation appears in

BSD-3-Clause licensed by Andy Gill
Maintained by Andy Gill
This version can be pinned in stack with:natural-transformation-0.4.1@sha256:71b24f0c86952775e08e431cda9d412b44662509b23f714f605ac572ed94b2ee,2479

Module documentation for 0.4.1

Depends on 1 package(full list with versions):
base
Used by 1 package in nightly-2026-01-09(full list with versions):
functor-combinators

natural-transformation Hackage version Build Status

A natural transformation transforms a container f a into another container g a. Natural transformations act as functor morphisms in category theory. Technically, f and g should be functors, but we allow any correctly-shaped structure.

Changes

0.4.1 [2024.10.27]

  • Drop support for pre-8.0 versions of GHC.

0.4

  • Rename Nat constructor to NT
  • Rename run to unwrapNT
  • Rename nat to wrapNT
  • Backport the Semigroup instance for (:~>) by conditionally depending on the semigroups package

0.3.1

  • Adding run and nat.

0.3

  • Adding Object
  • Rolled Control.Transformation into Control.Natural
  • Added RULES module
  • Required GHC 7.8 or greater
  • Semigroup instance for (:~>) on GHC 8.0 and up

0.2

  • Require GHC 7.6 or greater
  • Exposed ~> type synonym

0.1

  • Initial commit