invertible: bidirectional arrows, bijective functions, and invariant functors
Representations and operations for bidirectional arrows (total isomorphisms: an arrow paired with its inverse). Classes for invariant functors and monoidal functors. Includes a number of useful bijections and operations, as well as interoperability with related packages.
Most users will want to import one or more of Data.Invertible qualified, Control.Invertible.Monoidal unqualified, and any additional compatibility modules.
Modules
[Index]
- Control
- Data
- Data.Invertible
- Data.Invertible.Bijection
- Data.Invertible.Bits
- Data.Invertible.Bool
- Data.Invertible.Coerce
- Data.Invertible.Complex
- Data.Invertible.Either
- Data.Invertible.Enum
- Data.Invertible.Function
- Data.Invertible.Functor
- Data.Invertible.Invariant
- Data.Invertible.Lens
- Data.Invertible.List
- Data.Invertible.Maybe
- Data.Invertible.Monad
- Data.Invertible.Monoid
- Data.Invertible.Ord
- Data.Invertible.PartialIsomorphism
- Data.Invertible.Piso
- Data.Invertible.Prelude
- Data.Invertible.Semigroupoid
- Data.Invertible.TH
- Data.Invertible.Tuple
- Data.Invertible.TypeCompose
- Data.Invertible
Flags
Manual Flags
| Name | Description | Default |
|---|---|---|
| arrows | Support the arrows package | Disabled |
| invariant | Support the invariant package | Enabled |
| lens | Support the lens package | Enabled |
| partial-isomorphisms | Support the partial-isomorphisms package | Enabled |
| piso | Support the Piso package | Disabled |
| semigroupoids | Support the semigroupoids package | Enabled |
| typecompose | Support the TypeCompose package | Enabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info
Downloads
- invertible-0.2.0.2.tar.gz [browse] (Cabal source package)
- Package description (revised from the package)
Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- No Candidates
| Versions [RSS] | 0.1, 0.1.1, 0.1.2, 0.2.0, 0.2.0.1, 0.2.0.2, 0.2.0.3, 0.2.0.4, 0.2.0.5, 0.2.0.6, 0.2.0.7, 0.2.0.8 |
|---|---|
| Dependencies | base (>=4.8 && <4.11), haskell-src-meta (>=0.6 && <0.9), invariant, lens (>=4 && <5), partial-isomorphisms, semigroupoids (>=4), template-haskell (>=2 && <3), transformers, TypeCompose (>=0.3) [details] |
| License | BSD-3-Clause |
| Copyright | 2016 |
| Author | Dylan Simon |
| Maintainer | dylan@dylex.net |
| Revised | Revision 2 made by AndreasAbel at 2021-11-10T17:42:06Z |
| Category | Data, Control, Composition |
| Source repo | head: git clone https://github.com/dylex/invertible |
| Uploaded | by DylanSimon at 2017-02-21T20:22:59Z |
| Distributions | LTSHaskell:0.2.0.8, NixOS:0.2.0.8 |
| Reverse Dependencies | 5 direct, 1 indirect [details] |
| Downloads | 7556 total (37 in the last 30 days) |
| Rating | 1.25 (votes: 1) [estimated by Bayesian average] |
| Your Rating | |
| Status | Docs available [build log] Last success reported on 2017-02-21 [all 1 reports] |