Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
Package Usage: hackage: validation
A data-type like Either but with differing properties and type-class
instances.
Library support is provided for this different representation, include
lens-related functions for converting between each and abstracting over their
similarities.
Validation
The Validation data type is isomorphic to Either, but has an instance
of Applicative that accumulates on the error side. That is to say, if two
(or more) errors are encountered, they are appended using a Semigroup
operation.
As a consequence of this Applicative instance, there is no corresponding
Bind or Monad instance. Validation is an example of, "An applicative
functor that is not a monad."
[Index] [Quick Jump]
Package maintainers
For package maintainers and hackage trustees
Candidates
24 versions
Latest release: 11 months ago
5 dependent packages
24,200 downloads total
View more package details: https://packages.ecosyste.ms/registries/hackage.haskell.org/packages/validation
View more repository details: https://repos.ecosyste.ms/hosts/GitHub/repositories/system-f%2Fvalidation
Dependent Repos 81
paf-2020/semaine-7/paf-tme7-validation
Le squelette du TME7 sur la validation applicative- * validation.cabal
- * validation.cabal
Last synced: over 1 year ago
victorlcasilva/aports
- 1.1.2 testing/darcs/cabal.config
- 1.1.2 testing/stack/cabal.config
Size: 252 MB - Last synced: about 1 year ago - Pushed: over 1 year ago
tonmoyislam250/mineaports
- 1.1.2 testing/darcs/cabal.config
- 1.1.2 testing/stack/cabal.config
Size: 181 MB - Last synced: about 1 year ago - Pushed: over 1 year ago
steshaw/intellij-haskell
IntelliJ plugin for Haskell- 0.5.4 src/main/resources/cabal/cabal.config
Last synced: over 1 year ago
lae/haskell-dns-message
Mirrored from https://github.com/laech/haskell-dns-message.git- 0.5.5 cabal.config
Last synced: over 1 year ago
alpinelinux/aports
[MIRROR] Alpine packages build scripts- 1.1.2 testing/darcs/cabal.config
- 1.1.2 testing/stack/cabal.config
Size: 413 MB - Last synced: 4 days ago - Pushed: 4 days ago
Sintrastes/xen-fret
A web app for generating SVG microtonal scale diagrams for fretted string instruments.- * xen-fret/xen-fret.cabal
Size: 698 KB - Last synced: 6 months ago - Pushed: over 1 year ago
evgenii-malov/MIND-FLOW
some thought day by day- * 2022-10-05/mysql-simple-start/mypr.cabal
- * 2022-10-05/wai-warp-start/msrv.cabal
- * 2022-10-05/websocket-start/wsp.cabal
Size: 272 KB - Last synced: about 1 month ago - Pushed: over 1 year ago
input-output-hk/offchain-metadata-tools
Tools for creating, submitting, and managing off-chain metadata such as multi-asset token metadata- * metadata-lib/metadata-lib.cabal
- * metadata-lib/metadata-lib.cabal
Size: 1.65 MB - Last synced: 6 months ago - Pushed: 6 months ago
PaschaC420/cardano-sl Fork of input-output-hk/cardano-sl
Cryptographic currency implementing Ouroboros PoS protocol- * auxx/cardano-sl-auxx.cabal
Size: 115 MB - Last synced: about 1 year ago - Pushed: over 1 year ago
tbenne10/plutus
This is a CLONE of Cardano's Plutus platform - this was to add our VendorPassthrough contract while keeping the project hidden for a little bit (hence no fork)- * marlowe-actus/marlowe-actus.cabal
- * marlowe-actus/marlowe-actus.cabal
Size: 94.9 MB - Last synced: about 1 year ago - Pushed: about 1 year ago
bgamari/build-env
- 1.1.2 tests/SEEDS/cabal.config
Size: 271 KB - Last synced: 25 days ago - Pushed: about 1 year ago
number-one-best-username/covid-19-NSW
Map Covid-19 cases in NSW- * CovidNSW.cabal
Size: 1.66 MB - Last synced: about 1 year ago - Pushed: over 1 year ago
OlaoluwaM/talk-stacking-your-monads Fork of benkolera/talk-stacking-your-monads
Talk & associated code written for the Brisbane Functional Programming Group 2015-02-24- ==0.5.* code/transaction-importer.cabal
Size: 2.12 MB - Last synced: about 1 year ago - Pushed: almost 9 years ago
Nonovium/graphql-engine Fork of hasura/graphql-engine
Blazing fast, instant realtime GraphQL APIs on your DB with fine grained access control, also trigger webhooks on database events.- * server/graphql-engine.cabal
Size: 84.6 MB - Last synced: about 1 year ago - Pushed: over 1 year ago
effectfully/plutus-prototype Fork of IntersectMBO/plutus
- * marlowe-actus/marlowe-actus.cabal
- * marlowe-actus/marlowe-actus.cabal
- * marlowe-playground-server/marlowe-playground-server.cabal
Size: 118 MB - Last synced: 22 days ago - Pushed: 22 days ago
Tharun-tharun/plutus Fork of ahaxu/plutus
The Plutus language implementation and tools- * marlowe-actus/marlowe-actus.cabal
- * marlowe-actus/marlowe-actus.cabal
- * marlowe-playground-server/marlowe-playground-server.cabal
Size: 68.6 MB - Last synced: about 1 year ago - Pushed: over 1 year ago
darrellcbrown/iohk
- * marlowe-playground-server/marlowe-playground-server.cabal
Size: 107 MB - Last synced: about 1 year ago - Pushed: over 1 year ago
rmourey26/plutus Fork of IntersectMBO/plutus
The Plutus language implementation and tools- * marlowe-actus/marlowe-actus.cabal
- * marlowe-actus/marlowe-actus.cabal
Size: 207 MB - Last synced: 2 months ago - Pushed: 2 months ago
Polytopoi/osl Fork of Orbis-Tertius/osl
A spec language for zero knowledge proofs- * osl.cabal
Size: 1.57 MB - Last synced: 9 months ago - Pushed: 9 months ago
kraj/aports Fork of alpinelinux/aports
Mirror of aports repository- 1.1.2 testing/darcs/cabal.config
- 1.1.2 testing/stack/cabal.config
Size: 383 MB - Last synced: 23 days ago - Pushed: 5 months ago
techniumlabs/aports Fork of alpinelinux/aports
Mirror of aports repository- 1.1.2 testing/darcs/cabal.config
- 1.1.2 testing/stack/cabal.config
Size: 341 MB - Last synced: about 1 month ago - Pushed: about 1 month ago
tcely/aports Fork of alpinelinux/aports
Mirror of aports repository- 1.1.2 testing/darcs/cabal.config
- 1.1.2 testing/stack/cabal.config
Size: 343 MB - Last synced: about 1 month ago - Pushed: about 1 month ago
carlostome/martin
An interactive programming tutor for Agda- * martin.cabal
Size: 312 KB - Last synced: 10 months ago - Pushed: almost 7 years ago
jcgentry/RubiksCube
- 0.5.5 cabal.config
Size: 11.8 MB - Last synced: 11 months ago - Pushed: over 6 years ago
domdere/validation Fork of tonymorris/validation
- * examples/validation-examples.cabal
Size: 421 KB - Last synced: 11 months ago - Pushed: over 9 years ago
onepunchtech/one-punch-linux
- 0.5.5 cabal.config
Size: 38.1 KB - Last synced: about 1 month ago - Pushed: over 6 years ago
bjing/talk-stacking-your-monads Fork of benkolera/talk-stacking-your-monads
Talk & associated code written for the Brisbane Functional Programming Group 2015-02-24- ==0.5.* code/transaction-importer.cabal
Size: 2.12 MB - Last synced: 12 months ago - Pushed: almost 9 years ago
monnef/youtube-tool
CLI tool for easy downloading and opening of videos from YouTube.- 0.5.5 cabal.config
Last synced: about 1 year ago
obsidiansystems/webauthn-demo
A bare bones demo of the WebAuthn Library.- * backend/backend.cabal
Size: 56.6 KB - Last synced: about 1 year ago - Pushed: over 2 years ago
obsidiansystems/reflex-webauthn
Reflex based implementation of webauthn- * backend/reflex-webauthn-backend.cabal
Size: 60.5 KB - Last synced: about 1 year ago - Pushed: over 2 years ago
irreverent-pixel-feats/shush
shell out library that wraps around process- >=0.6 && <1.1 shush.cabal
Size: 48.8 KB - Last synced: 11 months ago - Pushed: about 5 years ago
LeMarwin/tirakatar
Private messenger with e2e encrypted group chats- >=1 && <1.2 tirakatar/tirakatar-app.cabal
Size: 1.77 MB - Last synced: 10 months ago - Pushed: over 3 years ago
irreverent-pixel-feats/ecology
Projects as Code- ==1.* ecology-io/ecology-io.cabal
Size: 101 KB - Last synced: 11 months ago - Pushed: about 4 years ago
Teaspot-Studio/hs-geojson Fork of zellige/hs-geojson
GeoJSON parsing library [Haskell]- ==0.5.* geojson.cabal
Size: 170 KB - Last synced: about 1 year ago - Pushed: over 8 years ago
Jacob-Holm-Mortensen/my-project
- 0.5.5 cabal.config
Size: 10.6 MB - Last synced: about 1 year ago - Pushed: over 6 years ago
pnaranja/haskellbook
Exercises and notes while studying The Haskell Book - http://haskellbook.com/- 0.5.4 chp14/cabal.config
Size: 3.07 MB - Last synced: about 1 month ago - Pushed: over 6 years ago
enigma-commits/euler-hs Fork of juspay/euler-hs
EulerHS: full-fledged framework for creating web backends- * demo/echo-server/echo-server.cabal
Size: 394 KB - Last synced: 3 months ago - Pushed: 3 months ago
cgoldammer/tvshow-performance
Data for reality TV shows with eliminations every episode- * scrape/tvData.cabal
Size: 152 KB - Last synced: 9 months ago - Pushed: almost 6 years ago
MuratOzsoyler/talk-stacking-your-monads Fork of benkolera/talk-stacking-your-monads
Talk & associated code written for the Brisbane Functional Programming Group 2015-02-24- ==0.5.* code/transaction-importer.cabal
Size: 2.12 MB - Last synced: about 1 month ago - Pushed: almost 9 years ago
chrisdone-archive/prana 📦
Interpreter for GHC Haskell- * prana-ghc/prana-ghc.cabal
- * prana-interpreter/prana-interpreter.cabal
Size: 5.93 MB - Last synced: 8 days ago - Pushed: over 4 years ago
chrisdone-archive/streaming-parsers 📦
Streaming parsers collection- * parsax/parsax.cabal
Size: 2.91 MB - Last synced: 23 days ago - Pushed: almost 4 years ago
bergmark/hs-geojson Fork of zellige/hs-geojson
GeoJSON parsing library [Haskell]- ==0.5.* geojson.cabal
Size: 182 KB - Last synced: about 1 year ago - Pushed: almost 9 years ago
kozak/talk-stacking-your-monads Fork of benkolera/talk-stacking-your-monads
Talk & associated code written for the Brisbane Functional Programming Group 2015-02-24- ==0.5.* code/transaction-importer.cabal
Size: 2.12 MB - Last synced: about 1 year ago - Pushed: almost 9 years ago
hi-ogawa/haskell-heroku-docker
- 0.5.2 cabal.config
Size: 21.5 KB - Last synced: 23 days ago - Pushed: almost 8 years ago
mikla/haskell-stack-setup
- 0.5.4 cabal.config
Size: 21.5 KB - Last synced: about 1 year ago - Pushed: almost 7 years ago
chroth7/AoCHaskell
Advent of Code - teaching myself how to Haskell (experiments, ideas, testing...)- 0.5.5 cabal.config
Size: 26.4 KB - Last synced: about 1 year ago - Pushed: over 6 years ago
anhmiuhv/learn_haskell
- 0.5.5 median/cabal.config
Size: 5.49 MB - Last synced: about 1 year ago - Pushed: over 6 years ago
Praveenrajmani/coercible
Haskell - Coercible Practice code- * coercible.cabal
Size: 2.11 MB - Last synced: about 1 year ago - Pushed: almost 4 years ago
hi-ogawa/haskell-tools
- 0.5.2 cabal.config
Size: 15.6 KB - Last synced: 23 days ago - Pushed: almost 8 years ago
hi-ogawa/yesod-experiment
- 0.5.2 cabal.config
Size: 56.6 KB - Last synced: 23 days ago - Pushed: almost 8 years ago
pavlosgi/cloud-haskell
- * program/program.cabal
Size: 10.7 KB - Last synced: about 1 year ago - Pushed: over 6 years ago
jfischoff/partial-options-monoid-pattern
A demo of the Partial Options Monoid pattern- * partial-option-monoid-pattern.cabal
Size: 3.91 KB - Last synced: about 1 year ago - Pushed: almost 7 years ago
dnaumenko/learning_haskell
- 0.5.5 cabal.config
Size: 784 KB - Last synced: about 1 year ago - Pushed: over 6 years ago
LukeWinikates/simple
- 0.5.4 cabal.config
Size: 60.5 KB - Last synced: about 1 month ago - Pushed: almost 7 years ago
gwils/tickle Fork of system-f/tickle
Port of Data.Binary with tighter data types and parameterised error messages- >=0.3.4 tickle.cabal
Size: 28.3 KB - Last synced: 2 months ago - Pushed: over 8 years ago
Teaspot-Studio/model-gridizer
Cutting 3D model into many meshes fitted into grid- 0.5.2 cabal.config
Size: 109 KB - Last synced: about 1 year ago - Pushed: about 8 years ago
ceilican/kcoq Fork of bmmoore/kcoq
Tool used by K framework Coq backend- 0.3.4 cabal.config
Size: 164 KB - Last synced: about 1 year ago - Pushed: almost 10 years ago
DylanHobbs/haskell-shapes
- 0.5.5 cabal.config
Size: 57.6 KB - Last synced: about 1 year ago - Pushed: over 6 years ago
romue404/wildsow.hs 📦
A card game implemented in Haskell- 0.5.4 cabal.config
Size: 11 MB - Last synced: about 1 year ago - Pushed: over 6 years ago
initdc/aports
- 1.1.2 testing/darcs/cabal.config
- 1.1.2 testing/stack/cabal.config
Size: 171 MB - Last synced: about 1 year ago - Pushed: over 1 year ago
yannick-cw/para-search
searching with haskell- 0.5.4 cabal.config
Size: 23.4 KB - Last synced: 2 months ago - Pushed: almost 7 years ago
ahaxu/talk-stacking-your-monads Fork of benkolera/talk-stacking-your-monads
Talk & associated code written for the Brisbane Functional Programming Group 2015-02-24- ==0.5.* code/transaction-importer.cabal
Size: 2.12 MB - Last synced: about 1 year ago - Pushed: almost 9 years ago
JaimeValdemoros/4th-year-project
Github repository for my 4th year project code- 0.5.4 compiler/cabal.config
Size: 375 KB - Last synced: about 1 year ago - Pushed: about 7 years ago
poproulx/99haskell
- 0.6.2 cabal.config
Size: 39.1 KB - Last synced: about 1 year ago - Pushed: over 6 years ago
Seagate/halon 📦
High availability solution- >=1 && <1.1 mero-halon/mero-halon.cabal
Size: 10.7 MB - Last synced: 4 months ago - Pushed: 4 months ago
begray/haskell-crawler-example
Wikipedia crawler in Haskell- 0.5.5 cabal.config
Size: 30.3 KB - Last synced: about 1 year ago - Pushed: over 6 years ago
begray/wiki-crawlers
Wikipedia crawlers implemented in different languages- 0.5.5 haskell/cabal.config
Size: 85.9 KB - Last synced: about 1 year ago - Pushed: about 4 years ago
campezzi/haskell-ddd
Random DDD related things in Haskell- * ddd.cabal
Size: 26.4 KB - Last synced: about 1 year ago - Pushed: almost 7 years ago
fros1y/penumbra
- 0.5.2 cabal.config
Size: 24.5 MB - Last synced: about 1 year ago - Pushed: about 8 years ago
courses-at-nju-by-hfwei/learning-haskell
Learn Haskell and Generally Functional Programming- 0.5.5 haskell-tutorial/cabal.config
- 0.5.5 realworld-haskell/cabal.config
Size: 3.51 MB - Last synced: about 1 year ago - Pushed: over 6 years ago
pangiole/haskell-wamp
WAMP - Web Application Messaging Protocol implementation written in Haskell- 0.5.4 cabal.config
Size: 21.5 KB - Last synced: 10 months ago - Pushed: almost 7 years ago
5pecia1/yesod-study
- 0.5.5 cabal.config
Size: 25.4 KB - Last synced: 4 months ago - Pushed: over 6 years ago
kakkun61/haskell-liquid
Haskell - Liquid Template Language Library- >=0.5.4 && <0.6 liquid.cabal
- >=0.5.4 && <0.6 liquid.cabal
Size: 52.7 KB - Last synced: 23 days ago - Pushed: over 6 years ago
wk-j/haskell-dot
- 0.5.4 cabal.config
Size: 22.5 KB - Last synced: about 1 year ago - Pushed: almost 7 years ago
The-Blockchain-Company/bcc-sl
- * auxx/bcc-sl-auxx.cabal
Size: 5.9 MB - Last synced: about 1 year ago - Pushed: about 2 years ago
maiermic/render-svg-in-sdl2-haskell
An example how to render SVG images in SDL 2 in Haskell.- 0.5.4 cabal.config
Size: 36.1 KB - Last synced: about 1 year ago - Pushed: over 6 years ago
maiermic/haskell-dnants
A simple ant colony simulation based on a cellular automata.- 0.5.4 cabal.config
Size: 4.57 MB - Last synced: about 1 year ago - Pushed: over 6 years ago
mahulst/advent2017
Advent of code 2017 in Haskell- 0.5.5 day1/cabal.config
Size: 25.4 KB - Last synced: about 2 months ago - Pushed: over 6 years ago