natural-transformation-0.1: A natural transformation package.

Copyright(C) 2015 The University of Kansas
LicenseBSD-style (see the file LICENSE)
MaintainerAndy Gill
StabilityExperimental
Safe HaskellSafe
LanguageHaskell2010

Control.Natural

Description

A data type for natural transformations.

Synopsis

Documentation

newtype f :~> g infixr 0 Source

A natural transformation from f to g.

Constructors

Nat 

Fields

($$) :: forall x. f x -> g x
 

Instances

Transformation k f g ((:~>) k f g) 
Typeable ((k -> *) -> (k -> *) -> *) ((:~>) k) 
Category (k -> *) ((:~>) k) 
(~) (k -> *) f g => Monoid ((:~>) k f g)