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: 10 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
darrellcbrown/iohk
- * marlowe-actus/marlowe-actus.cabal
- * marlowe-actus/marlowe-actus.cabal
Size: 107 MB - Last synced: about 1 year ago - Pushed: over 1 year ago
mattborghi/plutus Fork of IntersectMBO/plutus
The Plutus language implementation and tools- * marlowe-playground-server/marlowe-playground-server.cabal
Size: 90 MB - Last synced: 21 days ago - Pushed: about 1 year ago
system-f/tickle
Port of Data.Binary with tighter data types and parameterised error messages- >=1 && <1.1 tickle.cabal
Size: 45.9 KB - Last synced: 26 days ago - Pushed: over 1 year ago
benkolera/talk-stacking-your-monads
Talk & associated code written for the Brisbane Functional Programming Group 2015-02-24- ==0.5.* code/transaction-importer.cabal
- ==0.5.* code-classy/transaction-importer.cabal
Size: 2.12 MB - Last synced: about 1 year ago - Pushed: almost 9 years ago
sealchain-project/sealchain
Financial blockchain based on cardano-sl- * auxx/sealchain-auxx.cabal
Size: 7.64 MB - Last synced: about 1 year ago - Pushed: over 1 year ago
obsidiansystems/rhyolite
- * frontend/rhyolite-frontend.cabal
Size: 1.34 MB - Last synced: 28 days ago - Pushed: 4 months ago
danclien/validation-aeson
- * validation-aeson.cabal
Size: 117 KB - Last synced: about 1 year ago - Pushed: over 9 years ago
nkpart/applicatives
applicative 'transformer' classes ala mtl- * applicatives.cabal
Size: 207 KB - Last synced: about 1 year ago - Pushed: about 9 years ago
runtimeverification/iele-semantics
Semantics of Virtual Machine for IELE prototype blockchain- * iele-assemble/iele-assemble.cabal
Size: 5.47 MB - Last synced: 27 days ago - Pushed: 10 months ago
signed/learning-haskell
- 0.5.5 cabal.config
Size: 83 KB - Last synced: about 1 month ago - Pushed: about 6 years ago
qfpl/sv
Comma (and other) separated values- >=1 && <1.2 sv/sv.cabal
- >=1 && <1.2 sv/sv.cabal
- >=1 && <1.2 sv-cassava/sv-cassava.cabal
- >=1 && <1.2 sv-cassava/sv-cassava.cabal
- >=1 && <1.2 sv-core/sv-core.cabal
- >=1 && <1.2 sv-core/sv-core.cabal
- >=1 && <1.2 sv-svfactor/sv-svfactor.cabal
Size: 1.12 MB - Last synced: 8 days ago - Pushed: 6 months ago
L7R7/haskell-incubator
Playground for Haskell stuff- * hkdts/hkdts.cabal
Size: 117 KB - Last synced: 8 months ago - Pushed: 8 months ago
acidburn0zzz/cardano-sl Fork of input-output-hk/cardano-sl
Cryptographic currency implementing Ouroboros PoS protocol- * auxx/cardano-sl-auxx.cabal
Size: 85.9 MB - Last synced: 28 days ago - Pushed: about 2 months ago
tweag/webauthn
A library for parsing and validating webauthn/fido2 credentials- ==1.1.* webauthn.cabal
- * webauthn.cabal
Size: 6 MB - Last synced: 5 days ago - Pushed: about 1 month ago
peterbecich/cabal-resolver-issue
- * ayqaodtiqr-lyoodcipiw-hvmfzfurzz/ayqaodtiqr-lyoodcipiw-hvmfzfurzz.cabal
- * ayqaodtiqr-lyoodcipiw-hvmfzfurzz/ayqaodtiqr-lyoodcipiw-hvmfzfurzz.cabal
- * jcegwdirei-vaumuhoxie-bcwqnqadzl/jcegwdirei-vaumuhoxie-bcwqnqadzl.cabal
- * jcegwdirei-vaumuhoxie-bcwqnqadzl/jcegwdirei-vaumuhoxie-bcwqnqadzl.cabal
- * jcegwdirei-vaumuhoxie-bcwqnqadzl/jcegwdirei-vaumuhoxie-bcwqnqadzl.cabal
- * mjibzvuwhs-kggqbkkqva-qcbtnsewyz/mjibzvuwhs-kggqbkkqva-qcbtnsewyz.cabal
- * mjibzvuwhs-kggqbkkqva-qcbtnsewyz/mjibzvuwhs-kggqbkkqva-qcbtnsewyz.cabal
- * rnxlejaloz-yuvvexhhzr-ivfpeumqge/rnxlejaloz-yuvvexhhzr-ivfpeumqge.cabal
- * rnxlejaloz-yuvvexhhzr-ivfpeumqge/rnxlejaloz-yuvvexhhzr-ivfpeumqge.cabal
- * wjcvquzmqj-ngmhegkhun-ozevzugvrv/wjcvquzmqj-ngmhegkhun-ozevzugvrv.cabal
- * wjcvquzmqj-ngmhegkhun-ozevzugvrv/wjcvquzmqj-ngmhegkhun-ozevzugvrv.cabal
Size: 670 KB - Last synced: 17 days ago - Pushed: over 1 year ago
qfpl/reflex-realworld-example
- * backend/backend.cabal
Size: 2.44 MB - Last synced: about 2 months ago - Pushed: over 2 years ago
jisantuc/tiny-test
Like tiny-servant, but for testing frameworks- * tiny-test.cabal
Size: 24.4 KB - Last synced: about 1 year ago - Pushed: about 3 years ago
input-output-hk/metadata-server ๐ฆ
- * metadata-validator-github/metadata-validator-github.cabal
Size: 614 KB - Last synced: about 1 year ago - Pushed: about 3 years ago
plow-technologies/vinyl-test
Testing vinyl for tying data types together- * vinyl-test.cabal
Size: 102 KB - Last synced: 9 months ago - Pushed: over 9 years ago
haroldcarr/learn-haskell-coq-ml-etc
Where I try code from Haskell (etc) books, articles, etc.- * haskell/topic/testing/2019-11-oskar-wickstrom-tt-and-fixing-bugs-with-property-based-testing/oskar-wickstrom-tt-and-fixing-bugs-with-property-based-testing.cabal
- * haskell/topic/testing/2019-11-oskar-wickstrom-tt-and-fixing-bugs-with-property-based-testing/oskar-wickstrom-tt-and-fixing-bugs-with-property-based-testing.cabal
- * haskell/topic/type-level/2020-04-gabriel-volpe-parallel-typeclass/gabriel-volpe-parallel-typeclass.cabal
Size: 20 MB - Last synced: 9 months ago - Pushed: about 1 year ago
etorreborre/producer-hs
Simple streaming library for Haskell- 0.5.5 cabal.config
Size: 39.1 KB - Last synced: 10 days ago - Pushed: over 6 years ago
google/haskell-indexer
Emits code crossreference data for Haskell sources.- ==0.5.4 wrappers/stack-docker/everything/everything.cabal
Size: 447 KB - Last synced: 3 days ago - Pushed: almost 4 years ago
morley-framework/morley-metadata
Types and helpers to implement a TZIP-16 (metadata) compliant smart contract using the Morley framework.- * code/morley-metadata/morley-metadata.cabal
Last synced: 11 months ago
querl.dox/linux/alpine_linux/aports
- 1.1.2 testing/darcs/cabal.config
- 1.1.2 testing/stack/cabal.config
Last synced: 11 months ago
artemwright/Plutus.
- * marlowe-actus/marlowe-actus.cabal
- * marlowe-actus/marlowe-actus.cabal
Size: 64.8 MB - Last synced: 12 months ago - Pushed: about 3 years ago
icicle-lang/icicle-ambiata
A streaming query language.- ==0.5.* icicle-compiler/icicle.cabal
Size: 13.5 MB - Last synced: about 1 year ago - Pushed: over 3 years ago
YoEight/pubsubhub
- ==0.3.* lib/pubsubhub.cabal
Size: 133 KB - Last synced: about 1 year ago - Pushed: over 9 years 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-playground-server/marlowe-playground-server.cabal
Size: 94.9 MB - Last synced: about 1 year ago - Pushed: about 1 year ago
TheBizzle/AStar-Haskell
Toy implementation of A* in Haskell- >=1 && <1.1.0 astar-bizzle.cabal
Size: 32.2 KB - Last synced: about 1 year ago - Pushed: about 6 years ago
ronak877/waziup-api Fork of Waziup/wazicloud-api
- * waziup.cabal
Size: 2.31 MB - Last synced: 27 days ago - Pushed: over 2 years ago
input-output-hk/cardano-metadata-submitter ๐ฆ
A library and CLI for manipulating data for the Metadata Server CIP- * cardano-metadata-submitter.cabal
Size: 250 KB - Last synced: 23 days ago - Pushed: about 3 years ago
pittsburgh-haskell/data-validation-demo-haskell
Code for Pittsburgh Code and Supply presentation- >=0.5 data-validation-demo.cabal
- >=0.5 data-validation-demo.cabal
Size: 17.6 KB - Last synced: about 1 year ago - Pushed: almost 7 years ago
input-output-hk/offchain-metadata-tools
Tools for creating, submitting, and managing off-chain metadata such as multi-asset token metadata- * metadata-validator-github/metadata-validator-github.cabal
- * token-metadata-creator/token-metadata-creator.cabal
Size: 1.65 MB - Last synced: 6 months ago - Pushed: 6 months ago
icicle-lang/icicle
Icicle Streaming Query Language- >=1 && <1.2 icicle-source/icicle-source.cabal
Size: 14.2 MB - Last synced: 6 days ago - Pushed: 6 days ago
system-f/validation
A data-type like Either but with an accumulating Applicative- * validation.cabal
Size: 172 KB - Last synced: 16 days ago - Pushed: 10 months ago
input-output-hk/ECIP-Checkpointing
Checkpointing Code + ECIP- * morpho-checkpoint-node/morpho-checkpoint-node.cabal
- * morpho-checkpoint-node/morpho-checkpoint-node.cabal
Size: 1.5 MB - Last synced: 8 months ago - Pushed: about 2 years ago
multiversx/mx-vm-iele
VM code, VM tests, and adapters to the MultiversX blockchain node. Not currently in use.- * iele/compiler/compiler/compiler.cabal
Size: 206 MB - Last synced: about 1 month ago - Pushed: over 1 year ago
codejones-hub/plutus
- * marlowe-actus/marlowe-actus.cabal
- * marlowe-actus/marlowe-actus.cabal
- * marlowe-playground-server/marlowe-playground-server.cabal
Size: 71.7 MB - Last synced: about 1 year ago - Pushed: over 1 year ago
bmmoore/kcoq
Tool used by K framework Coq backend- 0.3.4 cabal.config
- * kcoq.cabal
Size: 164 KB - Last synced: 12 months ago - Pushed: over 9 years ago
input-output-hk/cardano-sl ๐ฆ
Cryptographic currency implementing Ouroboros PoS protocol- * auxx/cardano-sl-auxx.cabal
- * node/cardano-sl-node.cabal
Size: 114 MB - Last synced: 3 months ago - Pushed: almost 4 years ago
Belinsky-L-V/HABQT
Hierarchical adaptive Bayesian quantum tomography for quantum bits- >=1 && <1.1 HABQT.cabal
Size: 28.3 KB - Last synced: 9 months ago - Pushed: almost 6 years ago
Engincs/aports Fork of alpinelinux/aports
[MIRROR] Alpine packages build scripts- 1.1.2 testing/darcs/cabal.config
- 1.1.2 testing/stack/cabal.config
Size: 352 MB - Last synced: about 8 hours ago - Pushed: about 18 hours ago
kindaro/cabal-prettify
- >=1 && <1.2 test-data/other/validation-examples.cabal
- * test-data/other/validation-lightweight.cabal
Size: 356 KB - Last synced: about 1 month ago - Pushed: about 1 month ago
PardusEidolon/haskell-first-principles
Stuff I do with Haskell- * haskell-first-principles/chapter-17/applicprops/applicprops.cabal
- * haskell-first-principles/chapter-17/applicprops/applicprops.cabal
Size: 5.95 MB - Last synced: about 1 year ago - Pushed: over 1 year ago
input-output-hk/project-icarus-importer ๐ฆ
Icarus, a reference implementation for a lightweight wallet developed by the IOHK Engineering Team.- * auxx/cardano-sl-auxx.cabal
Size: 80.6 MB - Last synced: 7 months ago - Pushed: over 5 years ago
nattybear/finding-success-and-failure-in-haskell
์ฑ Finding Success (and Failure) in Haskell์ ๋์ค๋ ์ฝ๋๋ฅผ ์ ์ฅํ๋ ๊ณณ์ ๋๋ค.- * src/validation-book/validation-book.cabal
Size: 88.9 KB - Last synced: about 1 year ago - Pushed: about 2 years ago
tonymorris/validation
- * validation.cabal
Size: 152 KB - Last synced: 27 days ago - Pushed: over 2 years ago
SamProtas/composable-associations
Library providing polymorphic composition of serialized haskell data to reduce boilerplate.- 0.5.4 composable-associations/cabal.config
- 0.5.4 composable-associations-aeson/cabal.config
Size: 47.9 KB - Last synced: 16 days ago - Pushed: about 3 years ago
serokell/lootbox
Toolbox for your cool project- * code/config/loot-config.cabal
Size: 514 KB - Last synced: about 1 month ago - Pushed: over 1 year ago
zellige/hs-geojson
GeoJSON parsing library [Haskell]- >=1 && <2.0 geojson.cabal
- >=1 && <2.0 geojson.cabal
Size: 266 KB - Last synced: 15 days ago - Pushed: 12 months ago
dnaumenko/learning_notes
Collection of exercises from various books/sites- 0.5.5 learning_haskell/cabal.config
Size: 4.29 MB - Last synced: about 1 year ago - Pushed: over 1 year ago
bjpop/language-python-test
Code for testing the language-python library- 0.5.3 cabal.config
Size: 1.53 MB - Last synced: 7 days ago - Pushed: over 5 years ago
rmourey26/plutus
The Plutus language implementation and tools- * marlowe-actus/marlowe-actus.cabal
- * marlowe-actus/marlowe-actus.cabal
Last synced: about 1 year ago
DeCentN2Madness/edu-typeclasses
My own stumbling about with Haskell thanks to Type Classes.- * validate/validate.cabal
Size: 53.7 KB - Last synced: about 1 year ago - Pushed: almost 2 years ago
sumitraja/upnp-client
UPNP Client primarily targeted at getting content off a ContentDirectory- 0.5.2 cabal.config
Size: 4.57 MB - Last synced: over 1 year ago
danieljharvey/mega-haskell
All of things for the blog- * test-site.cabal
- * test-site.cabal
Size: 391 KB - Last synced: about 1 year ago - Pushed: over 1 year ago
jacobstern/hamilton
- 0.5.5 cabal.config
- 0.5.5 hamilton/cabal.config
Size: 856 KB - Last synced: over 1 year ago
karelfv/alpinelinux_aports Fork of alpinelinux/aports
[MIRROR] Alpine packages build scripts- 1.1.2 testing/darcs/cabal.config
- 1.1.2 testing/stack/cabal.config
Size: 434 MB - Last synced: about 1 year ago - Pushed: about 1 year ago
smunix-github/prana
Interpreter for GHC Haskell- * prana-interpreter/prana-interpreter.cabal
Last synced: over 1 year ago