category-extras-0.44.1: Various modules and constructs inspired by category theory.

Portabilitynon-portable (rank-2 polymorphism)
Stabilityexperimental
MaintainerEdward Kmett <ekmett@gmail.com>

Control.Monad.Indexed.State

Description

 

Documentation

newtype IxState i j a Source

Constructors

IxState 

Fields

runIxState :: i -> (a, j)
 

Instances