1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
|
- 0.1.8
- Support GHC-8.6.5...9.10.1
- 0.1.7
- Add EqP and OrdP instances
- 0.1.6
- Add `boring` instances
- Add `some` (`GEq` etc) instances
- Add `deepseq` instances
- Require GHC-7.8+
- 0.1.5
- Add `discreteBool :: Dec (a :~: b)` (GHC-7.8+)
- Add `Show`, `Eq`, `Ord` `SBool b` instances.
- 0.1.4
- Add `fromSBool` and `withSomeSBool`.
- 0.1.3.0
- Add `reifyBool` and `reflectBool`.
- Drop GHC-7.4 support (broken `PolyKinds`)
- 0.1.2.0
- Enable `PolyKinds` on GHC >= 7.6
- Add `sboolEqRefl :: SBoolI (a == b) => Maybe (a :~: b)`
- 0.1.1.0
- Add `eqToRefl`, `eqCast`, `trivialRefl`
|
