IsomorphismClass.Extra

Extra instances for IsomorphicTo typeclass from 'isomorphism-class' package.

Orphan instances

IsomorphicTo a a

Methods

to :: a -> a

IsomorphicTo a (Either Void a)

Type sum commutativity.

Examples of usage

>>> import IsomorphismClass.Isomorphism (iso)
>>> (iso :: (->) (Either a b) (Either b a)) (Left 1)
Right 1
>>> (iso :: (->) (Either a b) (Either b a)) (Right "x")
Left "x"

Methods

to :: Either Void a -> a

IsomorphicTo a (Either a Void)

Methods

to :: Either a Void -> a

IsomorphicTo a ((), a)

Methods

to :: ((), a) -> a

IsomorphicTo a (a, ())

Methods

to :: (a, ()) -> a

IsomorphicTo (Either a Void) a

Methods

to :: a -> Either a Void

IsomorphicTo (Either Void a) a

Methods

to :: a -> Either Void a

IsomorphicTo ((), a) a

Methods

to :: a -> ((), a)

IsomorphicTo (a, ()) a

Methods

to :: a -> (a, ())

IsomorphicTo (Either (Either a b) (Either c d)) (Either (Either a c) (Either b d))

Methods

to :: Either (Either a c) (Either b d) -> Either (Either a b) (Either c d)

IsomorphicTo (Either (Either a b) c) (Either a (Either b c))

Methods

to :: Either a (Either b c) -> Either (Either a b) c

IsomorphicTo (Either a (Either b c)) (Either (Either a b) c)

Methods

to :: Either (Either a b) c -> Either a (Either b c)

IsomorphicTo (Either a b) (Either b a)

Methods

to :: Either b a -> Either a b

IsomorphicTo ((a, b), (c, d)) ((a, c), (b, d))

Methods

to :: ((a, c), (b, d)) -> ((a, b), (c, d))

IsomorphicTo ((a, b), c) (a, (b, c))

Methods

to :: (a, (b, c)) -> ((a, b), c)

IsomorphicTo (a, (b, c)) ((a, b), c)

Methods

to :: ((a, b), c) -> (a, (b, c))

IsomorphicTo (a, b) (b, a)

Type product commutativity

Examples of usage

>>> import IsomorphismClass.Isomorphism (iso)
>>> (iso :: (->) (a, b) (b, a)) (1, "x")
("x",1)

Methods

to :: (b, a) -> (a, b)