hofix-mtl-1.0: defining @mtl@-ready monads as * -> * fixed-points

Portabilitysee LANGUAGE pragmas
Stabilityexperimental
Maintainernicolas.frisby@gmail.com

Data.StarToStar.Iso

Description

The * -> * isomorphism class.

Documentation

class Iso f whereSource

Associated Types

type Other f :: * -> *Source

Methods

from :: f a -> Other f aSource

to :: Other f a -> f aSource

module Data.StarToStar.Iso.TH