Control.Isomorphism.Partial.Ext.Constructors

This module contains Iso definitions which are inverted definitions defined in Control.Isomorphism.Partial.Constructors.

Documentation

cons' :: Iso [alpha] (alpha, [alpha])

inverse of cons

nil' :: Iso [alpha] ()

inverse of nil

just' :: Iso (Maybe alpha) alpha

inverse of just

nothing' :: Iso (Maybe a) ()

inverse of nothing

left' :: Iso (Either alpha b) alpha

inverse of left

right' :: Iso (Either a alpha) alpha

inverse of right