kpriv/pkgsrc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
pkgsrc/devel/hs-dependent-sum/Makefile

15 lines
377 B
Makefile
Raw Normal View History

Bump all Haskell packages after enabling "split sections" in mk/haskell.mk
2022-02-26 04:57:43 +01:00
# $NetBSD: Makefile,v 1.2 2022/02/26 03:57:53 pho Exp $
devel/hs-dependent-sum: import hs-dependent-sum-0.7.1.0 A dependent sum is a generalization of a particular way of thinking about the Either type. Either a b can be thought of as a 2-tuple (tag, value), where the value of the tag determines the type of the value. In particular, either tag = Left and value :: a or tag = Right and value :: b. This package allows you to define your own dependent sum types by using your own "tag" types.
2022-02-16 06:06:29 +01:00
DISTNAME= dependent-sum-0.7.1.0
Bump all Haskell packages after enabling "split sections" in mk/haskell.mk
2022-02-26 04:57:43 +01:00
PKGREVISION= 1
devel/hs-dependent-sum: import hs-dependent-sum-0.7.1.0 A dependent sum is a generalization of a particular way of thinking about the Either type. Either a b can be thought of as a 2-tuple (tag, value), where the value of the tag determines the type of the value. In particular, either tag = Left and value :: a or tag = Right and value :: b. This package allows you to define your own dependent sum types by using your own "tag" types.
2022-02-16 06:06:29 +01:00
CATEGORIES= devel
MAINTAINER= pkgsrc-users@NetBSD.org
COMMENT= Dependent sum type
LICENSE= public-domain
.include "../../devel/hs-constraints-extras/buildlink3.mk"
.include "../../devel/hs-some/buildlink3.mk"
.include "../../mk/haskell.mk"
.include "../../mk/bsd.pkg.mk"
Reference in a new issue Copy permalink