natural-transformation-0.4: 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 IO (Object f) 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.