Changelog for decidable-0.1.3.0
Changelog
Version 0.1.3.0
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 appropriateElem
andAuto
instances. - Added
Universe
instances (and appropriateElem
andAuto
instances) forProxy
(the null universe) andIdentity
. Auto
instances forIsNothing
andIsLeft
.
Version 0.1.2.0
October 14, 2018
https://github.com/mstksg/decidable/releases/tag/v0.1.2.0
- New
:.:
for universe composition, withElem
andUniverse
instances, and associated functions for working with them alongsideAny
,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 nowIJust
,IsRight
isIRight
,Snd
isISnd
. - Convenience predicates for alternate universes, such as
IsJust
,IsLeft
,IsNothing
, etc. NotAll
quantifier added alongsideNone
.- Many new implications added to Data.Type.Predicate.Quantification, converting not-any and all-not, etc.
NotFound p
added as a convenience predicate synonym forNot (Found p)
.- Some implications showing the equivalence between
Found (InP f)
andNotNull 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
andDecision
added to Data.Type.Predicate:elimDisproof
andmapRefuted
.
Version 0.1.1.0
October 12, 2018
https://github.com/mstksg/decidable/releases/tag/v0.1.1.0
flipDecision
,forgetDisproof
,forgetProof
,isProved
, andisDisproved
added to Data.Type.Predicate module.ProvableTC
,DeccidableTC
,proveTC
, anddecideTC
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.
Version 0.1.0.0
October 10, 2018
https://github.com/mstksg/decidable/releases/tag/v0.1.0.0
- Initial release.