Skip to content

Actions: solomon-b/monoidal-functors

Actions

nix:build

Actions

Loading...

Show workflow options

Create status badge

nix.yml
203 workflow runs
203 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Adds Profunctor nix:build #344: Commit 6c16fc8 pushed by solomon-b
January 29, 2024 19:43 2m 56s solomon/categorical-functor
solomon/categorical-functor
January 29, 2024 19:43 2m 56s
Generic Functor attempt 1: IcelandJack's categorical functor proposal nix:build #343: Pull request #46 synchronize by solomon-b
January 29, 2024 19:02 3m 1s solomon/categorical-functor
solomon/categorical-functor
January 29, 2024 19:02 3m 1s
Fixes first, second, and bimap. nix:build #342: Commit 3d671fc pushed by solomon-b
January 29, 2024 19:02 2m 57s solomon/categorical-functor
solomon/categorical-functor
January 29, 2024 19:02 2m 57s
Generic Functor attempt 1: IcelandJack's categorical functor proposal nix:build #341: Pull request #46 synchronize by solomon-b
January 27, 2024 02:54 2m 49s solomon/categorical-functor
solomon/categorical-functor
January 27, 2024 02:54 2m 49s
Adds more examples of FunctorOf and a working Category instance for N… nix:build #340: Commit 829270d pushed by solomon-b
January 27, 2024 02:54 2m 52s solomon/categorical-functor
solomon/categorical-functor
January 27, 2024 02:54 2m 52s
Generic Functor attempt 1: IcelandJack's categorical functor proposal nix:build #339: Pull request #46 synchronize by solomon-b
January 27, 2024 02:53 2m 53s solomon/categorical-functor
solomon/categorical-functor
January 27, 2024 02:53 2m 53s
Adds more examples of FunctorOf and a working Category instance for N… nix:build #338: Commit 4c81d17 pushed by solomon-b
January 27, 2024 02:53 2m 56s solomon/categorical-functor
solomon/categorical-functor
January 27, 2024 02:53 2m 56s
Generic Functor attempt 1: IcelandJack's categorical functor proposal nix:build #337: Pull request #46 synchronize by solomon-b
January 24, 2024 21:30 4m 9s solomon/categorical-functor
solomon/categorical-functor
January 24, 2024 21:30 4m 9s
Iceland Jack's categorical functor proposal nix:build #336: Commit 6216a68 pushed by solomon-b
January 24, 2024 21:30 3m 55s solomon/categorical-functor
solomon/categorical-functor
January 24, 2024 21:30 3m 55s
Implements Traversable Phase 1 (Tupling) nix:build #335: Pull request #45 synchronize by solomon-b
January 24, 2024 21:29 4m 25s solomon/hkd-traversable
solomon/hkd-traversable
January 24, 2024 21:29 4m 25s
Draft of Trifunctor.Traversable nix:build #334: Commit 33b24ef pushed by solomon-b
January 24, 2024 21:29 2m 53s solomon/hkd-traversable
solomon/hkd-traversable
January 24, 2024 21:29 2m 53s
Merge pull request #44 from solomon-b/solomon/missing-trifunctor-oper… nix:build #333: Commit a5fca19 pushed by solomon-b
January 24, 2024 21:28 2m 52s main
main
January 24, 2024 21:28 2m 52s
Adds missing common trifunctor combine operators. nix:build #332: Pull request #44 synchronize by solomon-b
January 24, 2024 21:21 2m 54s solomon/missing-trifunctor-operators
solomon/missing-trifunctor-operators
January 24, 2024 21:21 2m 54s
Adds missing combine operators. nix:build #331: Commit 2fe7753 pushed by solomon-b
January 24, 2024 21:21 2m 49s solomon/missing-trifunctor-operators
solomon/missing-trifunctor-operators
January 24, 2024 21:21 2m 49s
Adds missing common trifunctor combine operators. nix:build #330: Pull request #44 synchronize by solomon-b
January 24, 2024 21:21 2m 50s solomon/missing-trifunctor-operators
solomon/missing-trifunctor-operators
January 24, 2024 21:21 2m 50s
Adds missing combine operators. nix:build #329: Commit 5844ceb pushed by solomon-b
January 24, 2024 21:20 2m 51s solomon/missing-trifunctor-operators
solomon/missing-trifunctor-operators
January 24, 2024 21:20 2m 51s
Adds missing common trifunctor combine operators. nix:build #328: Pull request #44 synchronize by solomon-b
January 24, 2024 21:13 2m 54s solomon/missing-trifunctor-operators
solomon/missing-trifunctor-operators
January 24, 2024 21:13 2m 54s
Adds missing combine operators. nix:build #327: Commit 99b43dd pushed by solomon-b
January 24, 2024 21:13 3m 6s solomon/missing-trifunctor-operators
solomon/missing-trifunctor-operators
January 24, 2024 21:13 3m 6s
Merge pull request #43 from solomon-b/solomon/from-biapplicative-newtype nix:build #326: Commit a58e487 pushed by solomon-b
January 24, 2024 19:40 2m 55s main
main
January 24, 2024 19:40 2m 55s
Adds FromBiapplicative newtype and deriving via instances. nix:build #325: Pull request #43 synchronize by solomon-b
January 24, 2024 19:32 4m 24s solomon/from-biapplicative-newtype
solomon/from-biapplicative-newtype
January 24, 2024 19:32 4m 24s
Fix tested-with clause in cabal file. nix:build #324: Commit c5c20c0 pushed by solomon-b
January 24, 2024 19:32 4m 11s solomon/from-biapplicative-newtype
solomon/from-biapplicative-newtype
January 24, 2024 19:32 4m 11s
Adds FromBiapplicative newtype and deriving via instances. nix:build #323: Pull request #43 synchronize by solomon-b
January 24, 2024 19:31 2m 51s solomon/from-biapplicative-newtype
solomon/from-biapplicative-newtype
January 24, 2024 19:31 2m 51s
Adds FromBiapplicative newtype and deriving via instances. nix:build #322: Commit 6c2bf2b pushed by solomon-b
January 24, 2024 19:31 2m 55s solomon/from-biapplicative-newtype
solomon/from-biapplicative-newtype
January 24, 2024 19:31 2m 55s
Adds FromBiapplicative newtype and deriving via instances. nix:build #321: Pull request #43 synchronize by solomon-b
January 24, 2024 19:29 2m 57s solomon/from-biapplicative-newtype
solomon/from-biapplicative-newtype
January 24, 2024 19:29 2m 57s
Adds FromBiapplicative newtype and deriving via instances. nix:build #320: Commit b2620a6 pushed by solomon-b
January 24, 2024 19:29 2m 56s solomon/from-biapplicative-newtype
solomon/from-biapplicative-newtype
January 24, 2024 19:29 2m 56s