Control.Isomorphism.Partial.Prim

Documentation

idIso :: Iso a a

inverse :: Iso alpha beta -> Iso beta alpha

apply :: Iso alpha beta -> alpha -> Maybe beta

unapply :: Iso alpha beta -> beta -> Maybe alpha

class IsoFunctor f where

Methods

(<$>) :: Iso alpha beta -> f alpha -> f beta infix 5

Instances

IsoFunctor SpecPrinter

Defined in Text.Roundtrip.SpecPrinter

Methods

(<$>) :: Iso alpha beta -> SpecPrinter alpha -> SpecPrinter beta

ignore :: alpha -> Iso alpha ()

(***) :: Iso alpha beta -> Iso gamma delta -> Iso (alpha, gamma) (beta, delta)

the product type constructor `(,)` is a bifunctor from Iso $times$ Iso to Iso, so that we have the bifunctorial map *** which allows two separate isomorphisms to work on the two components of a tuple.

(|||) :: Iso alpha gamma -> Iso beta gamma -> Iso (Either alpha beta) gamma

The mediating arrow for sums constructed with Either. This is not a proper partial isomorphism because of mplus.

associate :: Iso (alpha, (beta, gamma)) ((alpha, beta), gamma)

Nested products associate.

commute :: Iso (alpha, beta) (beta, alpha)

Products commute.

unit :: Iso alpha (alpha, ())

`()` is the unit element for products.

element :: (Show alpha, Eq alpha) => alpha -> Iso () alpha

`element x` is the partial isomorphism between `()` and the singleton set which contains just x.

subset :: Show alpha => (alpha -> Bool) -> Iso alpha alpha

For a predicate p, `subset p` is the identity isomorphism restricted to elements matching the predicate.

namedSubset :: Show alpha => String -> (alpha -> Bool) -> Iso alpha alpha

iterateIso :: Iso alpha alpha -> Iso alpha alpha

distribute :: Iso (alpha, Either beta gamma) (Either (alpha, beta) (alpha, gamma))

Products distribute over sums.

readShowIso :: (Read a, Show a) => Iso String a

readShowTextIso :: (Read a, Show a) => Iso Text a

textStringIso :: Iso Text String

lazyStrictTextIso :: Iso Text Text

listMapIso :: Ord a => Iso [(a, b)] (Map a b)

maybeUnitBoolIso :: Iso (Maybe ()) Bool

Orphan instances

Category Iso

Methods

id :: Iso a a

(.) :: Iso b c -> Iso a b -> Iso a c