Safe Haskell | None |
---|---|

Language | Haskell2010 |

Bijections via strict maps.

- module Data.Bijection.Class
- data Bimap l r

# Documentation

module Data.Bijection.Class

A bijection between values of type `l`

and type `r`

, implemented via
strict maps.

(Eq l, Eq r) => Eq (Bimap l r) Source | |

(Ord l, Ord r, Read l, Read r) => Read (Bimap l r) Source | |

(Show l, Show r) => Show (Bimap l r) Source | |

Generic (Bimap l r) Source | |

(ToJSON (Map l r), ToJSON (Map r l)) => ToJSON (Bimap l r) Source | |

(FromJSON (Map l r), FromJSON (Map r l)) => FromJSON (Bimap l r) Source | |

(Binary l, Binary r) => Binary (Bimap l r) Source | |

(Ord l, Ord r, Serialize l, Serialize r) => Serialize (Bimap l r) Source | |

(NFData l, NFData r) => NFData (Bimap l r) Source | |

(Ord l, Ord r) => Bijection (Bimap l r) Source | |

type Rep (Bimap l r) Source | |

type ContL (Bimap l r) = Map l r Source | |

type ContR (Bimap l r) = Map r l Source | |

type ElemL (Bimap l r) = l Source | |

type ElemR (Bimap l r) = r Source |