commits

SHA	Message	Author	Date
df95689f	merge Merge pull request #124 from phadej/ghc-9.14	Oleg Grenrus <o**s@ii> Committed by: GitHub <ny@g**m>	4 months ago
1b7f954d	tSupport GHC-9.14	Oleg Grenrus <o**s@i**i>	4 months ago
38555bc6	inspection-testing-0.6	Oleg Grenrus <o**s@i**i>	over 1 year ago
df860fc1	merge Merge pull request #119 from phadej/ghc-9.12	Oleg Grenrus <o**s@ii> Committed by: GitHub <ny@g**m>	over 1 year ago
22e53684	Add GHC-9.12 support	Oleg Grenrus <o**s@i**i>	over 1 year ago
ecfb5672	merge Merge pull request #114 from phadej/explict-ss	Oleg Grenrus <o**s@ii> Committed by: GitHub <ny@g**m>	almost 2 years ago
3119dd5e	Add SS' :: SNat n -> SNat (S n)	Oleg Grenrus <o**s@i**i>	almost 2 years ago
4cfb8b12	merge Merge pull request #113 from phadej/hashable-1.5	Oleg Grenrus <o**s@ii> Committed by: GitHub <ny@g**m>	about 2 years ago
2fa9b0bc	Allow hashable-1.5	Oleg Grenrus <o**s@i**i>	about 2 years ago
1e4a45f1	merge Merge pull request #112 from phadej/noble	Oleg Grenrus <o**s@ii> Committed by: GitHub <ny@g**m>	about 2 years ago
c97a7338	Support GHC-8.6.5...9.10.1	Oleg Grenrus <o**s@i**i>	over 2 years ago
4367d77c	merge Merge pull request #109 from phadej/ghc-9.8	Oleg Grenrus <o**s@ii> Committed by: GitHub <ny@g**m>	almost 3 years ago
d6e1753d	Support GHC-9.8	Oleg Grenrus <o**s@i**i>	almost 3 years ago
39c46f81	Allow bifunctors-5.6 in fin	Oleg Grenrus <o**s@i**i>	over 3 years ago
1826f07b	x-revision in vec-optics and vec-lens	Oleg Grenrus <o**s@i**i>	over 3 years ago
202a73c6	merge Merge pull request #106 from phadej/ghc-9.6	Oleg Grenrus <o**s@ii> Committed by: GitHub <ny@g**m>	over 3 years ago
09fc08ae	base-4.18 and some-1.0.5	Oleg Grenrus <o**s@i**i>	over 3 years ago
0120d4ba	merge Merge pull request #105 from phadej/ghc-9.4	Oleg Grenrus <o**s@ii> Committed by: GitHub <ny@g**m>	about 4 years ago
593c71de	Allow base-4.17, lens-5.2	Oleg Grenrus <o**s@i**i>	about 4 years ago
94bf494b	merge Merge pull request #104 from phadej/split-out-dec	Oleg Grenrus <o**s@ii> Committed by: GitHub <ny@g**m>	about 4 years ago
d5a8c278	Dec is now in own repository	Oleg Grenrus <o**s@i**i>	about 4 years ago
36cdebb4	Update x-revision fields	Oleg Grenrus <o**s@i**i>	over 4 years ago
7f30b7d5	Allow transformers-compat-0.7 in vec	Oleg Grenrus <o**s@i**i>	over 4 years ago
800379bd	merge Merge pull request #101 from phadej/some	Oleg Grenrus <o**s@ii> Committed by: GitHub <ny@g**m>	over 4 years ago
e77d0404	Add some (the package) instances	Oleg Grenrus <o**s@i**i>	over 4 years ago
efd46757	merge Merge pull request #100 from phadej/bounds-2021	Oleg Grenrus <o**s@ii> Committed by: GitHub <ny@g**m>	over 4 years ago
3858462a	merge Merge pull request #99 from phadej/tests-laws	Oleg Grenrus <o**s@ii> Committed by: GitHub <ny@g**m>	over 4 years ago
0430e26c	Move laws to tests/	Oleg Grenrus <o**s@i**i>	over 4 years ago
0deeddf5	merge Merge pull request #98 from phadej/fin-prop	Oleg Grenrus <o**s@ii> Committed by: GitHub <ny@g**m>	over 4 years ago
958f3f57	Add Nat properties test-suite	Oleg Grenrus <o**s@i**i>	over 4 years ago
65609eac	merge Merge pull request #97 from phadej/gt-ge	Oleg Grenrus <o**s@ii> Committed by: GitHub <ny@g**m>	over 4 years ago
dc67362a	Lazier <=, >= and min for Nat	Oleg Grenrus <o**s@i**i>	over 4 years ago
2cf0139c	Explicitly implement > and >= for Nat	Oleg Grenrus <o**s@i**i>	over 4 years ago
f1549d8e	merge Merge pull request #96 from phadej/dfoldr	Oleg Grenrus <o**s@ii> Committed by: GitHub <ny@g**m>	over 4 years ago
97a41b5e	Add dfoldr, dfoldl, and dfoldl'	Oleg Grenrus <o**s@i**i>	over 4 years ago
18126ab4	Trim eol-ws	Oleg Grenrus <o**s@i**i>	over 4 years ago
bef48553	Relax bounds	Oleg Grenrus <o**s@i**i>	over 4 years ago
2c9eca6f	merge Merge pull request #93 from eyeinsky/master	Oleg Grenrus <o**s@ii> Committed by: GitHub <ny@g**m>	almost 5 years ago
a3bc2436	Fix minor spelling mistakes	Markus Läll <m**l@g**m>	almost 5 years ago
a5b674d5	merge Merge pull request #88 from phadej/boring-instances	Oleg Grenrus <o**s@ii> Committed by: GitHub <ny@g**m>	over 5 years ago
7bba20dc	Add boring instances	Oleg Grenrus <o**s@i**i>	over 5 years ago
a895ab79	docspec >= 7.10	Oleg Grenrus <o**s@i**i>	over 5 years ago
defb0d4d	haskell-ci-0.12, update CONTRIBUTING	Oleg Grenrus <o**s@i**i>	over 5 years ago
dcb2e938	Add project files for optical companion libs	Oleg Grenrus <o**s@i**i>	over 5 years ago
e6db47d9	Bump lower-bound for QuickCheck in bin	Oleg Grenrus <o**s@i**i>	over 5 years ago
a68ba7e4	merge Merge pull request #87 from felixonmars/patch-1	Oleg Grenrus <o**s@ii> Committed by: GitHub <ny@g**m>	over 5 years ago
6fe8774b	Correct typos in Data/Bin/Pos.hs	Felix Yan <f**s@ag> Committed by: GitHub <ny@g**m>	over 5 years ago
0c451432	merge Merge pull request #86 from phadej/ghc-9.0	Oleg Grenrus <o**s@ii> Committed by: GitHub <ny@g**m>	over 5 years ago
609de8da	Add GHC-9.0 job to CI	Oleg Grenrus <o**s@i**i>	over 5 years ago
4a62fff8	Add tested-with: GHC==9.0.1 to dec.cabal	Oleg Grenrus <o**s@i**i>	over 5 years ago
4a2151c5	merge Merge pull request #85 from phadej/tests-tweak	Oleg Grenrus <o**s@ii> Committed by: GitHub <ny@g**m>	over 5 years ago
dab6c368	Tweak tests	Oleg Grenrus <o**s@i**i>	over 5 years ago
da04466c	Fix condition in dec.cabal	Oleg Grenrus <o**s@i**i>	over 5 years ago
5acd4c98	merge Merge pull request #84 from phadej/pr-80-last-init	Oleg Grenrus <o**s@ii> Committed by: GitHub <ny@g**m>	over 5 years ago
85518f7f	merge Merge pull request #81 from phadej/functor-classes-vec	Oleg Grenrus <o**s@ii> Committed by: GitHub <ny@g**m>	over 5 years ago
b4b6e804	merge Merge pull request #82 from phadej/fix-ci-doctest	Oleg Grenrus <o**s@ii> Committed by: GitHub <ny@g**m>	over 5 years ago
0e859474	Try if this fixes doctest on CI	Oleg Grenrus <o**s@i**i>	over 5 years ago
2f6311d1	Add Eq1, Ord1, Show1 instances	Oleg Grenrus <o**s@i**i>	over 5 years ago
d6d57a89	Allow base-4.16	Oleg Grenrus <o**s@i**i>	over 5 years ago
e9e4d7f0	Add last, init and toNonEmpty function	ambroslins <a**s@gm> Committed by: Oleg Grenrus <os@i**i>	over 5 years ago
b751a5bb	More imports	Oleg Grenrus <o**s@i**i>	over 5 years ago
4dae276e	merge Merge pull request #79 from phadej/indexed-traversable	Oleg Grenrus <o**s@ii> Committed by: GitHub <ny@g**m>	over 5 years ago
815b3c04	merge Merge pull request #78 from phadej/explicitly-safe	Oleg Grenrus <o**s@ii> Committed by: GitHub <ny@g**m>	over 5 years ago
2e908da3	fin,bin,vec,ral are explicitly Safe	Oleg Grenrus <o**s@i**i>	over 5 years ago
cdd9311b	merge Merge pull request #77 from phadej/indexed-traversable	Oleg Grenrus <o**s@ii> Committed by: GitHub <ny@g**m>	over 5 years ago
ac0f0552	Add indexed-traversable instances	Oleg Grenrus <o**s@i**i>	over 5 years ago
fc203210	Add indexed-traversable instances	Oleg Grenrus <o**s@i**i>	over 5 years ago
c0ec0738	foldl like compare on BinP	Oleg Grenrus <o**s@i**i>	over 5 years ago
6fb1f6e1	merge Merge pull request #76 from phadej/docspec	Oleg Grenrus <o**s@ii> Committed by: GitHub <ny@g**m>	over 5 years ago
425f832b	Use cabal-docspec	Oleg Grenrus <o**s@i**i>	over 5 years ago
1924479b	merge Merge pull request #75 from phadej/snati-is-induction	Oleg Grenrus <o**s@ii> Committed by: GitHub <ny@g**m>	over 5 years ago
7e0aa70e	Make SNatI be an Induction	Oleg Grenrus <o**s@i**i>	over 5 years ago
d2b3908e	merge Merge pull request #74 from phadej/simplified-subsumption	Oleg Grenrus <o**s@ii> Committed by: GitHub <ny@g**m>	over 5 years ago
209cd1af	Simplified subsumption	Oleg Grenrus <o**s@i**i>	over 5 years ago
c72c0b01	merge Merge pull request #73 from phadej/max	Oleg Grenrus <o**s@ii> Committed by: GitHub <ny@g**m>	over 5 years ago
76f85226	Manual Ord Nat with better max and min	Oleg Grenrus <o**s@i**i>	over 5 years ago
a6f938d2	merge Merge pull request #72 from phadej/gha	Oleg Grenrus <o**s@ii> Committed by: GitHub <ny@g**m>	over 5 years ago
b87706c5	Fix vec GHC-7.10 build	Oleg Grenrus <o**s@i**i>	over 5 years ago
76007cd0	Use GitHub Actions	Oleg Grenrus <o**s@i**i>	over 5 years ago
e7f8d2bf	merge Merge pull request #70 from mstksg/lazy-vec-product	Oleg Grenrus <o**s@ii> Committed by: GitHub <ny@g**m>	almost 6 years ago
d2dedab4	lazy vec product bug	Justin Le <j**n@j**m>	almost 6 years ago
06c644f4	Update .travis.yml (cabal-install-3.4)	Oleg Grenrus <o**s@i**i>	almost 6 years ago
ace1b752	merge Merge pull request #69 from phadej/universe	Oleg Grenrus <o**s@ii> Committed by: GitHub <ny@g**m>	about 6 years ago
fba74f91	Add universe-base instances to Nat and Fin	Oleg Grenrus <o**s@i**i>	about 6 years ago
44f31e8e	merge Merge pull request #68 from phadej/take-drop	Oleg Grenrus <o**s@ii> Committed by: GitHub <ny@g**m>	about 6 years ago
2cdbd85d	Add take and drop	Oleg Grenrus <o**s@i**i>	about 6 years ago
9df67829	Allow tasty-1.3	Oleg Grenrus <o**s@i**i>	over 6 years ago
4b99ce64	Regenerate .travis.yml	Oleg Grenrus <o**s@i**i>	over 6 years ago
696e4373	merge Merge pull request #66 from phadej/ravec-tree-df	Oleg Grenrus <o**s@ii> Committed by: GitHub <ny@g**m>	over 6 years ago
90fc529d	RAVec.Tree.DF.Optics/Lens	Oleg Grenrus <o**s@i**i>	over 6 years ago
337cdd30	Add RAVec.Tree.DF	Oleg Grenrus <o**s@i**i>	over 6 years ago
7def0985	merge Merge pull request #65 from phadej/ghc-8.10b	Oleg Grenrus <o**s@ii> Committed by: GitHub <ny@g**m>	over 6 years ago
af64bc3a	GHC-8.10 optics-0.3	Oleg Grenrus <o**s@i**i>	over 6 years ago
11e337bb	Allow QC-2.14	Oleg Grenrus <o**s@i**i>	over 6 years ago
b9b33c6b	merge Merge pull request #64 from phadej/ghc-8.10a	Oleg Grenrus <o**s@ii> Committed by: GitHub <ny@g**m>	over 6 years ago
9cd1de5f	Allow base-4.14 mostly	Oleg Grenrus <o**s@i**i>	over 6 years ago
898065a4	merge Merge pull request #63 from phadej/one-less-error	Oleg Grenrus <o**s@ii> Committed by: GitHub <ny@g**m>	over 6 years ago
b8f411d2	Remove error usage in Enum derivation.	Oleg Grenrus <o**s@i**i>	over 6 years ago
4643c63f	Update ral package descriptions	Oleg Grenrus <o**s@i**i>	over 6 years ago
09aa81ba	Improve wording in vec-lens and vec-optics package descriptions	Oleg Grenrus <o**s@i**i>	over 6 years ago

← Back to repository

ecosyste.ms

Data

Tools

Indexes

Applications

Experiments

Commits

GitHub / phadej/vec / commits