hvect 0.4.0.0 → 0.4.0.1
raw patch · 4 files changed
+9/−14 lines, 4 filesdep ~basePVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependency ranges changed: base
API changes (from Hackage documentation)
+ Data.HVect: type family (m :: Nat) :< (n :: Nat) :: Bool
- Data.HVect: [:&:] :: !t -> !(HVect ts) -> HVect (t : ts)
+ Data.HVect: [:&:] :: !t -> !HVect ts -> HVect (t : ts)
- Data.HVect: [SSucc] :: SNat n -> SNat (Succ n)
+ Data.HVect: [SSucc] :: SNat n -> SNat ('Succ n)
- Data.HVect: [SZero] :: SNat Zero
+ Data.HVect: [SZero] :: SNat 'Zero
- Data.HVect: findFirst :: forall x ts n. (ListContains n x ts) => HVect ts -> x
+ Data.HVect: findFirst :: forall x ts n. ListContains n x ts => HVect ts -> x
Files
- LICENSE +1/−1
- README.md +4/−10
- hvect.cabal +3/−3
- src/Data/HVect.hs +1/−0
LICENSE view
@@ -1,5 +1,5 @@ Copyright (c) 2014 - 2015 Tim Baumann <tim@timbaumann.info>-Copyright (c) 2014 - 2017 Alexander Thiemann <mail@athiemann.net>+Copyright (c) 2014 - 2022 Alexander Thiemann <mail@athiemann.net> Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the
README.md view
@@ -19,15 +19,9 @@ * From Source (cabal): `git clone https://github.com/agrafix/hvect.git && cd hvect && cabal install` * From Source (stack): `git clone https://github.com/agrafix/hvect.git && cd hvect && stack build` --## Misc--### Supported GHC Versions--* 7.8.4-* 7.10.2--### License+## License Released under the MIT license.-(c) 2014 - 2016 Alexander Thiemann <mail@athiemann.net>, Tim Baumann <tim@timbaumann.info>+(c) 2014 - 2022 Alexander Thiemann <mail@athiemann.net>, Tim Baumann <tim@timbaumann.info>++By contributing to this repository you agree that your contributions will be released under the MIT license.
hvect.cabal view
@@ -1,5 +1,5 @@ name: hvect-version: 0.4.0.0+version: 0.4.0.1 synopsis: Simple strict heterogeneous lists description: Small, concise and simple implementation of heterogeneous lists with useful utility functions homepage: https://github.com/agrafix/hvect@@ -8,11 +8,11 @@ license-file: LICENSE author: Alexander Thiemann <mail@athiemann.net>, Tim Baumann <tim@timbaumann.info> maintainer: Alexander Thiemann <mail@athiemann.net>-copyright: (c) 2014 - 2017 Alexander Thiemann <mail@athiemann.net>, Tim Baumann <tim@timbaumann.info>+copyright: (c) 2014 - 2022 Alexander Thiemann <mail@athiemann.net>, Tim Baumann <tim@timbaumann.info> category: Data build-type: Simple cabal-version: >=1.10-tested-with: GHC==7.10.2, GHC==8.0.1+tested-with: GHC==8.10.7, GHC==9.2 extra-source-files: README.md
src/Data/HVect.hs view
@@ -1,4 +1,5 @@ {-# LANGUAGE DataKinds #-}+{-# LANGUAGE FlexibleContexts#-} {-# LANGUAGE FlexibleInstances #-} {-# LANGUAGE GADTs #-} {-# LANGUAGE KindSignatures #-}