natural-transformation-0.4: A natural transformation package.

Copyright (C) 2015 The University of Kansas BSD-style (see the file LICENSE) Andy Gill Experimental Safe Haskell2010

Control.Object

Description

An Object type, which is a natural transformation into the IO monad.

Synopsis

Documentation

newtype Object f Source #

An Object is a natural transformation from a given Functor f, to IO.

Constructors

 Object (f ~> IO)

Instances

 Source # Methods(#) :: t -> forall a. IO a -> Object f a Source #

(#) :: Transformation f g t => t -> forall a. f a -> g a Source #

The invocation method for a natural transformation.