natural-transformation

A natural transformation package.

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

Version on this page:	0.4@rev:6
LTS Haskell 20.23:	0.4@rev:10
Stackage Nightly 2023-05-29:	0.4@rev:10
Latest on Hackage:	0.4@rev:10

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@sha256:f483ea4337b7409290f3e3abe8f00bf26894c622f1dcd0e436b83e534e70b261,2205

Module documentation for 0.4

Control
- Control.Natural
  - Control.Natural.RULES
- Control.Object

Depends on 1 package(full list with versions):

base

Used by 3 packages in lts-12.14(full list with versions):

freer-simple, servant, servant-checked-exceptions

natural-transformation

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

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