hofix-mtl-1.0: defining @mtl@-ready monads as * -> * fixed-points
Data.StarToStar.Iso
Description
The * -> * isomorphism class.
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