alasconnect/data-validation issues and pull requests

#39 - Version 0.1.2.5

Pull Request - State: closed - Opened by sambolias over 3 years ago

#38 - Loosen Cabal Constraint

Pull Request - State: closed - Opened by sambolias over 3 years ago
Labels: enhancement

#37 - Cabal Check CI

Pull Request - State: closed - Opened by sambolias over 3 years ago - 2 comments

#36 - Cabal Check CI

Issue - State: closed - Opened by sambolias over 3 years ago - 1 comment
Labels: enhancement, question

#35 - Version 0.1.2.4

Pull Request - State: closed - Opened by sambolias over 3 years ago

#34 - Example Testing

Pull Request - State: closed - Opened by sambolias over 3 years ago

#33 - Version 0.1.2.3

Pull Request - State: closed - Opened by sambolias over 3 years ago

#32 - Executable Example

Pull Request - State: closed - Opened by sambolias over 3 years ago

#31 - Version 0.1.2.2

Pull Request - State: closed - Opened by sambolias over 3 years ago

#30 - Cabal conditional library fix

Pull Request - State: closed - Opened by sambolias over 3 years ago
Labels: bug

#29 - Version 0.1.2.1

Pull Request - State: closed - Opened by sambolias over 3 years ago

#28 - Example Library won't build with GHCJS

Issue - State: open - Opened by sambolias over 3 years ago
Labels: bug

#27 - Example Fix for GHCJS Builds

Pull Request - State: closed - Opened by sambolias over 3 years ago - 2 comments
Labels: bug

#26 - Create haskell.yml

Pull Request - State: closed - Opened by boj over 3 years ago - 1 comment

#25 - Version 0.1.2.0 Increment

Pull Request - State: closed - Opened by sambolias over 3 years ago
Labels: documentation

#24 - Add `whenJust` and `isRequiredWhen` functions.

Pull Request - State: closed - Opened by devinlyons over 3 years ago - 2 comments

#23 - Replace `requiredIf` with `validateWhen`.

Pull Request - State: closed - Opened by devinlyons over 3 years ago - 1 comment

#22 - Add Conditionally Required Helpers

Pull Request - State: closed - Opened by sambolias over 3 years ago - 2 comments
Labels: enhancement

#21 - Helper Function Description Edits

Pull Request - State: closed - Opened by sambolias over 3 years ago
Labels: documentation

#20 - Bumped version to 0.1.1.0 and documented changes

Pull Request - State: closed - Opened by wduncanfraser over 3 years ago

#19 - Relaxed constraints for GHC 8.8

Pull Request - State: closed - Opened by wduncanfraser over 3 years ago
Labels: enhancement, hacktoberfest-accepted

#18 - Added helper for flattening a list of proofs

Pull Request - State: closed - Opened by wduncanfraser over 3 years ago
Labels: enhancement, hacktoberfest-accepted

#17 - Failure Get Functions

Issue - State: open - Opened by sambolias almost 4 years ago
Labels: enhancement

#16 - Prep for Release of Version 0.1.0.2.

Pull Request - State: closed - Opened by devinlyons almost 4 years ago

#15 - Loosen cabal versioning restrictions

Pull Request - State: closed - Opened by pjtilsworth almost 4 years ago
Labels: enhancement

#14 - Fix Small Errors In Haddocks And Prep For The Next Release

Pull Request - State: closed - Opened by devinlyons almost 4 years ago

#13 - Small fixes to haddocks

Pull Request - State: closed - Opened by Gabriella439 almost 4 years ago - 1 comment

#12 - Minor inconsistencies in haddock docs

Issue - State: closed - Opened by sambolias almost 4 years ago - 1 comment
Labels: documentation

#11 - Update Change Log With Actual Date

Pull Request - State: closed - Opened by devinlyons almost 4 years ago

#10 - Cleanup Cabal File for Publishing the Package

Pull Request - State: closed - Opened by devinlyons almost 4 years ago - 1 comment

#9 - Add Package Bounds

Pull Request - State: closed - Opened by devinlyons almost 4 years ago

#8 - Add `ifEachProven` Function

Pull Request - State: closed - Opened by devinlyons almost 4 years ago

#7 - Fixes for GHCJS frontend builds

Pull Request - State: closed - Opened by sambolias about 4 years ago - 2 comments
Labels: bug, question

#6 - Frontend build failing to enter nix-shell

Issue - State: closed - Opened by sambolias about 4 years ago - 4 comments
Labels: bug

#5 - Automation: Consider GitHub Actions for proving builds

Issue - State: closed - Opened by boj about 4 years ago
Labels: help wanted

#4 - Call For General Validators

Issue - State: closed - Opened by devinlyons about 4 years ago - 8 comments

#3 - Add Initial Documentation, Tests, and Examples

Pull Request - State: closed - Opened by devinlyons about 4 years ago - 3 comments

#2 - Reorganize modules

Issue - State: closed - Opened by sambolias about 4 years ago - 1 comment

#1 - User friendly names

Issue - State: closed - Opened by sambolias about 4 years ago - 2 comments

GitHub / alasconnect/data-validation issues and pull requests