natural-transformation-0.3.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.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

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

The invocation method for a natural transformation.