4242bd1 · type-level-sets

git.iko.soy/type-level-sets

Merge pull request #19 from ivanbakel/master

Update to compatibility with 8.4 type changes

commit4242bd1f003fc7e306eed0deb92874b30c993481 authorDominic Orchard <dom.orchard@gmail.com> dateThu 29 Nov 2018, 11:26 (8 years ago) parent828198f dfaa1e7

3 files changed+5−5

compare with master

unifiedsplit

src/Data/Type/Set.hs+3−3 stack.yaml+1−1 type-level-sets.cabal+1−1

src/Data/Type/Set.hs+3−3

@@ -1,7 +1,7 @@

11{-# LANGUAGE GADTs, DataKinds, KindSignatures, TypeOperators, TypeFamilies,

22 MultiParamTypeClasses, FlexibleInstances, PolyKinds,

33 FlexibleContexts, UndecidableInstances, ConstraintKinds,

4− ScopedTypeVariables #-}

4+ ScopedTypeVariables, TypeInType #-}

66module Data.Type.Set (Set(..), Union, Unionable, union, quicksort, append,

77 Sort, Sortable, (:++), Split(..), Cmp, Filter, Flag(..),

@@ -16,7 +16,7 @@ import Data.Type.Equality

1616data Proxy (p :: k) = Proxy

1717

1818-- Value-level 'Set' representation, essentially a list

19−data Set (n :: [k]) :: * where

19+data Set (n :: [k]) where

2020 {--| Construct an empty set -}

2121 Empty :: Set '[]

2222 {--| Extend a set with an element -}

@@ -233,4 +233,4 @@ type family MemberP a s :: Bool where

233233 MemberP a (a ': s) = True

234234 MemberP a (b ': s) = MemberP a s

235235

236−type NonMember a s = MemberP a s ~ False

236+type NonMember a s = MemberP a s ~ False

stack.yaml+1−1

@@ -1,7 +1,7 @@

11# For more information, see: https://github.com/commercialhaskell/stack/wiki/stack.yaml

33# Specifies the GHC version and set of packages available (e.g., lts-3.5, nightly-2015-09-21, ghc-7.10.2)

4−resolver: lts-11.5

4+resolver: lts-12.7

66# Local packages, usually specified by relative directory name

77packages:

type-level-sets.cabal+1−1

@@ -1,5 +1,5 @@

11name: type-level-sets

2−version: 0.8.8.0

2+version: 0.8.9.0

33synopsis: Type-level sets and finite maps (with value-level counterparts)

44description:

55 This package provides type-level sets (no duplicates, sorted to provide a normal form) via 'Set' and type-level