Hackage :: [Package]

invertible: bidirectional arrows, bijective functions, and invariant functors

[ bsd3, composition, control, data, library ] [ Propose Tags ]

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

[Last Documentation]

  • Control
    • Invertible
      • Control.Invertible.BiArrow
      • Control.Invertible.Functor
      • Control.Invertible.MonadArrow
      • Control.Invertible.Monoidal
        • Control.Invertible.Monoidal.Free
        • Control.Invertible.Monoidal.HList
  • 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.HList
      • 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

Flags

Manual Flags

NameDescriptionDefault
arrows

Support the arrows package

Disabled
hlist

Support the HList package

Enabled
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

Maintainer's Corner

Package maintainers

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 && <5), haskell-src-meta (>=0.6 && <0.8), HList (>=0.4 && <0.5), 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
Category Data, Control, Composition
Source repo head: git clone https://github.com/dylex/invertible
Uploaded by DylanSimon at 2017-02-21T19:05:25Z
Distributions LTSHaskell:0.2.0.8, NixOS:0.2.0.8
Reverse Dependencies 5 direct, 1 indirect [details]
Downloads 7581 total (44 in the last 30 days)
Rating 1.25 (votes: 1) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs not available [build log]
All reported builds failed as of 2017-02-21 [all 3 reports]