All Versions
10
Latest Version
Avg Release Cycle
53 days
Latest Release
1878 days ago

Changelog History

  • v0.3.0.0 Changes

    February 03, 2020

    Feburary 2, 2020

    🚀 https://github.com/mstksg/decidable/releases/tag/v0.3.0.0

    • Update to work with singletons-2.6, the type family update
    • Change Evident to now be a defunctionalization symbol for Sing, instead of a type synonym with TyPred, to match with singletons-2.6. Most code in practice should be the same.
    • Fix instances for FProds: now can prove and decide any FProd f (Wit p), and can prove and decide and auto any FProd f WrappedSing.

  • v0.2.1.0 Changes

    August 24, 2019

    August 24, 2019

    🚀 https://github.com/mstksg/decidable/releases/tag/v0.2.1.0

    • Add autoTC for convenient usage of auto with type constructors.

  • v0.2.0.0 Changes

    August 13, 2019

    August 12, 2019

    🚀 https://github.com/mstksg/decidable/releases/tag/v0.2.0.0

    • Full restructuring of the Universe system, pulling it all out into a new package, functor-products.

  • v0.1.5.0 Changes

    March 06, 2019

    March 6, 2018

    🚀 https://github.com/mstksg/decidable/releases/tag/v0.1.5.0

    • Add allToAny to Data.Type.Predicate.Quantification.
    • Add PPMapV, EqBy, and IsTC to Data.Type.Predicate.Param.
    • Kind-indexed singletons for indices in Data.Type.Universe.

  • v0.1.4.0 Changes

    October 30, 2018

    October 29, 2018

    🚀 https://github.com/mstksg/decidable/releases/tag/v0.1.4.0

    • Added tripleNegation and negateTwice to Data.Type.Predicate.Logic, for more constructivist principles.
    • Renamed excludedMiddle to complementation.
    • Add TyPP, SearchableTC, searchTC, SelectableTC, selectTC to Data.Type.Predicate.Param, to mirror TyPred and the DecidableTC/ProvableTC interface from Data.Type.Predicate

  • v0.1.3.1 Changes

    October 27, 2018

    October 26, 2018

    🚀 https://github.com/mstksg/decidable/releases/tag/v0.1.3.1

    • 🛠 BUGFIX Remove overlapping Auto instances for IsNothing and IsLeft.

  • v0.1.3.0 Changes

    October 25, 2018

    October 24, 2018

    🚀 https://github.com/mstksg/decidable/releases/tag/v0.1.3.0

    • Added a type and Universe for universe disjunction or summing, :+:, with appropriate Elem and Auto instances.
    • Added Universe instances (and appropriate Elem and Auto instances) for Proxy (the null universe) and Identity.
    • Auto instances for IsNothing and IsLeft.

  • v0.1.2.0 Changes

    October 14, 2018

    October 14, 2018

    🚀 https://github.com/mstksg/decidable/releases/tag/v0.1.2.0

    • New :.: for universe composition, with Elem and Universe instances, and associated functions for working with them alongside Any, All.
    • Many of the Elem instances and indices in Data.Type.Universe have had their name changed to be more consistent with their role as indices. IsJust is now IJust, IsRight is IRight, Snd is ISnd.
    • Convenience predicates for alternate universes, such as IsJust, IsLeft, IsNothing, etc.
    • NotAll quantifier added alongside None.
    • Many new implications added to Data.Type.Predicate.Quantification, converting not-any and all-not, etc.
    • NotFound p added as a convenience predicate synonym for Not (Found p).
    • Some implications showing the equivalence between Found (InP f) and NotNull f added to Data.Type.Predicate.Param.
    • Many new deduction rules added to Data.Type.Predicate.Auto. Please see module documentation for a detailed list of new rules and classes in this version.
    • Convenient combinators for dealing with Refuted and Decision added to Data.Type.Predicate: elimDisproof and mapRefuted.

  • v0.1.1.0 Changes

    October 12, 2018

    October 12, 2018

    🚀 https://github.com/mstksg/decidable/releases/tag/v0.1.1.0

    • flipDecision, forgetDisproof, forgetProof, isProved, and isDisproved added to Data.Type.Predicate module.
    • ProvableTC, DeccidableTC, proveTC, and decideTC helper functions and constraints
    • Data.Type.Predicate.Auto module, for generating witnesses at compile-time.
    • Instances for injection and projection out of &&& and |||, with some tricks to prevent overlapping instance issues.

  • v0.1.0.0 Changes

    October 11, 2018

    October 10, 2018

    🚀 https://github.com/mstksg/decidable/releases/tag/v0.1.0.0

    • 🚀 Initial release.