Search plugin
Manual
haskell.org
set:all
set:hoogle
package:adjunctions
package:aeson
package:aeson-diff
package:aeson-pretty
package:aeson-qq
package:amazonka
package:amazonka-core
package:amazonka-dynamodb
package:amazonka-s3
package:amazonka-ses
package:amazonka-sns
package:amazonka-sqs
package:amazonka-sso
package:amazonka-sts
package:amqp
package:ansi-terminal
package:ansi-terminal-types
package:ansi-wl-pprint
package:api-field-json-th
package:appar
package:array
package:asn1-encoding
package:asn1-parse
package:asn1-types
package:assets
package:assoc
package:async
package:atomic-primops
package:attoparsec-iso8601
package:authenticate-oauth
package:auto-update
package:background-worker
package:barbies
package:base
package:base-compat
package:base-compat-batteries
package:base-orphans
package:base-prelude
package:base16-bytestring
package:base64
package:base64-bytestring
package:basement
package:bifunctors
package:bilge
package:binary
package:binary-parsers
package:bitvec
package:blaze-builder
package:blaze-html
package:blaze-markup
package:bloodhound
package:boring
package:brig
package:brig-types
package:bsb-http-chunked
package:bson
package:byteable
package:byteorder
package:bytestring
package:bytestring-conversion
package:bytestring-lexing
package:Cabal
package:Cabal-syntax
package:call-stack
package:cannon
package:cargohold
package:cargohold-types
package:case-insensitive
package:cassandra-util
package:cassava
package:cereal
package:charset
package:clock
package:cmdargs
package:colour
package:comonad
package:concise
package:concurrent-output
package:conduit
package:conduit-extra
package:configurator
package:constraints
package:containers
package:contravariant
package:cookie
package:cql
package:cql-io
package:cql-io-tinylog
package:crypto-api
package:crypto-pubkey-types
package:cryptobox-haskell
package:cryptohash-md5
package:cryptohash-sha1
package:crypton
package:crypton-connection
package:crypton-x509
package:crypton-x509-store
package:crypton-x509-system
package:crypton-x509-validation
package:cryptonite
package:currency-codes
package:data-binary-ieee754
package:data-checked
package:data-default
package:data-default-class
package:data-default-instances-containers
package:data-default-instances-dlist
package:data-default-instances-old-locale
package:data-fix
package:data-sketches
package:data-sketches-core
package:data-textual
package:data-timeout
package:dec
package:Decimal
package:deepseq
package:deferred-folds
package:dense-linear-algebra
package:deriving-aeson
package:deriving-swagger2
package:directory
package:distributive
package:dlist
package:dns-util
package:double-conversion
package:easy-file
package:edit-distance-vector
package:either
package:email-validate
package:enclosed-exceptions
package:entropy
package:erf
package:errors
package:exceptions
package:extended
package:extra
package:fast-logger
package:fcf-family
package:federator
package:file-embed
package:file-embed-lzma
package:filepath
package:first-class-families
package:focus
package:foldable1-classes-compat
package:foldl
package:foundation
package:free
package:fsnotify
package:galley
package:galley-types
package:generic-deriving
package:generic-random
package:generically
package:generics-sop
package:ghc
package:ghc-bignum
package:ghc-boot
package:ghc-boot-th
package:ghc-compact
package:ghc-heap
package:ghc-prim
package:ghc-tcplugins-extra
package:ghci
package:gitrev
package:gundeck
package:gundeck-types
package:hashable
package:haskeline
package:haskell-lexer
package:haskell-src-exts
package:haskell-src-meta
package:HaskellNet
package:HaskellNet-SSL
package:hedgehog-quickcheck
package:hedis
package:hex
package:hinotify
package:hostname-validate
package:hourglass
package:hpc
package:hsaml2
package:hscim
package:HsOpenSSL
package:HsOpenSSL-x509-system
package:hspec
package:hspec-core
package:hspec-discover
package:hspec-expectations
package:hspec-junit-formatter
package:hspec-wai
package:html-entities
package:HTTP
package:http-api-data
package:http-client
package:http-client-openssl
package:http-client-tls
package:http-conduit
package:http-date
package:http-media
package:http-reverse-proxy
package:http-types
package:http2
package:http2-manager
package:HUnit
package:hxt
package:hxt-charproperties
package:hxt-regex-xmlschema
package:hxt-unicode
package:immortal
package:imports
package:incipit-base
package:incipit-core
package:indexed-profunctors
package:indexed-traversable
package:indexed-traversable-instances
package:ini
package:insert-ordered-containers
package:integer-gmp
package:integer-logarithms
package:integration
package:invariant
package:invertible
package:invertible-hxt
package:iproute
package:iso3166-country-codes
package:iso639
package:iso8601-time
package:jose
package:jwt-tools
package:kan-extensions
package:kind-apply
package:kind-generics
package:kind-generics-th
package:lens
package:lens-aeson
package:lens-datetime
package:lens-family
package:lens-family-core
package:libiserv
package:libyaml
package:lifted-async
package:lifted-base
package:list-t
package:logict
package:lzma
package:math-functions
package:megaparsec
package:memory
package:metrics-core
package:metrics-wai
package:microlens
package:mime
package:mime-mail
package:mime-types
package:mlsstats
package:mmorph
package:monad-control
package:monad-time
package:MonadRandom
package:mono-traversable
package:monoidal-containers
package:move-team
package:mtl
package:mwc-random
package:network
package:network-bsd
package:network-byte-order
package:network-conduit-tls
package:network-info
package:network-uri
package:newtype
package:old-locale
package:old-time
package:OneTuple
package:Only
package:openapi3
package:optics-core
package:optics-extra
package:optics-th
package:optparse-applicative
package:ordered-containers
package:parallel
package:parsec
package:parser-combinators
package:parsers
package:partial-isomorphisms
package:pem
package:phone-users
package:pipes
package:pipes-parse
package:polysemy
package:polysemy-check
package:polysemy-conc
package:polysemy-plugin
package:polysemy-resume
package:polysemy-time
package:polysemy-wire-zoo
package:postie
package:pretty
package:pretty-show
package:primitive
package:primitive-extras
package:primitive-unlifted
package:process
package:profunctors
package:prometheus-client
package:proto-lens
package:protobuf
package:proxy
package:psqueues
package:QuickCheck
package:quickcheck-instances
package:quickcheck-io
package:rabbitmq-consumer
package:random
package:random-shuffle
package:raw-strings-qq
package:recv
package:reflection
package:regex-base
package:regex-posix
package:regex-tdfa
package:resource-pool
package:resourcet
package:retry
package:ropes
package:RSA
package:safe
package:safe-exceptions
package:saml2-web-sso
package:scanner
package:schema-profunctor
package:scientific
package:semialign
package:semigroupoids
package:semigroups
package:semver
package:servant
package:servant-blaze
package:servant-client
package:servant-client-core
package:servant-conduit
package:servant-docs
package:servant-foreign
package:servant-multipart
package:servant-multipart-api
package:servant-openapi3
package:servant-server
package:servant-swagger-ui
package:servant-swagger-ui-core
package:setenv
package:SHA
package:shakespeare
package:shelly
package:silently
package:simple-sendfile
package:singleton-bool
package:singletons
package:singletons-base
package:singletons-th
package:socks
package:sodium-crypto-sign
package:some
package:sop-core
package:spar
package:split
package:splitmix
package:ssl-util
package:stache
package:StateVar
package:statistics
package:stern
package:stm
package:stm-chans
package:stm-containers
package:stm-hamt
package:stomp-queue
package:stompl
package:streaming-commons
package:strict
package:string-conversions
package:syb
package:tagged
package:tasty
package:tasty-ant-xml
package:tasty-cannon
package:tasty-hunit
package:template
package:template-haskell
package:temporary
package:terminal-size
package:terminfo
package:text
package:text-icu-translit
package:text-latin1
package:text-printer
package:text-short
package:tf-random
package:th-abstraction
package:th-compat
package:th-desugar
package:th-expand-syns
package:th-lift
package:th-lift-instances
package:th-orphans
package:th-reify-many
package:these
package:time
package:time-compat
package:time-interval
package:time-locale-compat
package:time-manager
package:time-out
package:time-units
package:tinylog
package:tls
package:tls-session-manager
package:torsor
package:transformers
package:transformers-base
package:transformers-compat
package:transitive-anns
package:type-equality
package:type-errors
package:typed-process
package:types-common
package:types-common-aws
package:types-common-journal
package:unagi-chan
package:uniplate
package:universe-base
package:unix
package:unix-compat
package:unix-time
package:unliftio
package:unliftio-core
package:unordered-containers
package:uri-bytestring
package:utf8-string
package:uuid
package:uuid-types
package:vault
package:vector
package:vector-algorithms
package:vector-binary-instances
package:vector-stream
package:vector-th-unbox
package:void
package:wai
package:wai-app-static
package:wai-extra
package:wai-logger
package:wai-middleware-gunzip
package:wai-middleware-prometheus
package:wai-predicates
package:wai-route
package:wai-routing
package:wai-utilities
package:wai-websockets
package:warp
package:warp-tls
package:websockets
package:wire-api
package:wire-api-federation
package:wire-message-proto-lens
package:wire-subsystems
package:witherable
package:wl-pprint-annotated
package:word8
package:wreq
package:x509
package:xhtml
package:xml
package:xml-conduit
package:xml-conduit-writer
package:xml-hamlet
package:xml-types
package:yaml
package:zauth
package:zlib
map -package:containers -package:dense-linear-algebra package:invertible
map
:: (a <-> b) -> [a] <-> [b]
invertible
Data.Invertible.List
Data.Invertible.Prelude
Apply a bijection over a list using
map
.
map
I_
:: (Foldable t, Monoidal f) => (a -> f ()) -> t a -> f ()
invertible
Control.Invertible.Monoidal
Map each element to a monoidal and
sequenceI_
the results.
map
MaybeI
:: Monoidal f => (a -> f (Maybe b)) -> [a] -> f [b]
invertible
Control.Invertible.Monoidal
Map each element to a
Maybe
monoidal and sequence the results (like
traverse
and
mapMaybe
).
map
Free
:: (forall a' . f a' -> m a') -> Free f a -> Free m a
invertible
Control.Invertible.Monoidal.Free
Transform the type constructor within a
Free
.
f
map
:: Functor f => (a <-> b) -> f a -> f b
invertible
Control.Invertible.Functor
Data.Invertible.Prelude
f
map
Default
:: Functor f => (a <-> b) -> f a -> f b
invertible
Control.Invertible.Functor
Default invertible
Functor
implementation for simple non-invertible
Functor
s.
bif
map
:: Functor f => (a <-> b) -> f a <-> f b
invertible
Data.Invertible.Functor
Data.Invertible.Prelude
Lift both sides of an bijection over a functor using
fmap
. We name this bifmap in deference to the more useful
fmap
.
inv
map
:: Invariant f => (a <-> b) -> f a -> f b
invertible
Data.Invertible.Invariant
Apply a bijection over an
Invariant
using
invmap
.
Packages
is:exact