Control.Isomorphism.Partial.Iso

Documentation

data Iso a b

unsafeMakeIso :: (alpha -> Maybe beta) -> (beta -> Maybe alpha) -> Iso alpha beta

unsafeMakeIso' :: String -> Maybe (a -> ShowS) -> Maybe (b -> ShowS) -> (a -> Maybe b) -> (b -> Maybe a) -> Iso a b

unsafeMakeNamedIso :: String -> (alpha -> Maybe beta) -> (beta -> Maybe alpha) -> Iso alpha beta

unsafeMakeNamedIsoL :: Show alpha => String -> (alpha -> Maybe beta) -> (beta -> Maybe alpha) -> Iso alpha beta

unsafeMakeNamedIsoR :: Show beta => String -> (alpha -> Maybe beta) -> (beta -> Maybe alpha) -> Iso alpha beta

unsafeMakeNamedIsoLR :: (Show alpha, Show beta) => String -> (alpha -> Maybe beta) -> (beta -> Maybe alpha) -> Iso alpha beta

isoRL :: Iso a b -> b -> Maybe a

isoLR :: Iso a b -> a -> Maybe b

isoName :: Iso a b -> String

isoShowSL :: Iso a b -> Maybe (a -> ShowS)

isoShowSR :: Iso a b -> Maybe (b -> ShowS)

isoShowL :: Iso a b -> Maybe (a -> String)

isoShowR :: Iso a b -> Maybe (b -> String)

isoFailedErrorMessageL :: Iso a b -> a -> String

isoFailedErrorMessageR :: Iso a b -> b -> String