decidable v0.1.2.0 Release Notes
Release Date: 2018-10-14 // over 5 years ago-
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
.
- New